POJ---3683：Priest John's Busiest Day【2-SAT】

题意：

给出一天中n个婚礼举行的始末时间，对于每一场婚礼，牧师有始末两个时间段选择参加，问牧师能否都参加这n场婚礼

分析：

2-SAT模型：对于一个对象有两种选项，每个对象只能选择其中的一个，在避免一些选项之间的冲突的情况下，问能否把每个对象都选择一个选项，使得这些选项之间不存在冲突

伍昱 ---《由对称性解2-sat问题》（一看就会）

（1）判断是否存在可行性解：Tanjar后，如果存在一个对象的两个选项具有一样的拓扑值（也就是成环），那么无解

（2）输出可行性解：有一种比讲稿更简单的方法，Tanjar缩完点后，它本身就是逆拓扑序的，那么对于每个对象，只需要选择逆拓扑序小的就行了（因为缩完点后可能存在A->A'的情况，选择A就必须选择A'，而选择A'就不需要选择A，符合每个对象只能选择一个，而Tanjar后A'的逆拓扑序是小于A的）

（3）输出最小字典序的可行性解：暴力枚举

再看此题，枚举每两场婚礼，对于存在冲突的两个选项，建两条边即可，把时间统一为分钟方便操作，注意 [1,5]和[5,10]被认为是不存在冲突的

代码：

#include <stack>
#include <cstdio>
#include <iostream>

using namespace std;
const int maxn = 2e3+13;
int n,cnt,hh,mm,ti,head[maxn],low[maxn],dfn[maxn],pre[maxn],instack[maxn],num,res[maxn];
char c;
struct segment{
    int l,r,d;
}s[maxn];
struct edge{
    int to,nxt;
}e[maxn<<10];
void add(int u,int v){
    e[++cnt].to = v;
    e[cnt].nxt = head[u];
    head[u] = cnt;
}
inline bool check(int l,int r,int L,int R){
    if(l <= L && r > L) return true;
    if(L <= l && R > l) return true;
    return false;
}
void built_edge(){                                          
    for(int i = 1;i <= n; ++i){
        for(int j = i+1;j <= n; ++j){
            if(check(s[i].l,s[i].l+s[i].d,s[j].l,s[j].l+s[j].d)) add(i,j+n),add(j,i+n);
            if(check(s[i].l,s[i].l+s[i].d,s[j].r-s[j].d,s[j].r)) add(i,j),add(j+n,i+n); 
            if(check(s[i].r-s[i].d,s[i].r,s[j].l,s[j].l+s[j].d)) add(i+n,j+n),add(j,i);
            if(check(s[i].r-s[i].d,s[i].r,s[j].r-s[j].d,s[j].r)) add(i+n,j),add(j+n,i);
        }
    }
}
stack<int> ss;
void Tanjar(int x){
    dfn[x] = low[x] = ++ti;
    ss.push(x);
    instack[x] = 1;
    for(int i = head[x]; i ;i = e[i].nxt){
        int v = e[i].to;
        if(!dfn[v]){
            Tanjar(v);
            low[x] = min(low[x],low[v]);
        }
        else if(instack[v]) low[x] = min(low[x],dfn[v]);
    }
    if(low[x] == dfn[x]){
        int v;++num;
        do{
            v = ss.top();ss.pop();
            instack[v] = 0;
            pre[v] = num;
        }while(v != x);
    }
}
bool solve(){
    for(int i = 1;i <= (n<<1); ++i){
        if(!dfn[i]) Tanjar(i);
    }
    for(int i = 1;i <= n; ++i) if(pre[i] == pre[i+n]) return false;  //无解
    for(int i = 1;i <= n; ++i){                    
        if(pre[i]<pre[i+n]) res[i] = 0;                              //标记逆拓扑序小的
        else res[i] = 1;
    }
    return true;
}
int main(){
    cin >> n;
    for(int i = 1;i <= n; ++i){
        cin >> hh >> c >> mm;
        s[i].l = hh*60+mm;
        cin >> hh >> c >> mm >> s[i].d;
        s[i].r = hh*60+mm;
    }
    built_edge();
    if(!solve()) puts("NO");
    else{
        puts("YES");
        for(int i = 1;i <= n; ++i){
            if(res[i]){
                hh = s[i].r-s[i].d;
                printf("%02d:%02d ",hh/60,hh%60);
                hh = s[i].r;
                printf("%02d:%02d\n",hh/60,hh%60);
            }
            else{
                hh = s[i].l;
                printf("%02d:%02d ",hh/60,hh%60);
                hh = s[i].l+s[i].d;
                printf("%02d:%02d\n",hh/60,hh%60);
            }
        }
    }
    return 0;
}