随笔分类 - 图论-2-sat
摘要:题意n(1≤n≤1000000)个城市,k(1≤k≤n)个国家,m(1≤m≤1000000)条边。要求每个国家有且仅有一个首都,每条边两端的城市至少要有一个首都。判断是否有解。 分析满足性问题。而且每个城市只有两种情况,首都or不是首都。...
阅读全文
摘要:http://poj.org/problem?id=3648题意:n对人(编号0~n-1,'w'表示第一个人,'h'表示第二个人),每对两个,人坐在桌子两侧。满足:1、每对人中的两个人不能坐在同一侧。2、m对关系x和y,表示x和y不能坐在同一侧,但是能坐在第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...
阅读全文
摘要:http://poj.org/problem?id=3207题意:一个圆上顺时针依次排列着标号为1~n的点,这些点之间共有m条边相连,每两个点只能在圆内或者圆外连边。问是否存在这些边不相交的方案。(n#include #include #include #include using namespac...
阅读全文
摘要:http://acm.hdu.edu.cn/showproblem.php?pid=1814题意:n个2人组,编号分别为2n和2n+1,每个组选一个人出来,且给出m条关系(x,y)使得选了x就不能选y,问是否能从每个组选出1人。且输出字典序最小的答案。(n#include #include #inc...
阅读全文
摘要:http://acm.hdu.edu.cn/showproblem.php?pid=3622又是各种逗。。2-SAT是一种二元约束,每个点可以置于两种状态,但只能处于一种状态,然后图是否有解就是2-SAT啦。看白书吧。这个图的边的概念一定要弄懂!以下的x'表示x的另一个点边(x, y)表示取了x就一...
阅读全文