POJ3683（2-SAT+模型1+暴力+scc）

题目链接：https://vjudge.net/problem/POJ-3683

题目意思：有n对新人要举行仪式，每对都有两个时间段可以选择

问：输出是否可以所有新人的仪式时间不重叠

如果可以满足楼上的条件，还需输出方案

题目思路：2-SAT问题模型   1.暴力dfs；2.tarjan流程

暴力在vis数组的大小卡了一下午才找出来... ...（菜鸡行为）不过我就不懂了题目给了1000，为什么2000,3000都不够用，非要两倍大小，别人博客都是2000搞定。难道是因为wa的太多了？

#include <iostream>
#include <cstdio>
#include <cstring>
using std::min;
using std::max;
const int N = 2010;
bool vis[N*2];
int n,cnt,top,S[N],T[N],D[N],sta[N],head[N];
struct E
{
    int next,v;
}edge[N*N];
void init()
{
    memset(vis,false,sizeof(vis));
    memset(head,0,sizeof(head));
    memset(S,0,sizeof(S));
    memset(T,0,sizeof(T));
    memset(D,0,sizeof(D));
    memset(sta,0,sizeof(sta));
    top = cnt = 0;
}
void add(int u ,int v)
{
    edge[++cnt].v = v; 
    edge[cnt].next = head[u];
    head[u] = cnt;
}
bool dfs(int u)
{
    if(vis[u + n]) return false;
    if(vis[u]) return true;
//    printf("u = %d
",u);
    vis[u] = true;
    sta[top ++] = u;
    for(int i = head[u];i;i = edge[i].next)
    {
        if(!dfs(edge[i].v)) return false;
    }
    return true;
}
bool solve(int n)
{
    for(int i = 0;i < n;i ++)
    {
        for(int j = i + 1;j < n;j ++)
        {
            if (min(S[i] + D[i], S[j] + D[j]) > max(S[i], S[j])) {
                add(i, j + n);
                add(j, i + n);
            }
            if (min(S[i] + D[i], T[j]) > max(S[i], T[j] - D[j])) {
                add(i, j);
                add(j + n, i + n);
            }
            if (min(T[i], S[j] + D[j]) > max(T[i] - D[i], S[j])) {
                add(i + n, j + n);
                add(j, i);
            }
            if (min(T[i], T[j]) > max(T[i] - D[i], T[j] - D[j])) {
                add(i + n, j);
                add(j + n, i);
            }
        }
    }
    for(int i = 0;i < n;i ++)
    {
        if(!vis[i]&&!vis[i + n])
        {
            top = 0;
//            printf("shuai！ = %d 
",i);
            if(!dfs(i))
            {
                while(top) vis[sta[--top]] = false;
                if(!dfs(i + n)) return false;
            }
        }
    }
    return true;
}
int main()
{
    while(~scanf("%d",&n))
    {
        init();
        for(int i = 0,h1,h2,m1,m2;i < n;i ++)
        {
            scanf("%d:%d %d:%d %d",&h1,&m1,&h2,&m2,&D[i]);
            S[i] = h1*60 + m1;
            T[i] = h2*60 + m2;
        }
        
        if(solve(n))
        {
            printf("YES
");
            for(int i = 0;i < n;i ++)
            {
                if(vis[i]) printf("%02d:%02d %02d:%02d
",S[i]/60,S[i]%60,(S[i] + D[i])/60,(S[i] + D[i])%60);
                else printf("%02d:%02d %02d:%02d
",(T[i] - D[i])/60,(T[i] - D[i])%60,T[i] / 60,T[i] % 60); 
            }
        }
        else printf("NO
");
    }
    
    return 0;
} 

#include <iostream>
#include <cstdio>
#include <cstring>
using std::min;
using std::max;
const int N = 2010;
bool vis[N*2];
int n,cnt,top,tot,scc,S[N],T[N],D[N],sta[N],head[N],dfn[N],low[N],belong[N];
struct E
{
    int next,v;
}edge[N*N];
void init()
{
    memset(vis,false,sizeof(vis));
    memset(head,0,sizeof(head));
    memset(dfn,0,sizeof(dfn));
    memset(low,0,sizeof(low));
    memset(sta,0,sizeof(sta));
    tot = scc = top = cnt = 0;
}
void add(int u ,int v)
{
    edge[++cnt].v = v; 
    edge[cnt].next = head[u];
    head[u] = cnt;
}
void tarjan(int u)
{
    dfn[u] = low[u] = ++tot;
    sta[top++] = u;
    vis[u] = true;
    for(int i = head[u];i;i = edge[i].next)
    {
        int v = edge[i].v;
        if(!dfn[v]) 
        {
            tarjan(v);
            low[v] = min(low[u],low[v]);
        }
        else if(vis[v])
        {
            low[u] = min(low[u],dfn[v]);
        }
    }
    if(low[u] == dfn[u])
    {
        int t;
        scc++;
        do
        {
            t = sta[--top];
            vis[t] = false;
            belong[t] = scc;
        }while(t != u);
    }
} 
void solve(int n)
{
    for(int i = 0;i < n;i ++)
    {
        for(int j = i + 1;j < n;j ++)
        {
            if (min(S[i] + D[i], S[j] + D[j]) > max(S[i], S[j])) {
                add(i, j + n);
                add(j, i + n);
            }
            if (min(S[i] + D[i], T[j]) > max(S[i], T[j] - D[j])) {
                add(i, j);
                add(j + n, i + n);
            }
            if (min(T[i], S[j] + D[j]) > max(T[i] - D[i], S[j])) {
                add(i + n, j + n);
                add(j, i);
            }
            if (min(T[i], T[j]) > max(T[i] - D[i], T[j] - D[j])) {
                add(i + n, j);
                add(j + n, i);
            }
        }
    }
    for(int i = 0;i < (n<<1);i ++)
    {
        if(!dfn[i]) tarjan(i);
    }
    for(int i = 0;i < n;i ++)
    {
        if(belong[i] == belong[i + n]){
            printf("NO
");
            return ;
        }
    }
    printf("YES
");
    for(int i = 0;i < n;i ++)
    {
        if(belong[i] < belong[i + n]) printf("%02d:%02d %02d:%02d
",S[i]/60,S[i]%60,(S[i] + D[i])/60,(S[i] + D[i])%60);
        else printf("%02d:%02d %02d:%02d
",(T[i] - D[i])/60,(T[i] - D[i])%60,T[i] / 60,T[i] % 60);
    }
}
int main()
{
    while(~scanf("%d",&n))
    {
        init();
        for(int i = 0,h1,h2,m1,m2;i < n;i ++)
        {
            scanf("%d:%d %d:%d %d",&h1,&m1,&h2,&m2,&D[i]);
            S[i] = h1*60 + m1;
            T[i] = h2*60 + m2;
        }
        solve(n);
    }
    return 0;
}