Algorithm_2-Sat
niuox
这个作者很懒,什么都没留下…
展开
-
Hoj 1917 Peaceful Commission
题目链接:http://acm.hit.edu.cn/hoj/problem/view?id=1917 2-sat问题。 如果a和b矛盾,那么a向b的反面连一条线。 以此建立了一颗有向图,然后对此图求强连通分量后缩点,反向连线后形成一个DAG图。 然后对此图求拓扑排序即可。 #include #include #include #include #include #includ原创 2013-08-21 17:21:29 · 798 阅读 · 0 评论 -
Hoj 2632 Blanks in a Table
题目链接:http://acm.hit.edu.cn/hoj/problem/view?id=2632 题意: 设a代表非空,a'代表空。 b代表非空,b'代表空。 那么: 有n个条件要求a和b不可同时为空,则:a->b',b->a' 有p个条件要求a和b至少有一个为空,则:a'->b,b'->a #include #include #include #include #in原创 2013-08-21 20:22:14 · 787 阅读 · 0 评论