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

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

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

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