2025年7月16日
【Note】2-SAT
摘要： 定义 2-SAT，简单的说就是给出 \(n\) 个布尔方程，每个方程和两个变量相关，如 \(a \vee b\)，表示变量 \(a, b\) 至少满足一个。然后判断是否存在可行方案，显然可能有多种选择方案，一般题中只需要求出一种即可。另外，\(\neg a\) 表示 \(a\) 取反。 例题引入：洛 阅读全文
posted @ 2025-07-16 10:26 chu_yh 阅读(16) 评论(1) 推荐(0)