2018年2月9日
【题解】JSOI2010满汉全席
摘要： ~bzoj1823 第一次接触2-SAT——SAT,即适定性（Satisfiability）的缩写。像名称所说，即满足需求的可能性问题，而k-SAT即每个人有k种需求，已经证明k>2时是一个NP完全问题。所以现在常见的考法便是2-SAT。 这一道题目算是一道裸的2-SAT问题。每一个人有两种需求，那 阅读全文
posted @ 2018-02-09 21:42 Twilight_Sx 阅读(243) 评论(0) 推荐(0) 编辑