Codeforces Round #469 (Div. 2) E. Data Center Maintenance

tarjan

题意： 有n个数据维护中心，每个在h小时中需要1个小时维护，有m个雇主，他们的中心分别为c1,c2，要求这两个数据中心不能同时维护。

现在要挑出一个数据中心的子集，把他们的维护时间都推后一个小时。问最小推几个？

建图，如果对于一个顾客，两个数据维护中心维护时间正好差一个小时，那么前者向后者连一条边。在一个强连通分量里面的所有点必须选。。如果有连向其他的强连通分量，那么那个也必须选，这种情况肯定不是最优，所以舍弃所有有出度的强连通分量。

tarjan缩点，然后判一判。

#include<cstdio>
#include<algorithm>
#include<cstring>
#include<iostream>
#include<cmath>
#define LL long long
using namespace std;
const int inf = 0x3f3f3f3f;
const LL LLinf = 0x3f3f3f3f3f3f3f3f;
LL read()
{
       LL x=0,f=1;char ch=getchar();
    while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
    while(ch>='0'&&ch<='9'){x=x*10ll+ch-'0';ch=getchar();}
    return x*f;
}

const int maxn = 100000 + 10;
const int maxm = 200000 + 10;

struct Edge {
    int to,nex;    
}e[maxm];

int n,m,h;
int u[maxn]; 
int g[maxn],eid;

void addedge(int a,int b) {
    e[eid]=(Edge){b,g[a]}; g[a]=eid++;
}

void build() 
{
    n=read(); m=read(); h=read();
    for(int i=1;i<=n;i++) 
    {
        u[i]=read();
    }
    
    memset(g,-1,sizeof(g));
    for(int i=1,c1,c2;i<=m;i++) 
    {
        c1=read(); c2=read();    
        if((u[c1]+1)%h==u[c2]) 
        {
            addedge(c1,c2);
            //printf(" %d %d
",c1,c2);
        }
        if((u[c2]+1)%h==u[c1]) 
        {
            addedge(c2,c1);
            //printf(" %d %d
",c2,c1);
        }
    }
}

int dfn[maxn],low[maxn],cnt;
bool instack[maxn];
int s[maxn],sp;
int color[maxn],cp;
int sum[maxn];
int out[maxn];
int res;

void tarjan(int u) 
{
    dfn[u]=low[u]=++cnt;
    s[++sp]=u; instack[u]=1;
    
    for(int i=g[u];~i;i=e[i].nex) 
    {
        if(!dfn[e[i].to]) 
        {
            tarjan(e[i].to);
            low[u]=min(low[u],low[e[i].to]);
        }
        else if(instack[e[i].to])
        {
            low[u]=min(low[u],dfn[e[i].to]);
        }
    }
    
    if(dfn[u]==low[u]) {
        ++cp; int v;
        while(sp) 
        {
            v=s[sp];
            instack[v]=0;
            color[v]=cp;
            sum[cp]++;
            sp--;
            if(s[sp+1]==u) break; 
        }
    }
}

void solve()
{
    for(int i=1;i<=n;i++) if(!dfn[i]) tarjan(i);
    /*
    for(int i=1;i<=n;i++)
        printf("color[%d]=%d
",i,color[i]);
    */
    /*for(int i=1;i<=n;i++) 
        if(!color[i]) 
        {
            color[i]=++cp;
            sum[i]=1;
        }
    */
    for(int u=1;u<=n;u++) {
    
        for(int i=g[u];~i;i=e[i].nex) if(color[e[i].to]!=color[u])
            out[color[u]]++;
    }
    
    res=0; sum[0]=inf;
    for(int i=1;i<=cp;i++) {
        //printf("Test %d %d
",i,out[i]);
        if(out[i]==0&&sum[i]<sum[res]) 
        {
            res=i;
        }
    }
    printf("%d
",sum[res]);
    for(int i=1;i<=n;i++) if(color[i]==res) 
        printf("%d ",i);
    printf("
"); 
}    

int main() 
{
    build();
    solve();
    
    return 0;
}