(n)个数字按顺序排成一圈，给出(m)条连线((a,b))，连线可以在圆内或圆外，问是否可能做到所有连线只在顶点上相交。
分析
一个好像平面图判定的题～
两条线((a,b))，((c,d))相交的条件是(a<c<b<d)，如果他们在圆内会相交，那么他们在圆外也会相交，也就是说，这两条线是不能同时在圆内或圆外的。一条线在圆内或圆外，有两种取值，可以看成是一个2-SAT问题。发现数据范围不大，所以直接对所有的连线两两判定一下，连边表示他们不共存就好了。注意不共存的连边是(a e b)，等价于(aoplus b=true)。
其实这个题还可以用二分图染色做。观察上面的连边，可以发现，这里的条件都是某两条线的不共存，所以我们可以把圆内和圆外看成二分图的左边和右边，不共存的连边，然后只要判断这个图是不是一个二分图即可。
代码
2-SAT
#include<cstdio>
#include<algorithm>
#include<cctype>
#include<cstring>
using namespace std;
int read() {
int x=0,f=1;
char c=getchar();
for (;!isdigit(c);c=getchar()) if (c=='-') f=-1;
for (;isdigit(c);c=getchar()) x=x*10+c-'0';
return x*f;
}
const int maxn=1005;
const int maxm=maxn*maxn;
int dfn[maxn],low[maxn],id[maxn],dft=0,sta[maxn],top=0,col=0;
bool ins[maxn];
struct line {
int x,y;
void sort() {
if (x>y) swap(x,y);
}
} a[maxn];
bool cross(line &a,line &b) {
return a.x<b.x && b.x<a.y && a.y<b.y;
}
struct edge {
int v,nxt;
};
struct graph {
edge e[maxm];
int h[maxn],tot;
graph ():tot(0) {}
void add(int u,int v) {
e[++tot]=(edge){v,h[u]};
h[u]=tot;
}
void Tarjan(int x) {
dfn[x]=low[x]=++dft;
sta[++top]=x;
ins[x]=true;
for (int i=h[x],v=e[i].v;i;i=e[i].nxt,v=e[i].v) if (!dfn[v]) {
Tarjan(v);
low[x]=min(low[x],low[v]);
} else if (ins[v]) low[x]=min(low[x],dfn[v]);
if (low[x]==dfn[x]) {
++col;
do id[sta[top--]]=col; while (sta[top+1]!=x);
}
ins[x]=false;
}
bool run(int m) {
for (int i=1;i<=m;++i) if (id[i]==id[i+m]) return false;
return true;
}
} A;
int main() {
#ifndef ONLINE_JUDGE
freopen("test.in","r",stdin);
#endif
int n=read(),m=read();
for (int i=1;i<=m;++i) a[i].x=read(),a[i].y=read(),a[i].sort();
for (int i=1;i<=m;++i) for (int j=i+1;j<=m;++j) if (cross(a[i],a[j])) {
A.add(i,j+m),A.add(j,i+m),A.add(i+m,j),A.add(j+m,i);
}
for (int i=1;i<=(m<<1);++i) if (!dfn[i]) A.Tarjan(i);
puts(A.run(m)?"panda is telling the truth...":"the evil panda is lying again");
return 0;
}
二分图染色
#include<cstdio>
#include<algorithm>
#include<cctype>
#include<cstring>
using namespace std;
int read() {
int x=0,f=1;
char c=getchar();
for (;!isdigit(c);c=getchar()) if (c=='-') f=-1;
for (;isdigit(c);c=getchar()) x=x*10+c-'0';
return x*f;
}
const int maxn=1005;
const int maxm=maxn*maxn;
int col[maxn];
bool flag=true;
struct line {
int x,y;
void sort() {
if (x>y) swap(x,y);
}
} a[maxn];
bool cross(line &a,line &b) {
return a.x<b.x && b.x<a.y && a.y<b.y;
}
struct edge {
int v,nxt;
};
struct graph {
edge e[maxm];
int h[maxn],tot;
graph ():tot(0) {}
void add(int u,int v) {
e[++tot]=(edge){v,h[u]};
h[u]=tot;
}
bool dye(int x,int c) {
col[x]=c;
for (int i=h[x],v=e[i].v;i;i=e[i].nxt,v=e[i].v) {
if (col[v]==(c^1)) continue;
if (col[v]==c) return false;
if (!dye(v,c^1)) return false;
}
return true;
}
} A;
int main() {
#ifndef ONLINE_JUDGE
freopen("test.in","r",stdin);
#endif
int n=read(),m=read();
for (int i=1;i<=m;++i) a[i].x=read(),a[i].y=read(),a[i].sort();
for (int i=1;i<=m;++i) for (int j=i+1;j<=m;++j) if (cross(a[i],a[j])) A.add(i,j),A.add(j,i);
for (int i=1;i<=m;++i) if (!col[i] && !A.dye(i,2)) {
flag=false;
break;
}
puts(flag?"panda is telling the truth...":"the evil panda is lying again");
return 0;
}