poj 3683(2-sat+输出一组可行解)

题目链接:http://poj.org/problem?id=3683

思路:对于每个结婚仪式,只有在开始或结束时进行这两种选择,我们可以定义xi为真当且仅当在开始时进行。于是我们可以通过时间先后确定矛盾关系,然后通过矛盾关系建图。至于输出一组可行解,就可以2次dfs(一次沿正向边,一次沿反向边)求出拓扑序,然后根据拓扑序输出可行解。

http://paste.ubuntu.com/5983686/

原文地址:https://www.cnblogs.com/wally/p/3256949.html