
2-SAT
文章平均质量分 74
w-y-p
这个作者很懒,什么都没留下…
展开
-
hdu-1814(2-SAT)
题意:给1~n*2个人,两两为一组,每组选一人,求在满足m个限制条件的情况下输出字典序最小的数列。思路:典型的2-sat问题,因为是字典序最小问题,暴力解决便可;若是判断能否存在,则用判断强连通分量的方法判断。#include#include#include#include #include#include#include#include#include#include原创 2015-08-19 16:40:10 · 642 阅读 · 0 评论 -
poj-3678(2-SAT)
poj3678题意:给n个位置赋值0或1使其满足给定的m个布尔表达式。思路:2-sat问题判断是否存在解,tarjan求强连通分量,判断对应的位置是否冲突(即存在i和i^1在一个连通分量里)。把每个值是1(a)和0(~a)为两种状态AND 结果为1:建边 ~x->x,~y->y (两个数必须全为1)AND 结果为0:建边 y->~x,x->~y (两个数至少原创 2015-08-19 18:24:51 · 382 阅读 · 0 评论