poj 3683 Priest John's Busiest Day 2-SAT

建议读者先了解一下2-SAT，可以通过挑战程序设计竞赛那本书。

这道题就是两种情况，我们可以用a表示从开始进行，非a表示从结尾进行，这样我们暴力每两个活动，分别考虑这连个活动在开始或者结尾举行时是否能够同时存在，然后直接加边即可。

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<vector>
#include<iostream>
#define maxn 2105
using namespace std;
int low[maxn],dnf[maxn],que[maxn],tear,head[maxn],c[maxn],mark[maxn];
vector<int>g[maxn];
void init(int n){
    for(int i=1;i<=n;i++) g[i].clear();
}
void add(int a,int b){
    g[a].push_back(b);
}
int cal,tot;
void tarjin(int p){
    dnf[p]=low[p]=cal++;
    int i,k;
    k=(int)g[p].size();
    que[tear++]=p;
    for(i=0;i<k;i++){
        int v=g[p][i];
        if(!dnf[v]){
            tarjin(v);
            low[p]=min(low[p],low[v]);//如果儿子就比较low
        }
        else if(!mark[v]){
            low[p]=min(low[p],dnf[v]);//与栈里面的点进行比较，如果mark[i]有值就代表已经出栈了。
        }
    }
    if(low[p]==dnf[p]){
        while(tear>0){
            mark[que[tear-1]]=tot;
            if(que[tear-1]==p){
                tear--;
                break;
            }
            tear--;
        }
        tot++;
    }
}
struct pi{
    int a;
    int b;
    int c;
}pp[maxn];
vector<int >gg;
int vis[maxn];
void dfs(int p){
    vis[p]=1;
    int k=(int)g[p].size();
    for(int i=0;i<k;i++){
        if(!vis[g[p][i]]){
            dfs(g[p][i]);
        }
    }
    gg.push_back(p);
}
void solve(int n){
    int i;
    tear=0;
    cal=1;
    tot=1;
    memset(dnf,0,sizeof(dnf));
    memset(c,0,sizeof(c));
    memset(mark,0,sizeof(mark));
    memset(vis,0,sizeof(vis));
    gg.clear();
    for(i=1;i<=2*n;i++){
        if(!vis[i]) dfs(i);
    }
    int p=(int)gg.size();
    for(i=p-1;i>=0;i--){
        tear=0;
        if(!dnf[gg[i]]) tarjin(gg[i]);
    }
    for(i=1;i<=n;i++){
        if(mark[i]==mark[i+n]){
            printf("NO\n");
            return ;
        }
    }
    printf("YES\n");
    for(i=1;i<=n;i++){
        if(mark[i]<mark[n+i]){
            printf("%02d:%02d ",pp[i].a/60,pp[i].a%60);
            printf("%02d:%02d\n",(pp[i].a+pp[i].c)/60,(pp[i].a+pp[i].c)%60);
        }
        else{
            printf("%02d:%02d ",(pp[i].b-pp[i].c)/60,(pp[i].b-pp[i].c)%60);
            printf("%02d:%02d\n",(pp[i].b)/60,(pp[i].b)%60);
        }
    }
}
char d[1005];
int get(void){
    int s=0;
    s=(d[0]-'0')*10+d[1]-'0';
    s=s*60+(d[3]-'0')*10+d[4]-'0';
    return s;
}
int main()
{
    int i,j,n;
    while(cin>>n){
        init(2*n);
        for(i=1;i<=n;i++){
            scanf("%s",d);
            pp[i].a=get();
            scanf("%s",d);
            pp[i].b=get();
            scanf("%d",&pp[i].c);
        }
        for(i=1;i<=n;i++){
            for(j=1;j<i;j++){
                if(min(pp[i].a+pp[i].c,pp[j].a+pp[j].c)>max(pp[i].a,pp[j].a)){
                    add(i,n+j);
                    add(j,n+i);
                }
                if(min(pp[i].a+pp[i].c,pp[j].b)>max(pp[i].a,pp[j].b-pp[j].c)){
                    add(i,j);
                    add(n+j,n+i);
                }
                if(min(pp[i].b,pp[j].a+pp[j].c)>max(pp[i].b-pp[i].c,pp[j].a)){
                    add(i+n,j+n);
                    add(j,i);
                }
                if(min(pp[i].b,pp[j].b)>max(pp[i].b-pp[i].c,pp[j].b-pp[j].c)){
                    add(n+i,j);
                    add(n+j,i);
                }
            }
        }
        solve(n);
    }
}