题目传送门

题目大意

给出一个\(n\)个点\(m\)条边的无向图,有\(q\)次有向点对\((s,t)\),问是否存在一种方法定向每条边使得每个点对可以\(s\to t\)。

\(n,m,q\le 2\times 10^5\)

思路

首先我们可以发现,一个边双连通分量里面肯定可以满足,因为任意两点之间都有两条及以上路径,于是可以一条过去,一条回来。于是,我们就可以先双连通分量缩点一下。

接着我们发现缩点完之后一定是个森林,因为如果存在环的话一定还可以缩点。那我们就可以用树上差分解决这个问题了。具体的话对于点对\((s,t)\),显然\(s\to lca(s,t)\)应该是向上的,\(lca(s,t)\to t\)应该是向下的。如果存在一个边既向上又向下那显然是矛盾的。

于是,我们就可以在\(\Theta(n\log n)\)的时间复杂度内解决这个问题。(求lca)

\(\texttt{Code}\)

#include <bits/stdc++.h>
using namespace std; #define Int register int
#define MAXN 400005 template <typename T> inline void read (T &t){t = 0;char c = getchar();int f = 1;while (c < '0' || c > '9'){if (c == '-') f = -f;c = getchar();}while (c >= '0' && c <= '9'){t = (t << 3) + (t << 1) + c - '0';c = getchar();} t *= f;}
template <typename T,typename ... Args> inline void read (T &t,Args&... args){read (t);read (args...);}
template <typename T> inline void write (T x){if (x < 0){x = -x;putchar ('-');}if (x > 9) write (x / 10);putchar (x % 10 + '0');} bool vis[MAXN << 1];
int n,m,q,s[MAXN],t[MAXN],sum[MAXN],dfn[MAXN],low[MAXN];
struct SolveTree{
int up;//表示边双连通分量有多少个
struct edge{
int v,nxt;
}e[MAXN << 1];
int toop = 1,Index,s1[MAXN],s2[MAXN],fa[MAXN][21],col[MAXN],dep[MAXN],head[MAXN];
void Add_Edge (int u,int v){
e[++ toop] = edge {v,head[u]};head[u] = toop;
e[++ toop] = edge {u,head[v]};head[v] = toop;
}
void dfs (int u,int par){
col[u] = Index,fa[u][0] = par,dep[u] = dep[par] + 1;
for (Int i = 1;i <= 20;++ i) fa[u][i] = fa[fa[u][i - 1]][i - 1];
for (Int i = head[u];i;i = e[i].nxt){
int v = e[i].v;
if (v ^ par) dfs (v,u);
}
}
int LCA (int x,int y){
if (dep[x] < dep[y]) swap (x,y);
for (Int i = 20,dis = dep[x] - dep[y];~i;-- i) if (dis >> i & 1) x = fa[x][i];
if (x == y) return x;
else{
for (Int i = 20;~i;-- i) if (fa[x][i] ^ fa[y][i]) x = fa[x][i],y = fa[y][i];
return fa[x][0];
}
}
bool Remain(int u){
for (Int i = head[u];i;i = e[i].nxt){
int v = e[i].v;
if (v ^ fa[u][0]){
if (!Remain (v) || (s1[v] && s2[v])) return 0;
s1[u] += s1[v],s2[u] += s2[v];
}
}
return 1;
}
void Solve (){
for (Int i = 1;i <= up;++ i) if (!col[i]) ++ Index,dfs (i,0);
for (Int i = 1;i <= q;++ i){
int u = s[i],v = t[i];
if (col[u] != col[v]) return puts ("No"),void ();
else{
int w = LCA (u,v);
s1[u] ++,s1[w] --,s2[v] ++,s2[w] --;
}
}
for (Int i = 1;i <= up;++ i) if (dep[i] == 1 && !Remain (i)) return puts ("No"),void ();
puts ("Yes");
}
}T;
struct CutTree{
struct edge{
int v,nxt;
}e[MAXN << 1];
int top = 1,Index,head[MAXN],col[MAXN];
void Add_Edge (int u,int v){
e[++ top] = edge {v,head[u]};head[u] = top;
e[++ top] = edge {u,head[v]};head[v] = top;
}
int id;
void Tarjan (int u,int fa){
dfn[u] = low[u] = ++ id;
for (Int i = head[u];i;i = e[i].nxt) if (e[i].v ^ fa){
int v = e[i].v;
if (!dfn[v]){
Tarjan (v,u),low[u] = min (low[u],low[v]);
if (low[v] > dfn[u]) vis[i] = vis[i ^ 1] = 1;//vis[i]表示该边是不是割边
}
else low[u] = min (low[u],dfn[v]);
}
}
void dfs (int u){
col[u] = Index;
for (Int i = head[u],v;i;i = e[i].nxt) if (!col[v = e[i].v] && !vis[i]) dfs (v);
}
void build (){
read (n,m,q);
for (Int i = 1,u,v;i <= m;++ i) read (u,v),Add_Edge (u,v);
for (Int i = 1;i <= n;++ i) if (!dfn[i]) Tarjan (i,0);
for (Int i = 1;i <= n;++ i) if (!col[i]) ++ Index,dfs (i);T.up = Index;
for (Int i = 1;i <= n;++ i) for (Int j = head[i],v;j;j = e[j].nxt) if (col[v = e[j].v] > col[i]) T.Add_Edge (col[i],col[v]);
for (Int i = 1;i <= q;++ i){
read (s[i],t[i]),s[i] = col[s[i]],t[i] = col[t[i]];
if (s[i] == t[i]) i --,q --;
}
}
}G; signed main(){
G.build(),T.Solve();
return 0;
}

题解 CF555E Case of Computer Network的更多相关文章

  1. CF555E Case of Computer Network

    题面:https://www.luogu.com.cn/problem/CF555E 题意:给定一张\(n\)个点\(m\)条边的无向图. 给定\(q\)组有向点对\((s,t)\). 询问是否存在使 ...

  2. 「CF555E」 Case of Computer Network

    「CF555E」 Case of Computer Network 传送门 又是给边定向的题目(马上想到欧拉回路) 然而这个题没有对度数的限制,你想歪了. 然后又开始想一个类似于匈牙利的算法:我先跑, ...

  3. [Codeforces 555E]Case of Computer Network(Tarjan求边-双连通分量+树上差分)

    [Codeforces 555E]Case of Computer Network(Tarjan求边-双连通分量+树上差分) 题面 给出一个无向图,以及q条有向路径.问是否存在一种给边定向的方案,使得 ...

  4. (中等) CF 555E Case of Computer Network,双连通+树。

    Andrewid the Android is a galaxy-known detective. Now he is preparing a defense against a possible a ...

  5. 555E Case of Computer Network

    分析 一个连通块内的肯定不影响 于是我们先缩点 之后对于每个路径 向上向下分别开一个差分数组 如果两个数组同时有值则不合法 代码 #include<bits/stdc++.h> using ...

  6. Solution -「CF 555E」Case of Computer Network

    \(\mathcal{Description}\)   Link.   给定 \(n\) 个点 \(m\) 条边的无向图,判断是否有给每条边定向的方案,使得 \(q\) 组有序点对 \((s,t)\) ...

  7. codeforces GYM 100114 J. Computer Network 无相图缩点+树的直径

    题目链接: http://codeforces.com/gym/100114 Description The computer network of “Plunder & Flee Inc.” ...

  8. codeforces GYM 100114 J. Computer Network tarjan 树的直径 缩点

    J. Computer Network Time Limit: 1 Sec Memory Limit: 256 MB 题目连接 http://codeforces.com/gym/100114 Des ...

  9. [J]computer network tarjan边双联通分量+树的直径

    https://odzkskevi.qnssl.com/b660f16d70db1969261cd8b11235ec99?v=1537580031 [2012-2013 ACM Central Reg ...

随机推荐

  1. vue+vant实现购物车的全选和反选业务,带你研究购物车的那些细节!

    前言 喜欢购物的小伙伴看过来,你们期待已久的购物车来啦!相信小伙伴逛淘宝时最擅长的就是加入购物车了,那购物车是如何实现商品全选反选的呢?今天就带你们研究购物车的源码,以vue+vant为例. 正文 首 ...

  2. 10分钟学会windows中iis搭建服务器集群实现负载均衡和nginx代理转发

    前言 我们之前聊过 10分钟搭建服务器集群--Windows7系统中nginx与IIS服务器搭建集群实现负载均衡:https://www.cnblogs.com/xiongze520/p/103087 ...

  3. ubuntu 2018 apt 代理proxy设置

    永久设置 打开代理文件,好像默认没有,98proxy是自己新建的 sudo gedit /etc/apt/apt.conf.d/98proxy 在打开的文件中输入如下内容,其中username和pas ...

  4. Tolist案例(父子传参实现增删改)

    1.Tolist案例(父子传参实现增删改) 目录结构 实现效果: App.jsx class App extends Component { // 状态在哪里, 操作状态的方法就在哪里 state = ...

  5. linux centos7 tail

    2021-08-30 # 不指定行数,默认显示 10 行 # 显示 /var/log/crond 后100行 taile -100 /var/log/crond # 动态显示 /var/log/cro ...

  6. Servlet学习笔记(四)之请求转发与重定向(RequestDispatcher与sendRedirect)

    ServletContext可以实现请求转发(ServletContext请求转发相关内容见之前博客:http://blog.csdn.net/megustas_jjc/article/details ...

  7. 微信小程序基础知识笔记

    微信小程序笔记 文件构成 全局文件 app.json 小程序全局配置文件,必要,自动生成 app.js 小程序入口JS文件,一般只需申明全局变量.处理生命周期以及版本升级即可,必要 app.wxss ...

  8. wireshark 解密加密报文

    wireshark 解密IPSec加密后的报文 序言 wireshark作为一款非常优秀的抓包工具,支持了各种各样的网络协议,成为了网络开发中必不可少的工具之一.一般而言,对于普通的网络数据包,wir ...

  9. BeanFactory和ApplicationContext对比

    一.BeanFactory和ApplicationContext对比 其中,ApplicationContext容器即时加载,就是一加载配置文件,就会创建对象,且自动装配bean(即写道xml中bea ...

  10. 富文本编辑器-SpringBoot

    目录 简介 Editor.md 基础工程搭建 数据库设计 基础项目搭建 文章编辑整合(重点) 图片上传问题 表情包问题 文章展示 简介 项目地址:https://gitee.com/zwtgit/ri ...