POJ 3683 Priest John's Busiest Day

题目链接：http://poj.org/problem?id=3683

题目描述：

    有一个牧师需要给n对新婚夫妇举行婚礼，每对夫妇有两个时间段进行选择，问该牧师能否给所有的夫妇举行婚礼。

     这就属于一道比较模板的2-SAT题，可以直接用模板解即可。

    关于更多2-SAT的介绍，可以参考：

    http://blog.csdn.net/dg_programming/article/details/38875861

      http://www.cnblogs.com/kuangbin/archive/2012/10/05/2712429.html

    

#include<cstdio>
#include<iostream>
#include<vector>
#include<cstring>
#include<algorithm>
using namespace std ;

const int MAXN = 1005 ;
const int MAXV = 2005 ;
int V, n ;
vector<int> G[MAXV], rG[MAXV] ;
vector<int> vs ;
int cmp[MAXV] ;
bool used[MAXV] ;
int s[MAXN], t[MAXN], d[MAXN] ; //记录读入数据

void addEdge(int from, int to){
	G[from].push_back(to) ;
	rG[to].push_back(from) ;
}
//正向
void dfs(int t){
	used[t] = true ;
	for( int i = 0; i < G[t].size(); i++ ){
		if( !used[G[t][i]] )	dfs(G[t][i]) ;
	}
	vs.push_back(t) ;
}
//反向
void rdfs(int t, int k){
	used[t] = true ;
	cmp[t] = k ;
	for( int i = 0; i < rG[t].size(); i++ ){
		if( !used[rG[t][i]] )	rdfs(rG[t][i],k) ;
	} 
}
//
int scc(){
	memset(used,false,sizeof(used)) ;
	memset(cmp,0,sizeof(cmp)) ;
	vs.clear() ;
	for( int i = 0; i < V; i++ ){
		if( !used[i] )	dfs(i) ;
	}
	memset(used,false,sizeof(used)) ;
	int k = 0 ;
	for( int i = vs.size()-1; i >= 0; i-- ){
		if( !used[vs[i]] )	rdfs(vs[i],k++) ;
	}
	return k ;
}
//
void twoSAT(){
	V = 2*n ;
	for( int i = 0; i < V; i++ ){
		G[i].clear(), rG[i].clear() ;
	}
	for( int i = 0; i < n; i++ ){
		for( int j = 0; j < i; j++ ){
			//(i+n) V (j+n),当i,j有交集的时候
			if( min(s[i]+d[i],s[j]+d[j]) > max(s[i],s[j]) ){
				addEdge(i,j+n) ;
				addEdge(j,i+n) ;		
			}
			if( min(t[i],t[j]) > max(t[i]-d[i],t[j]-d[j]) ){
				addEdge(i+n,j) ;
				addEdge(j+n,i) ;
			}
			if( min(s[i]+d[i],t[j]) > max(s[i],t[j]-d[j]) ){
				addEdge(i,j) ;
				addEdge(j+n,i+n) ;
			}
			if( min(t[i],s[j]+d[j]) > max(t[i]-d[i],s[j]) ){
				addEdge(i+n,j+n) ;
				addEdge(j,i) ;
			}
		}
	}
	scc() ;
	for( int i = 0; i < n; i++ ){
		if( cmp[i] == cmp[i+n] ){
			puts("NO") ;
			return ;
		}
	}
	puts("YES") ;
	for( int i = 0; i < n; i++ ){
		//i为true
		if( cmp[i] > cmp[i+n] ){
			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) ;		
		}
	}
}
//
void cal(){
	char tmp[8] ;
	for( int i = 0; i < n; i++ ){
		scanf("%s",tmp) ;
		s[i] = (tmp[0]-'0')*600 + (tmp[1]-'0')*60 + (tmp[3]-'0')*10 + (tmp[4]-'0') ;
		scanf("%s",tmp) ;
		t[i] = (tmp[0]-'0')*600 + (tmp[1]-'0')*60 + (tmp[3]-'0')*10 + (tmp[4]-'0') ;
		scanf("%d",&d[i]) ;
	}
	twoSAT() ;
}
//
int main(){
//	freopen("1234.in","r",stdin) ;
	while( scanf("%d",&n) != EOF ){		
		cal() ;
	}
	
	return 0 ;
}