555E Case of Computer Network

分析

一个连通块内的肯定不影响

于是我们先缩点

之后对于每个路径

向上向下分别开一个差分数组

如果两个数组同时有值则不合法

代码

#include<bits/stdc++.h>
using namespace std;
int n,m,q,bl[],s[],t[],dfn[],low[],is[];
int cnt,tot,sum,head[],nxt[],to[],ano[];
int d1[],d2[],dep[],pr[][];
int f[],vis[],vis2[];
vector<int>v[];
stack<int>a;
inline int sf(int x){return f[x]==x?x:f[x]=sf(f[x]);}
inline void add(int x,int y){
    nxt[++tot]=head[x],head[x]=tot,to[tot]=y,ano[tot]=tot+;
    nxt[++tot]=head[y],head[y]=tot,to[tot]=x,ano[tot]=tot-;
}
inline void tarjan(int x,int id){
    dfn[x]=low[x]=++cnt;
    a.push(x),is[x]=;
    for(int i=head[x];i;i=nxt[i])
      if(i!=ano[id]){
        if(!dfn[to[i]]){
            tarjan(to[i],i);
            low[x]=min(low[x],low[to[i]]);
        }else if(is[to[i]]){
            low[x]=min(low[x],dfn[to[i]]);
        }
      }
    if(low[x]==dfn[x]){
      sum++;
      while(){
          int u=a.top();
          a.pop(),is[u]=;
          bl[u]=sum;
          if(u==x)break;
      }
    }
}
inline void dfs(int x,int fa){
    vis2[x]=;
    pr[x][]=fa;
    dep[x]=dep[fa]+;
    for(int i=;i<v[x].size();i++)
      if(v[x][i]!=fa)dfs(v[x][i],x);
}
inline int lca(int x,int y){
    if(dep[x]<dep[y])swap(x,y);
    int i,j,k,len=dep[x]-dep[y];
    for(i=;i<=;i++)
      if((<<i)&len)x=pr[x][i];
    if(x==y)return x;
    for(i=;i>=;i--)
      if(pr[x][i]!=pr[y][i])
        x=pr[x][i],y=pr[y][i];
    return pr[x][];
}
inline void dfs2(int x,int fa){
    vis[x]=;
    for(int i=;i<v[x].size();i++)
      if(v[x][i]!=fa)dfs2(v[x][i],x),d1[x]+=d1[v[x][i]],d2[x]+=d2[v[x][i]];
    if(d1[x]>&&d2[x]>){
      puts("No");
      exit();
    }
}
int main(){
    int i,j,k;
    scanf("%d%d%d",&n,&m,&q);
    for(i=;i<=m;i++){
      int x,y;
      scanf("%d%d",&x,&y);
      add(x,y);
      if(sf(x)!=sf(y))f[sf(x)]=sf(y);
    }
    for(i=;i<=q;i++)scanf("%d%d",&s[i],&t[i]);
    for(i=;i<=q;i++)if(sf(s[i])!=sf(t[i])){puts("No");return ;}
    for(i=;i<=n;i++)if(!dfn[i])tarjan(i,);
    for(i=;i<=n;i++)
      for(j=head[i];j;j=nxt[j])
        if(bl[i]!=bl[to[j]])v[bl[i]].push_back(bl[to[j]]);
    for(i=;i<=sum;i++)if(!vis2[i])dfs(i,);
    for(i=;i<=;i++)
      for(j=;j<=sum;j++)
        pr[j][i]=pr[pr[j][i-]][i-];
    for(i=;i<=q;i++){
      if(bl[s[i]]==bl[t[i]])continue;
      int x=bl[s[i]],y=bl[t[i]],z=lca(x,y);
      d1[x]++,d1[z]--;
      d2[y]++,d2[z]--;
    }
    for(i=;i<=sum;i++)if(!vis[i])dfs2(i,);
    puts("Yes");
    return ;
}