2013年8月14日
poj 3683(2-sat+输出一组可行解)
摘要： 题目链接：http://poj.org/problem?id=3683思路：对于每个结婚仪式，只有在开始或结束时进行这两种选择，我们可以定义xi为真当且仅当在开始时进行。于是我们可以通过时间先后确定矛盾关系，然后通过矛盾关系建图。至于输出一组可行解，就可以2次dfs（一次沿正向边，一次沿反向边）求出拓扑序，然后根据拓扑序输出可行解。http://paste.ubuntu.com/5983686/ 阅读全文
posted @ 2013-08-14 12:47 ihge2k 阅读(199) 评论(0) 推荐(0) 编辑