北烛青澜

摘要： 传送门 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}$。 阅读全文