怠惰啊。。。欠了一屁股的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;
}