摘要：传送门 SAT(Satisfiability)问题： 有n个$bool$变量，m个需要满足的条件，形如“xi为true || xj​为false || xk为 false…”。 给每个变量赋值，使得所有条件得到满足。 SAT问题已被证明为NP完全，只能暴力枚举求解。 特别地，如果每个条件中约定的变量 阅读全文