Diamondan

摘要： ###Before $2-SAT$ 一般形式为 $k-适定性问题$，简称 $k-SAT$ $k>2$为$NP$完全，暂不考虑，现考虑$2-SAT$ ###模型 有若干个包含2个元素的集合，只能选择每个集合中的一个元素，并给出一些条件（例：选a后不能选b），要求求出满足这些条件的选择，这个解也称为$2 阅读全文