摘要:
传送门 T1 一眼题,特判整除的情况输出 $k$,然后其余情况输出 $k-(n\bmod k)$ #include<bits/stdc++.h> using namespace std; int n,k; signed main() { cin>>n>>k; if(n%k==0)cout<<k<<e 阅读全文
摘要:
定义 SAT是适定性(Satisfiability)问题的简称 。一般形式为k-适定性问题,简称 k-SAT。 可以证明,当 $k>2$ 时,k-SAT 是 NP 完全的。因此一般讨论的是 $k=2$ 的情况,即 2-SAT 问题。 我们通俗的说,有 $n$ 个布尔变量 $x_{1}−x_{n}$。 阅读全文