摘要：n SAT 是给定多个条件，问是否有一个赋值方式使所有条件得到满足。 每个条件都有n个变量， 而2 SAT 是存在时间复杂度为$O(nm)或O(n+m)$的做法($m$是条件数)的算法的问题。 2 SAT往往是判断是否有方案使条件得到满足的一个算法。 建图： 求解2 SAT问题，需要转移到图上，对于 阅读全文