2022年7月1日
2-sat
摘要： P4782 【模板】2-SAT 问题 record 是啥 给定一些 bool 变量，和一些形如「某 bool 为 true/false 则另一个 bool 必然为 true/false」的条件，问是否有解（并构造）。 构图 将 $n$ 个 bool 变量拆成 $2n$ 个点，分别表示某 bool 取 阅读全文
posted @ 2022-07-01 22:03 ShaoJia 阅读(76) 评论(0) 推荐(0)