POJ 3683 Priest John's Busiest Day（2-SAT）

题意：问牧师能否参加每一个婚礼的典礼，典礼只能在婚礼的开始或者结束的时候举行。给出婚礼的时间段，。

在婚礼的开始或者结束，2选1 ，可以用2-sat。

输出婚礼的时间很麻烦，可别人的报告看了好久才勉强看懂。。。。

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
#include <cmath>
#include <queue>
#include <stack>
using namespace std;
const int N = 2009;
struct dat{
    int tim;
} re[N];
int last[N];
struct LT{
    int to,nex;
} L[N*N];
int F[N],cnt,n;
struct E{
    int to,nex;
} EL[N*N];
int EF[N],Ecnt;
void Eadd(int f,int t){
    EL[Ecnt].nex = EF[f];
    EL[Ecnt].to = t;
    EF[f] = Ecnt++;
}
void add(int f,int t){
    L[cnt].nex = F[f];
    L[cnt].to = t;
    F[f] = cnt++;
}
int dfn[N],low[N],col[N],post[N],ind,color;
stack<int> S;
void tarjan(int k){
    low[k] = dfn[k] = ++ind;
    S.push(k);post[k] = 1;
    for(int i=F[k];i;i=L[i].nex){
        int to = L[i].to;
        if(!dfn[to]){
            tarjan(to);
            low[k] = min(low[k],low[to]);
        }else if(post[to]&&dfn[to]<low[k])
        low[k] = dfn[to];
    }
    if(low[k]==dfn[k]){
        int i;color++;
        for(i=S.top(),S.pop();i!=k;i=S.top(),S.pop()){
            post[i]=0,col[i] = color;
            Eadd(color,i);
        }
        Eadd(color,k);
        post[k]=0,col[k] = color;
    }
}
bool xx(int a1,int b1,int a2,int b2){
    if(a2>=a1&&a2<a1+b1) return true;
    if(a1>=a2&&a1<a2+b2) return true;
    return false;
}
int ans[N];
int main()
{
    freopen("in.txt","r",stdin);
    while(~scanf("%d",&n)){
        int hh,mm;
        for(int i=0;i<n;i++){
            scanf("%d:%d",&hh,&mm);
            re[i].tim=hh*60+mm;
            scanf("%d:%d",&hh,&mm);
            scanf("%d",&last[i]);
            last[i+n]=last[i];
            re[i+n].tim=hh*60+mm-last[i];
        }
        memset(F,0,sizeof(F));cnt=1;
        memset(EF,0,sizeof(EF));Ecnt = 1;
        for(int i=0;i<(n<<1);i++){
            for(int j=i+1;j<(n<<1);j++){
                if(i==j) continue;
                if(xx(re[i].tim,last[i],re[j].tim,last[j]))
                {
                    int k=(i+n)%(n*2),l=(j+n)%(n*2);
                    add(i,l);
                    add(j,k);
                }
            }
        }
        memset(dfn,0,sizeof(dfn));
        memset(col,0,sizeof(col));
        color=0;ind=1;
        for(int i=0;i<(n<<1);i++)
        if(!dfn[i]) tarjan(i);
        bool fin= false;
        for(int i=0;i<n;i++)
        if(col[i]==col[i+n])fin = true;
        if(fin){
            printf("NO\n");
        }else{
            printf("YES\n");
            memset(ans,-1,sizeof(ans));
            for(int i=1;i<=color;i++)
            if(ans[i]==-1){
                ans[i]=1;
                for(int j=EF[i];j;j=EL[j].nex){
                    int to = EL[j].to;
                    ans[col[(to+n)%(n<<1)]] = 0;
                }
            }
            for(int i=0;i<n;i++){
                if(ans[col[i]]==1){
                    int t1=re[i].tim,t2=re[i].tim+last[i];
                    printf("%02d:%02d %02d:%02d\n",t1/60,t1%60,t2/60,t2%60);
                }else{
                    int t1=re[i+n].tim,t2=re[i+n].tim+last[i];
                    printf("%02d:%02d %02d:%02d\n",t1/60,t1%60,t2/60,t2%60);
                }
            }
        }
    }
    return 0;
}