hdu 3062+1824(2-sat入门)

题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=3062

思路：根据矛盾关系连边（如果a与b矛盾，则连边a'->b,b'->a)，然后强连通缩点，判断同一对夫妻是否在同一个连通分量中，如果是，则不能同时列席，否则可以。

2-sat学习资料：http://wenku.baidu.com/view/b96a07d9ce2f0066f533226c.html

http://paste.ubuntu.com/5972060/

题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=1824

思路：建图：对于队员x，有留下(x)与离开(x’)两种状态，于是按照矛盾关系建图。如果一个队有a b c三个人，a是队长，则连边a’->b,a’->c,b’->a,c’->a，即a离开时b c都要留下，b c离开时a要留下；对于一组不能状态相同的队员a b，连边a->b’,b->a’，即两人不能同时离开或留下。建图后直接求强连通判断a,b,c是否在同一个连通分量中即可，如果是，则说明不可行，否则，可行。

http://paste.ubuntu.com/5972136/