2026年8月8日
2-SAT
摘要： https://www.luogu.com.cn/problem/P4782 有 \(n\) 个布尔变量和 \(m\) 条约束，每条约束形如 \(a\lor b\)，其中 \(a,b\) 是布尔方程，给每个布尔变量赋值使得所有约束成立. 把每个布尔变量拆成两个点，分别表示取 \(0\) 和取 \(1 阅读全文
posted @ 2026-08-08 13:24 kzssCCC 阅读(6) 评论(0) 推荐(0)