Loading [MathJax]/jax/output/HTML-CSS/jax.js

随笔分类 -  图论-2-sat

摘要:题意n(1n1000000)个城市,k(1kn)个国家,m(1m1000000)条边。要求每个国家有且仅有一个首都,每条边两端的城市至少要有一个首都。判断是否有解。 分析满足性问题。而且每个城市只有两种情况,首都or不是首都。... 阅读全文
posted @ 2015-11-22 15:52 iwtwiioi 阅读(654) 评论(0) 推荐(0) 编辑
摘要:http://poj.org/problem?id=3648题意:n对人(编号0~n-1,'w'表示第一个人,'h'表示第二个人),每对两个,人坐在桌子两侧。满足:1、每对人中的两个人不能坐在同一侧。2、m对关系x和y,表示x和y不能坐在同一侧,但是能坐在第0对的第一个人的那一侧。问第0对的第一个人... 阅读全文
posted @ 2015-03-10 21:57 iwtwiioi 阅读(284) 评论(0) 推荐(0) 编辑
摘要:http://poj.org/problem?id=3678题意:很幼稚的题目直接看英文题面= =#include #include #include #include #include using namespace std;const int N=1000*2+10, M=N*N*4;struc... 阅读全文
posted @ 2015-03-10 21:35 iwtwiioi 阅读(264) 评论(0) 推荐(0) 编辑
摘要:http://poj.org/problem?id=3207题意:一个圆上顺时针依次排列着标号为1~n的点,这些点之间共有m条边相连,每两个点只能在圆内或者圆外连边。问是否存在这些边不相交的方案。(n#include #include #include #include using namespac... 阅读全文
posted @ 2015-03-10 06:58 iwtwiioi 阅读(165) 评论(0) 推荐(0) 编辑
摘要:http://acm.hdu.edu.cn/showproblem.php?pid=1814题意:n个2人组,编号分别为2n和2n+1,每个组选一个人出来,且给出m条关系(x,y)使得选了x就不能选y,问是否能从每个组选出1人。且输出字典序最小的答案。(n#include #include #inc... 阅读全文
posted @ 2015-03-09 22:42 iwtwiioi 阅读(218) 评论(0) 推荐(0) 编辑
摘要:http://acm.hdu.edu.cn/showproblem.php?pid=3622又是各种逗。。2-SAT是一种二元约束,每个点可以置于两种状态,但只能处于一种状态,然后图是否有解就是2-SAT啦。看白书吧。这个图的边的概念一定要弄懂!以下的x'表示x的另一个点边(x, y)表示取了x就一... 阅读全文
posted @ 2014-10-02 00:00 iwtwiioi 阅读(464) 评论(0) 推荐(0) 编辑

点击右上角即可分享
微信分享提示