poj 3683 2-sat

1.如果x所在的强连通分量的拓扑序在x'所在的强联通分量之后   当且仅当 x为真

2.如果x和x'在同一强连通分量里，那么结果为no

#include<cstdio>
#include<cstring>
#include<vector>
#define min(x,y) ((x)>(y)?(y):(x))
#define max(x,y) ((x)>(y)?(x):(y))
#define MAX_N 1016 
using namespace std;
int V;
vector<int>G[MAX_N*2];
vector<int>rG[MAX_N*2];
vector<int>vs;
bool vis[MAX_N*2];
int cmp[MAX_N*2];
void add_edge(int from,int to)
{
	G[from].push_back(to);
	rG[to].push_back(from);
}
void dfs(int v)
{
	vis[v]=1;
	for(int i=0;i<G[v].size();i++)
	if(!vis[G[v][i]])dfs(G[v][i]);
	vs.push_back(v);
}
void rdfs(int v,int k)
{
	vis[v]=1;
	cmp[v]=k;
	for(int i=0;i<rG[v].size();i++)
	if(!vis[rG[v][i]])rdfs(rG[v][i],k);
}
int scc()
{
	memset(vis,0,sizeof(vis));
	vs.clear();
	for(int v=0;v<V;v++)
	if(!vis[v])dfs(v);
	memset(vis,0,sizeof(vis));
	int k=0;
	for(int v=vs.size()-1;v>=0;v--)
	if(!vis[vs[v]])rdfs(vs[v],k++);
	return k;
}
int main()
{
	int d[MAX_N],s[MAX_N],t[MAX_N];
	int n,s1,s2,t1,t2;
	scanf("%d",&n);
	V=2*n; 
	for(int i=0;i<n;i++)
	{
		scanf("%d:%d %d:%d %d",&s1,&s2,&t1,&t2,&d[i]);
		s[i]=s1*60+s2;
		t[i]=t1*60+t2;
	}
	for(int i=0;i<n;i++)
	for(int j=0;j<i;j++)
	{
		if(min(s[i]+d[i],s[j]+d[j])>max(s[i],s[j]))
		{
			add_edge(i,n+j);
			add_edge(j,n+i);
		}
		if(min(s[i]+d[i],t[j])>max(s[i],t[j]-d[j]))
		{
			add_edge(i,j);
			add_edge(n+j,n+i);
		}
		if(min(t[i],s[j]+d[j])>max(t[i]-d[i],s[j]))
		{
		     add_edge(n+i,n+j);
			 add_edge(j,i);	
		}
		if(min(t[i],t[j])>max(t[i]-d[i],t[j]-d[j]))
		{
			add_edge(n+i,j);
			add_edge(n+j,i);
		}
	}
	scc();
	int flag=0;
	for(int i=0;i<n;i++)
	{
		if(cmp[i]==cmp[n+i])
		{
			flag=1;
			break; 
		}
	}
	if(flag)
	printf("NO\n");
	else
	{
		printf("YES\n");
		for(int i=0;i<n;i++)
		{
			if(cmp[i]>cmp[n+i])
			printf("%02d:%02d %02d:%02d\n",s[i]/60,s[i]%60,(s[i]+d[i])/60,(s[i]+d[i])%60);
			else
		    printf("%02d:%02d %02d:%02d\n",(t[i]-d[i])/60,(t[i]-d[i])%60,t[i]/60,t[i]%60);
		}
	}
	
}