ac-wyr

摘要： 2 - SAT 定义 2 - SAT 指的是一种问题形式，通常表述为有 n 个集合，每个集合有且仅有两个元素，且集合之间有对应关系。 举个例子，假设有两个集合 \(A = \left \{a, b \right \}\) ， \(B = \left \{c, d \right \}\) ，存在对应关 阅读全文