ljt12138

摘要： 2-SAT学习笔记问题由数理逻辑的知识我们知道，任何一个合式公式对应于一个合取范式。判断一般合式公式的可满足性是一个NPC问题，甚至当存在一些项由三个或以上原子命题时，判断其可满足性仍然是NPC。考虑一个每一项都只有至多两个原子命题的合取范式(2-SAT)，其中要支持¬,∨,∧,→... 阅读全文

摘要： 题目大意1给定n(n≤2×104)个二元组(xi,yi)，要求从每个二元组中选择一个数构成集合S，最大化min{abs(i−j)|i,j∈S}。分析与解考场上最后1h想到正解…无奈以前并没有做过2-SAT，最后暴零滚粗…首先显然二分答案ans，我们现在考虑如何验证。考虑如果我们选择... 阅读全文