poj3683 Priest John's Busiest Day（2-sat）

2-sat，需要输出方案。我们tarjan缩点之后，建新图时建反图，方便我们倒着拓扑序。
我们从底往上走，如果这个点i还未被选择/删除，就选择i，删除i’（这里我认为只需删除i’，而不需要去dfs删i’的前代，因为i’的前代一定是i的后代，而i的后代后已经做完了）

然后按顺序输出即可。

#include <cstdio>
#include <cstring>
#include <algorithm>
#include <stack>
#include <queue>
using namespace std;
#define ll long long
#define inf 0x3f3f3f3f
#define N 1010
inline char gc(){
    static char buf[1<<16],*S,*T;
    if(S==T){T=(S=buf)+fread(buf,1,1<<16,stdin);if(T==S) return EOF;}
    return *S++;
}
inline int read(){
    int x=0,f=1;char ch=gc();
    while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=gc();}
    while(ch>='0'&&ch<='9') x=x*10+ch-'0',ch=gc();
    return x*f;
}
int m,st[N][2],ed[N][2],id[N][2],n=-1,h[N<<1],num=0;
int dfn[N<<1],low[N<<1],dfnum=0,scc=0,bel[N<<1],col[N<<1],in[N<<1],opp[N<<1];
bool inq[N<<1];
struct edge{
    int fr,to,next;
}data[4000010];
inline void add(int x,int y){
    data[++num].to=y;data[num].next=h[x];h[x]=num;data[num].fr=x;
}
inline bool cross(int a,int b,int c,int d){
    if(b<=c||a>=d) return 0;return 1;
}stack<int>qq;queue<int>q;
inline void tarjan(int x){
    low[x]=dfn[x]=++dfnum;qq.push(x);inq[x]=1;
    for(int i=h[x];i;i=data[i].next){
        int y=data[i].to;
        if(!dfn[y]) tarjan(y),low[x]=min(low[x],low[y]);
        else if(inq[y]) low[x]=min(low[x],dfn[y]);
    }if(low[x]==dfn[x]){
        ++scc;while(1){
            int y=qq.top();qq.pop();inq[y]=0;
            bel[y]=scc;if(y==x) break;
        }
    }
}
inline void print(int a,int b){
    printf("%02d:%02d %02d:%02d\n",a/60,a%60,b/60,b%60);
}
int main(){
//  freopen("a.in","r",stdin);
    m=read();
    for(int i=1;i<=m;++i){
        id[i][0]=++n;id[i][1]=++n;
        int x=read(),y=read();st[i][0]=x*60+y;
        x=read(),y=read();ed[i][1]=x*60+y;x=read();
        ed[i][0]=st[i][0]+x;st[i][1]=ed[i][1]-x;
    }for(int i=1;i<=m;++i)
        for(int j=i+1;j<=m;++j){
            for(int k1=0;k1<2;++k1)
                for(int k2=0;k2<2;++k2){
                    if(!cross(st[i][k1],ed[i][k1],st[j][k2],ed[j][k2])) continue;
                    add(id[i][k1],id[j][k2^1]);add(id[j][k2],id[i][k1^1]);
                }
        }for(int i=0;i<=n;++i) if(!dfn[i]) tarjan(i);
    for(int i=1;i<=m;++i) if(bel[id[i][0]]==bel[id[i][1]]){puts("NO");return 0;}
    memset(h,0,sizeof(h));int num1=num;num=0;puts("YES");
    for(int i=1;i<=num1;++i){
        int x=data[i].fr,y=data[i].to;
        if(bel[x]!=bel[y]) add(bel[y],bel[x]),in[bel[x]]++;
    }for(int i=1;i<=m;++i) opp[bel[id[i][0]]]=bel[id[i][1]],opp[bel[id[i][1]]]=bel[id[i][0]];
    for(int i=1;i<=scc;++i) if(!in[i]) q.push(i);
    while(!q.empty()){
        int x=q.front();q.pop();
        for(int i=h[x];i;i=data[i].next){
            int y=data[i].to;if(--in[y]==0) q.push(y);
        }if(col[x]) continue;col[x]=1;col[opp[x]]=2;
    }for(int i=1;i<=m;++i)
        if(col[bel[id[i][0]]]==1) print(st[i][0],ed[i][0]);
        else print(st[i][1],ed[i][1]);
    return 0;
}