图论==2-sat
Helium_wild
这个作者很懒,什么都没留下…
展开
-
poj3678 Katu Puzzle(2-sat 裸题 tarjan判断是否可行)
题目 题意: 给你n个数和m组关系。 u v d XOR 意思是u^v=d。问是否可行。 主要就是 u uu必须选u的时候应该 add(uu,u). #include<cstdio> #include<cstring> #include<algorithm> using namespace std; const int N=1e4+5,M=3e6+5; str...原创 2019-11-12 14:08:30 · 165 阅读 · 0 评论 -
poj3683 Priest John's Busiest Day(2-sat裸题 tarjan+topo输出方案板子)
题目 题意: n个活动 属性为x y d.每个活动可以选择在[x,x+d]处举行,也可以选择在[y-d,d]处举行。判断n个活动是否可以不冲突的举行并输出任意一种方案。 思路: 判2*n个决策是否相交。具体见make_graph()函数。 #include<cstdio> #include<queue> #include<cstring> #include&l...原创 2019-11-12 09:40:55 · 171 阅读 · 0 评论 -
poj3207 Ikki's Story IV - Panda's Trick(2-sat 裸题 tarjan判断是否可行)
题目 题意: 圆环上n个点编号为0,1,2,3…n-1,连接m组点,连线要么在圆内要么在圆外,判断这m条线是否有互不相交的情况。 思路: 第 i 条线 和第 j 条线在圆内相交,在圆外也一定相交。 设第 i 条线 在园内相连 是 i 否则是 ii ,第 j 条线 在园内相连 是 j 否则是 jj. 如果 i 和 j 相交 则 i->jj jj->i ii->j j->...原创 2019-11-11 22:58:50 · 100 阅读 · 0 评论