2026年8月14日
2-SAT 总结
摘要： 2-SAT 问题详解 2-SAT 的典型形式 每个约束条件长这样： (x₁ 为真) 或 (x₂ 为假) (x₃ 为真) 或 (x₄ 为真) (变量a = 某值) 或 (变量b = 某值) 用逻辑符号表示就是：(a ∨ b) 或者 (a ∨ ¬b) 等等。 核心思想：转化为图论问题 第一步：建立蕴含图 阅读全文
posted @ 2026-08-14 21:09 MistyPost 阅读(4) 评论(0) 推荐(0)