2-SAT
文章平均质量分 74
EzCUfST
这个作者很懒,什么都没留下…
展开
-
hdu 1814 Peaceful Commission (2-SAT)
给定一个由N个bool值组成的序列A,给出一些限定关系,确定序列中每个元素的值,使其满足所有限制关系。这个称为SAT关系。特别的,如果每种关系中最多只对两个元素进行限制,则称为2-SAT问题,即二元可满足性问题显然这个题属于2-SAT问题,直接暴力枚举,对每个结点进行dfs染色,如果我们将i染成红色,那么就将i‘染成蓝色,如果存在i的后继j是蓝色,那么这种方法是不可行的,回溯,将i’染原创 2015-07-22 19:17:22 · 561 阅读 · 0 评论 -
2-SAT问题
给定一个由N个bool值组成的序列A,给出一些限定关系,确定序列中每个元素的值,使其满足所有限制关系。这个称为SAT关系。特别的,如果每种关系中最多只对两个元素进行限制,则称为2-SAT问题,即二元可满足性问题。由于在2-SAT问题中,最多只对两个元素进行限制,所以可能的限制关系共有11种:A[x]NOT A[x]A[x] AND A[y]A[x] AND NOT A[y]原创 2015-07-22 19:29:27 · 402 阅读 · 0 评论