【2-SAT任意解】POJ3683[Priest John's Busiest Day]题解

题目概述

有n场婚礼，每场婚礼开始时间为s，结束时间为t，需要时间D，且所有婚礼必须在s~s+D或t-D~t进行。求一种可行的方案使婚礼不冲突。

解题报告

把每场婚礼看作两场，一场开头，一场结尾，那么有些婚礼是不能同时举办的。我们可以把这些不能同时举办的婚礼看作限制，这样这道题目就变成了经典的2-SAT。由于数据较大，且只需要求任意解，所以刷Tarjan即可。

示例程序

#include<cstdio>
#include<algorithm>
using namespace std;
const int maxn=2000,maxm=maxn*maxn;

int n,m,st[maxn+5],gl[maxn+5];
int E,lnk[maxn+5],nxt[maxm+5],son[maxm+5];
int ti,tot,dfn[maxn+5],low[maxn+5],SCC[maxn+5];
bool ans[maxn+5];

bool check(int i,int j) {return gl[i]>st[j]&&gl[j]>st[i];}
void Add(int x,int y) {son[++E]=y;nxt[E]=lnk[x];lnk[x]=E;}
int top,stk[maxn+5];bool instk[maxn+5];
void Tarjan(int x)
{
    dfn[x]=low[x]=++ti;instk[x]=true;stk[++top]=x;
    for (int j=lnk[x];j;j=nxt[j])
        if (!dfn[son[j]]) Tarjan(son[j]),low[x]=min(low[x],low[son[j]]); else
        if (instk[son[j]]) low[x]=min(low[x],dfn[son[j]]);
    if (dfn[x]==low[x])
    {
        int y;tot++;
        do y=stk[top--],instk[y]=false,SCC[y]=tot;
        while (y!=x);
    }
}
int main()
{
    freopen("program.in","r",stdin);
    freopen("program.out","w",stdout);
    scanf("%d",&n);
    for (int i=0,x,y,s,t,D;i<2*n;i+=2)
    {
        scanf("%d%*c%d",&x,&y);s=x*60+y;
        scanf("%d%*c%d",&x,&y);t=x*60+y;scanf("%d",&D);
        if (s+D>t) return printf("NO\n"),0;
        st[i]=s;gl[i]=s+D;st[i^1]=t-D;gl[i^1]=t;
    }
    for (int i=0;i<2*n-2;i+=2) for (int j=0;j<=1;j++)
    for (int k=i+2;k<2*n;k+=2) for (int t=0;t<=1;t++)
        if (check(i^j,k^t)) Add(i^j,k^t^1),Add(k^t,i^j^1);
    for (int i=0;i<2*n;i++) if (!dfn[i]) Tarjan(i);
    for (int i=0;i<2*n;i+=2)
        if (SCC[i]==SCC[i^1]) return printf("NO\n"),0; else
        if (SCC[i]<SCC[i^1]) ans[i]=true; else ans[i^1]=true;
    printf("YES\n");
    for (int i=0;i<2*n;i++) if (ans[i])
        printf("%02d:%02d %02d:%02d\n",st[i]/60,st[i]%60,gl[i]/60,gl[i]%60);
    return 0;
}