无尽

The road ahead will be long. Our climb will be steep.

UOJ 210 [UER #6]寻找罪犯

2-SAT首先2-SAT的tarjan做适用于一类如果A->B,则一定有B’->A’的对称的图。一个强联通分量里的所有点,要么一起选要么一起不选,那就缩起来。一个重要的结论是如果一个强联通分量里同时有A和A’,则此图无解,否则一定有解。无解的情况显然正确。有解的情况考虑构造。每次随便从...

2017-04-27 23:21:18

阅读数:387

评论数:0

POJ 3648 Wedding

2-SAT关于了解2-SAT,推荐两个地方:《由对称性解2-SAT问题》、【研究总结】2-sat问题每次找到一个未被确定的Si,使得不存在Si Si’,选择Si及其后代节点而删除Si’及Si‘的前代节点。一定可以构造出一组可行解。一个重要的性质是不管怎么加限制,对于任意一对Si, Si’ , Si...

2017-04-03 23:20:52

阅读数:125

评论数:0

HDU 1814 Peaceful Commission

2-SAT。假设a,a’一组,b,b’一组,那么如果a和b矛盾,选a就肯定要选b’,于是连一条边a->b’,同理有连边b->a’然后暴力找答案,dfs(i)的返回值表示选i是否引起矛盾因为这些对应关系是组与组之间的,所以假设当前选i不矛盾,那么接下来的其他没决策过的点的决策与i无关,即...

2016-08-15 16:50:32

阅读数:186

评论数:0

提示
确定要删除当前文章?
取消 删除
关闭
关闭