/*
平面上,一个圆,圆的边上按顺时针放着n个点。现在要连m条边,比如a,b,那么a到b可以从圆的内部连接,也可以从圆的外部连接。给你的信息中,每个点最多只会连接的一条边。问能不能连接这m条边,使这些边都不相交。
解题报告:
题意可能刚开始不是很好理解,比如1 5连边,2,6连边,由于点是顺序排列的,一画图就可以发现,这两条边必须一个从圆外面连,一个从内部连,否则就会相交。如果再加入3 7这条边,那么就必须相交了。
这样,就可以转化成标准的2-sta问题:
1:每个边看成2个点:分别表示在内部连接和在外部连接,只能选择一个。计作点i和点i'
2:如果两条边i和j必须一个画在内部,一个画在外部(一个简单判断就可以)
那么连边:
i->j’, 表示i画内部的话,j只能画外部,即j’
j->i’,同理
i’->j,同理
j’->i,同理
然后就是2-sat算法了,tarjan一下,如果有i和i'同属于一个强联通,返回false,否则就成立。
*/
# include <stdio.h>
# include <string.h>
# include <algorithm>
# include <stack>
using namespace std;
const int MAXN = 1010;
const int MAXM = 2000010;
struct Edge
{
int to,next;
} edge[MAXM];
int head[MAXN],tot;
void init()
{
tot = 0;
memset(head,-1,sizeof(head));
}
void add(int u,int v)
{
edge[tot].to = v;
edge[tot].next = head[u];
head[u] = tot++;
}
int Low[MAXN],DFN[MAXN],Stack[MAXN],Belong[MAXN];//Belong数组的值1~scc
int Index,top;
int scc;
bool Instack[MAXN];
int num[MAXN];
int n,m;
void Tarjan(int u)
{
int v;
Low[u] = DFN[u] = ++Index;
Stack[top++] = u;
Instack[u] = true;
for(int i = head[u]; i != -1; i = edge[i].next)
{
v = edge[i].to;
if( !DFN[v] )
{
Tarjan(v);
if(Low[u] > Low[v])Low[u] = Low[v];
}
else if(Instack[v] && Low[u] > DFN[v])
Low[u] = DFN[v];
}
if(Low[u] == DFN[u])
{
scc++;
do
{
v = Stack[--top];
Instack[v] = false;
Belong[v] = scc;
num[scc]++;
}
while(v != u);
}
}
bool solve()
{
memset(DFN,0,sizeof(DFN));
memset(Instack,false,sizeof(Instack));
memset(num,0,sizeof(num));
Index = scc = top = 0;
for(int i = 1; i <=2*m; i++)
if(!DFN[i])
Tarjan(i);
for(int i = 1; i <=m; i++)
{
if(Belong[i] == Belong[i+m])
return false;
}
return true;
}
void build()
{
int x[1010],y[1010];
for(int i=1; i<=m; i++)
{
scanf("%d%d",&x[i],&y[i]);
x[i]++;
y[i]++;
if(x[i]>y[i])
swap(x[i],y[i]);
}
for(int i=1; i<=m; i++)
{
for(int j=i+1; j<=m; j++)
{
if((x[j]>=x[i]&&y[i]>=x[j]&&y[j]>=y[i])||(x[i]>=x[j]&&y[j]>=x[i]&&y[i]>=y[j]))
{
add(i,j+m);
add(j,i+m);
add(i+m,j);
add(j+m,i);
}
}
}
}
int main()
{
while(~scanf("%d%d",&n,&m))
{
init();
build();
if(solve())
puts("panda is telling the truth...");
else
puts("the evil panda is lying again");
}
return 0;
}
poj Ikki's Story IV - Panda's Trick (2-sat)
最新推荐文章于 2019-06-09 14:41:42 发布