Loading

2020年8月11日
题解「Luogu4782 【模板】2-SAT 问题」
摘要： SAT 是适定性（Satisfiability）问题的简称。一般形式为 k - 适定性问题，简称 k-SAT。而当 \(k>2\) 时该问题为 NP 完全的。所以我们只研究 \(k=2\) 的情况。 ——摘自 OI-Wiki 2-SAT问题大多是固定的模型： 给定若干个均有两个元素的集合，为了方便， 阅读全文
posted @ 2020-08-11 07:53 GoPoux 阅读(100) 评论(1) 推荐(0)