将每条双向边拆成两条单向边,若两条边中至少存在一条边使得删掉它之后图中SCC个数不变,则这条边可以定向。

将边中间加上点,变成删点问题。

对于每个SCC单独考虑,随便选择一个不是拆点出来的点S作为源。

则在正图或者反图的Dominator Tree上的所有非叶子节点均会影响连通性。

用Lengauer-Tarjan算法求出Dominator Tree即可。

时间复杂度$O((n+m)\alpha(n+m))$。

#include<cstdio>
const int N=500010,M=800010;
int n,m,lim,i,x,y,z,ans;bool vis[N],cut[N];
int g0[N],g1[N],v[M*2],nxt[M*2],ed,f[N],q[N],t,size,now[N],rk[N];
namespace DT{
int n,g1[N],g2[N],gd[N],v[M*3+N],nxt[M*3+N],ed;
int cnt,dfn[N],id[N],fa[N],f[N],mn[N],sd[N],idom[N];
inline void add(int*g,int x,int y){v[++ed]=y;nxt[ed]=g[x];g[x]=ed;}
inline void add(int x,int y){add(g1,x,y);add(g2,y,x);}
int F(int x){
if(f[x]==x)return x;
int y=F(f[x]);
if(sd[mn[x]]>sd[mn[f[x]]])mn[x]=mn[f[x]];
return f[x]=y;
}
void dfs(int x){
id[dfn[x]=++cnt]=x;
for(int i=g1[x];i;i=nxt[i])if(!dfn[v[i]])dfs(v[i]),fa[dfn[v[i]]]=dfn[x];
}
inline void tarjan(int S){
int i,j,k,x;
for(cnt=0,i=1;i<=n;i++)gd[i]=dfn[i]=id[i]=fa[i]=idom[i]=0,f[i]=sd[i]=mn[i]=i;
dfs(S);
for(i=n;i>1;i--){
for(j=g2[id[i]];j;j=nxt[j])F(k=dfn[v[j]]),sd[i]=sd[i]<sd[mn[k]]?sd[i]:sd[mn[k]];
add(gd,sd[i],i);
for(j=gd[f[i]=x=fa[i]];j;j=nxt[j])F(k=v[j]),idom[k]=sd[mn[k]]<x?mn[k]:x;
gd[x]=0;
}
for(i=2;i<=n;add(gd,idom[i],i),i++)if(idom[i]!=sd[i])idom[i]=idom[idom[i]];
}
inline void init(int _n){
n=_n;ed=0;
for(int i=1;i<=n;i++)g1[i]=g2[i]=0;
}
}
inline void read(int&a){char c;while(!(((c=getchar())>='0')&&(c<='9')));a=c-'0';while(((c=getchar())>='0')&&(c<='9'))(a*=10)+=c-'0';}
inline void add(int x,int y){
v[++ed]=y;nxt[ed]=g0[x];g0[x]=ed;
v[++ed]=x;nxt[ed]=g1[y];g1[y]=ed;
}
void dfs1(int x){
vis[x]=1;
for(int i=g0[x];i;i=nxt[i])if(!vis[v[i]])dfs1(v[i]);
q[++t]=x;
}
void dfs2(int x,int y){
vis[x]=0,f[x]=y;
now[rk[x]=++size]=x;
for(int i=g1[x];i;i=nxt[i])if(vis[v[i]])dfs2(v[i],y);
}
inline void solve(int o){
int i,j;
for(i=1;i<=size;i++)if(now[i]>lim)break;
if(i>size)return;
DT::init(size);
for(i=1;i<=size;i++)for(j=g0[now[i]];j;j=nxt[j])if(f[v[j]]==o)DT::add(i,rk[v[j]]);
for(i=1;i<=size;i++)if(now[i]<=lim){
DT::tarjan(i);
break;
}
for(i=1;i<=size;i++)if(DT::gd[DT::dfn[i]])cut[now[i]]=1;
DT::init(size);
for(i=1;i<=size;i++)for(j=g0[now[i]];j;j=nxt[j])if(f[v[j]]==o)DT::add(rk[v[j]],i);
for(i=1;i<=size;i++)if(now[i]<=lim){
DT::tarjan(i);
break;
}
for(i=1;i<=size;i++)if(DT::gd[DT::dfn[i]])cut[now[i]]=1;
}
int main(){
read(n),read(m);lim=n;
while(m--){
read(x),read(y),read(z);
if(x==y){ans+=z==2;continue;}
if(z==1)add(x,y);
else{
add(x,++n);
add(n,y);
add(y,++n);
add(n,x);
}
}
for(i=1;i<=n;i++)if(!vis[i])dfs1(i);
for(i=n;i;i--)if(vis[q[i]]){
size=0;
dfs2(q[i],q[i]);
solve(q[i]);
}
for(i=lim+1;i<=n;i+=2)if(!cut[i]||!cut[i+1])ans++;
return printf("%d",ans),0;
}

  

BZOJ2861 : 双向边定向为单向边的更多相关文章

  1. SSL双向认证和SSL单向认证的流程和区别

    refs: SSL双向认证和SSL单向认证的区别https://www.jianshu.com/p/fb5fe0165ef2 图解 https 单向认证和双向认证!https://cloud.tenc ...

  2. 什么是SSL双向认证,与单向认证证书有什么区别?

    SSL/TLS证书是用于用户浏览器和网站服务器之间的数据传输加密,实现互联网传输安全保护,大多数情况下指的是服务器证书.服务器证书是用于向浏览器客户端验证服务器,这种是属于单向认证的SSL证书.但是, ...

  3. Python 双向队列Deque、单向队列Queue 模块使用详解

    Python 双向队列Deque 模块使用详解 创建双向队列Deque序列 双向队列Deque提供了类似list的操作方法: #!/usr/bin/python3 import collections ...

  4. bzoj AC倒序

    Search GO 说明:输入题号直接进入相应题目,如需搜索含数字的题目,请在关键词前加单引号 Problem ID Title Source AC Submit Y 1000 A+B Problem ...

  5. https单向认证和双向认证

    单向认证: .clinet<--server .clinet-->server .client从server处拿到server的证书,通过公司的CA去验证该证书,以确认server是真实的 ...

  6. 基于openssl的单向和双向认证

    1.前言 最近工作涉及到https,需要修改nginx的openssl模块,引入keyless方案.关于keyless可以参考CloudFlare的官方博客: https://blog.cloudfl ...

  7. 单向和双向tvs管

    tvs管器件按极性可分为单极性和双极性两种,即单向tvs管和双向tvs管.    单向tvs管保护器件仅能对正脉冲或者负脉冲进行防护,而双向tvs管保护器件一端接要保护的线路,一端接地,无论来自反向还 ...

  8. SSL单向认证和双向认证说明

    SSL单向认证和双向认证说明 一.SSL双向认证具体过程 浏览器发送一个连接请求给安全服务器. 服务器将自己的证书,以及同证书相关的信息发送给客户浏览器. 客户浏览器检查服务器送过来的证书是否是由自己 ...

  9. ORACLE GoldenGate在Windows与AIX平台ORACLE的单向、双向数据传输配置及其测试

    第1章...... GoldenGate概述 1.1         GoldenGate技术原理 1.2         GoldenGate可靠的复制 1.3         GoldenGate ...

随机推荐

  1. 【.net】获取网页CDM的下载链接的地址

    using System; using System.Collections.Generic; using System.Linq; using System.Runtime.InteropServi ...

  2. ES系列十八、FileBeat发送日志到logstash、ES、多个output过滤配置

    一.FileBeat基本概念 简单概述 最近在了解ELK做日志采集相关的内容,这篇文章主要讲解通过filebeat来实现日志的收集.日志采集的工具有很多种,如fluentd, flume, logst ...

  3. Python3学习笔记26-unittest模块

    unittest单元测试框架,主要由四部分组成:测试固件.测试用例.测试套件.测试执行器 测试固件(test fixture) 测试固件有两部分,执行测试前的准备部分setUp(),测试执行完后的清扫 ...

  4. 多个SpingBoot项目的搭建与部署

    最近几年SpringBoot大热,很多IT公司都开始采用SpringBoot来替换传统的SpringMVC项目.那么如何搭建一个适合开发的项目架构呢? 这里我主要介绍Java程序员使用最多的两种工具进 ...

  5. 018_nginx_proxy死循环问题

    今天线上遇到一个请求一次,触发多次的请求,而且直接把nginx机器压垮了.经排查,经过如下: 一. server{ server www.jyall.com; location /latestrele ...

  6. Eclipse与github整合

    Eclipse与github整合 Windows系统下: github官方指南:https://help.github.com/articles/set-up-git Git?是个正快速成长的版本控制 ...

  7. Linux常用命令3(压缩和解压缩总结)

    tar命令 解包:tar zxvf FileName.tar 打包:tar czvf FileName.tar DirName gz命令 解压1:gunzip FileName.gz 解压2:gzip ...

  8. GitHub上优秀的Go开源项目

    近一年来,学习和研究Go语言,断断续续的收集了一些比较优秀的开源项目,这些项目都非常不错,可以供我们学习和研究Go用,从中可以学到很多关于Go的使用.技巧以及相关工具和方法.我把他们整理发出来,大家有 ...

  9. java比较两个对象是否相等?

    1.判断两个对象是否是同一个引用对象则用==,"=="比的是地址.因为如果地址相同,则就是同一个对象(java中如果两对象(obj1,obj2)相等,那么在修改obj2的时候,ob ...

  10. 在Vue中使用计时器笔记

    在Vue中使用了计时器,一定要记得在生命周期destroyed()里清掉,不然第二次进入这个组件,会出现很大的问题 destroyed () { // (很重要)当跳转到其他页面的时候,要在生命周期的 ...