CWish

摘要： \(2-SAT\) 形如 \(a\vee b\) 或 \(a\wedge b\) 的形式为 \(2-SAT\) 问题。 同理可定义 \(k-SAT\) 问题。 当 \(k>2\) 时为 \(NP\) 问题。 建模 \(2-SAT\) 的正确性建立在其命题与逆否命题同时成立。 原命题与逆否命题必须同时 阅读全文