摘要：2-SAT 引子 有 \(2n\) 种药物，分成 \(n\) 对，每种药物恰好属于一对。现有一种治疗方法，每一对药至少吃一种，但有某些药不可以两个一起吃，求任意一种合法的吃药方案。 这样的现实问题可以转换为一个布尔方程组表示，设 \(a\)，\(a=1\) 表示吃 \(a\) 种药，\(a=0\) 阅读全文

摘要：2023NOIP A层联测25 T4 滈葕 配血实验与2-SAT。 思路 \(z=1\) 表示配血实验发生凝集反应，设 \(a_i,b_i\) 分别表示第 \(i\) 个人有无凝集原 A,B。（无凝集原 A，肯定有抗 A 凝集素，B同理）那么发生反应的必要条件是 \(a_x \and \neg a_ 阅读全文