poj3683 2 -sat输出路径

tarjan缩点，拓扑排序染色输出（貌似挑战上面没有拓扑啊，而且这样写还过了= =）

主要是找s,t,d,三者之间的关系，找出合取范式这题就很容易了

#include<map>
#include<set>
#include<cmath>
#include<queue>
#include<stack>
#include<vector>
#include<cstdio>
#include<cassert>
#include<iomanip>
#include<cstdlib>
#include<cstring>
#include<iostream>
#include<algorithm>
#define C 0.5772156649
#define pi acos(-1.0)
#define ll long long
#define mod 1000000007
#define ls l,m,rt<<1
#define rs m+1,r,rt<<1|1
#pragma comment(linker, "/STACK:1024000000,1024000000")

using namespace std;

const double g=10.0,eps=1e-7;
const int N=2000+10,maxn=1000+10,inf=0x3f3f3f;

stack<int>s;
int ss[N],tt[N],d[N];
int ins[N],inans[N];
int dfn[N],low[N];
int num,index;
vector<int>v[N];
int tarjan(int u)
{
    ins[u]=2;
    dfn[u]=low[u]=++index;
    s.push(u);
    for(int i=0;i<v[u].size();i++)
    {
        int x=v[u][i];
        if(!dfn[x])
        {
            tarjan(x);
            low[u]=min(low[u],low[x]);
        }
        else if(ins[x]==2)low[u]=min(low[u],dfn[x]);
    }
    if(dfn[u]==low[u])
    {
        ++num;
        while(!s.empty()){
            int k=s.top();
            s.pop();
            ins[k]=1;
            inans[k]=num;
            if(k==u)break;
        }
    }
}
int main()
{
  /*  ios::sync_with_stdio(false);
    cin.tie(0);*/
    int n;
    scanf("%d",&n);
    memset(ins,0,sizeof ins);
    memset(inans,0,sizeof inans);
    memset(dfn,0,sizeof dfn);
    memset(low,0,sizeof low);
    while(!s.empty())s.pop();
    for(int i=1;i<=2*n;i++)v[i].clear();
    num=index=0;
    for(int i=1;i<=n;i++)
    {
        char S[10],T[10];
        scanf("%s%s%d",&S,&T,&d[i]);
        ss[i]=((int)(S[0]-'0')*10+(int)(S[1]-'0'))*60+(int)(S[3]-'0')*10+(int)(S[4]-'0');
        tt[i]=((int)(T[0]-'0')*10+(int)(T[1]-'0'))*60+(int)(T[3]-'0')*10+(int)(T[4]-'0');
    }
    for(int i=1;i<=n;i++)
    {
        for(int j=i+1;j<=n;j++)
        {
            if(min(ss[i]+d[i],ss[j]+d[j])>max(ss[i],ss[j]))
            {
                v[i].push_back(j+n);
                v[j].push_back(i+n);
            }
            if(min(ss[i]+d[i],tt[j])>max(ss[i],tt[j]-d[j]))
            {
                v[i].push_back(j);
                v[j+n].push_back(i+n);
            }
            if(min(tt[i],ss[j]+d[j])>max(tt[i]-d[i],ss[j]))
            {
                v[i+n].push_back(j+n);
                v[j].push_back(i);
            }
            if(min(tt[i],tt[j])>max(tt[i]-d[i],tt[j]-d[j]))
            {
                v[i+n].push_back(j);
                v[j+n].push_back(i);
            }
        }
    }
    for(int i=1;i<=2*n;i++)
        if(!dfn[i])
           tarjan(i);
    bool f=0;
    for(int i=1;i<=n;i++)
        if(inans[i]==inans[i+n])
        {
            f=1;
            break;
        }
    if(f)puts("NO");
    else
    {
        puts("YES");
        for(int i=1;i<=n;i++)
        {
            if(inans[i]<inans[i+n])printf("%02d:%02d %02d:%02d
",ss[i]/60,ss[i]%60,(ss[i]+d[i])/60,(ss[i]+d[i])%60);
            else printf("%02d:%02d %02d:%02d
",(tt[i]-d[i])/60,(tt[i]-d[i])%60,tt[i]/60,tt[i]%60);
        }
    }
    return 0;
}
/********************

********************/