摘要：2-SAT 用于求解布尔方程组，其中每个方程最多含有两个变量，方程的形式为 \((a∨b)=1\) ，即式子 \(a\) 为真或式子 \(b\) 为真。求解的方法是根据逻辑关系式建图，然后求强联通子图，每一个强联通子图的答案都是一样的。 建图： 这里以模版题为例： 题意：给定若干个需要满足的条件，其 阅读全文