Codeforces 949C Data Center Maintenance 缩点+拓扑

怠惰啊。。。欠了一屁股的cf比赛了。。。先发一个zz题解好了。。。

题意：有n个数据中心，m个客户，一天有h小时，每个数据中心在每天的一个特定小时宕机，每个用户的数据保存在两个数据中心上，数据保证每个用户在每个小时都可以访问到数据，也就是不存在一个用户保存数据的两个中心宕机时间相同。现要选出一部分中心将他们的宕机时间向后推迟1h，且还要保证用户对数据的随时访问，问最少要选几个机器（不能选0个）。

题解：本来以为是一个2-sat麻烦的题（好像2-sat也不是特别麻烦。。），结果一大堆限制之后，保证了只有一种关系模型：选A则必选B，且保证一定有解，求一个最少点的解。

如果一个用户对应的两个数据中心是u1，u2，宕机时间是t1，t2，当且仅当t1=t2+1(mod h)时，推迟t2则必定要推迟t1，对称的还有一个t2=t1（mod h）。按照这个方式建图之后，跑一次tarjan变成DAG，每一个联通块推迟了一个点，则整个块被推迟，且这个块的所有出度块要连锁被推迟。这就很显然了，统计一下每个块的入度，选择入度=0的最小的块就是答案。

注意！h=2时，只有0 1 两个小时，0 和 1会冲突……1 和 0 也会冲突，一个用户要么贡献0个边，要么贡献2个边。会形成最多2m个边。。。所以邻接表要开两倍（vector选手请无视）

Code：

#include<bits/stdc++.h>
using namespace std;
const int maxn = 1e5+100;
int m,n,h;
int t[maxn];
int first[maxn*2],nxt[maxn*2],des[maxn*2],tot;
int dfn[maxn],low[maxn],dft;
bool d[maxn];
int flag[maxn],cnt[maxn],scc;
stack<int> stk;
inline void add(int x,int y){
	tot++;
	des[tot] =y;
	nxt[tot] = first[x];
	first[x] =tot;
}
void tar(int node){
	dfn[node] = low[node] = ++dft;
	stk.push(node);
	for (int t = first[node];t;t=nxt[t]){
		int v = des[t];
		if (!dfn[v])tar(v);
		low[node] = min(low[node],low[v]);	
	}
	if (dfn[node]==low[node]){
		scc++;
		while (true){
			int temp = stk.top();
			flag[temp]=scc;
			cnt[scc]++;
			stk.pop();
			if (temp==node)break;
		}
	}
}
int main(){
	scanf("%d%d%d",&n,&m,&h);
	for (int i=1;i<=n;i++){
		scanf("%d",t+i);
	}
	for (int i=0;i<m;i++){
		int u1,u2;
		scanf("%d%d",&u1,&u2);
		if (t[u1]==(t[u2]+1)%h)add(u2,u1);
		if (t[u2]==(t[u1]+1)%h)add(u1,u2);
	}
	for (int i=1;i<=n;i++){
		if (!dfn[i])tar(i);
	}
	for (int i=1;i<=n;i++){
		for (int t = first[i];t;t=nxt[t]){
			if (flag[i]==flag[des[t]])continue;
			else{
				d[flag[i]]++;
			}
		} 
	}
	cnt[0] =n+1;
	int ans = 0;
	for (int i=1;i<=scc;i++){
		if (d[i]==0&&cnt[i]<cnt[ans]){
			ans = i;
		}
	}
	cout<<cnt[ans]<<endl;
	for (int i=1;i<=n;i++){
		if (flag[i]==ans){
			cout<<i<<" ";
		}
	}
	cout<<endl;
	return 0;
	
}