摘要：
SAT是是适定性（Satisfiability）问题的简称。一般形式为 k - 适定性问题，简称 k-SAT。而当$k>2$时该问题为 NP 完全的。 # 定义 有 $n$ 个布尔变量 $x_1$$\sim$$x_n$，另有 $m$ 个需要满足的条件，每个条件的形式都是 「$x_i$ 为 `true 阅读全文
摘要：
# A - tcdr ```cpp #include using namespace std; int32_t main() { string s; cin >> s; for( auto i : s){ if( i != 'a' and i != 'e' and i != 'i' and i != 阅读全文