2025年7月24日
【图论】总结 7：2-SAT
摘要： 2-SAT 问题的基本模型与建图方法 考虑这样一个问题：给定 \(n\) 个 bool 变量，以及 \(m\) 个条件，每个条件表述为两个变量之间的一条限制关系，求满足所有限制条件的 \(n\) 个 bool 变量的一组合法解。 这个问题被称为 2-SAT 问题。其最原始的最板的问题是： 给定 \( 阅读全文
posted @ 2025-07-24 19:57 cold_jelly 阅读(15) 评论(0) 推荐(1)