poj 3207 2-SAT（圆周点连边不相交）

最新推荐文章于 2021-05-18 06:58:24 发布

dumeichen

最新推荐文章于 2021-05-18 06:58:24 发布

阅读量808

点赞数

分类专栏：图论——强连通分量、割点、割边

本文链接：https://blog.csdn.net/dumeichen/article/details/38515229

版权

题意：圆周上有n个点，标号为0-n-1。以这些点为顶点欲连m条边，其中每个顶点最多引出1条边。边可以在圆中也可以在圆外。问使得所有边不相交的连边方法是否存在？

思路：2-SAT。任意两条线如果在圆内相交，在圆外也必定相交，所以它们只能一个圆内一个圆外。以此建图tarjan之。边i在圆内用i表示，圆外用i+m表示。

#include <stdio.h>
#include <string.h>
#define max(a,b) ((a)>(b)?(a):(b))
#define min(a,b) ((a)<(b)?(a):(b))
#define N 1100
struct edge{
	int y,next;
}e[501*501*4];
struct link{
	int x,y;
}link[N];
int n,m,component,top,tops,id;
int first[N],dfn[N],low[N],stack[N],strong[N];
void init(){
	tops = -1;
	top = component = id = 0;
	memset(first,-1,sizeof(first));
	memset(dfn,-1,sizeof(dfn));
	memset(strong,0,sizeof(strong));
}
void add(int x,int y){
	e[top].y = y;
	e[top].next = first[x];
	first[x] = top++;
}
int test_cross(int i,int j){
	int num=0,k;
	int x1 = link[i].x;
	int y1 = link[i].y;
	int x2 = link[j].x;
	int y2 = link[j].y;
	for(k = m