“2-SAT”

ACM程序课算法笔记16——2-SAT

ACM程序课算法笔记16——2-SAT 定义 SAT 是适定性（Satisfiability）问题的简称。一般形式为 k - 适定性问题，简称 k-SAT。 对于n个集合，每个集合仅有两个元素。...