StelaYuri

摘要： k-SAT 问题 $SAT$是适定性（Satisfiability）问题的简称。一般形式为 $k-$适定性问题，简称$k-SAT$。而当$k>2$时该问题为NP完全的。所以我们只研究$k=2$的情况。 $2-SAT$，简单的说就是给出$n$个集合，每个集合有两个元素，已知若干个$<a,b>$，表示$ 阅读全文