题目链接

最小化最大的一条边,二分答案。然后就变成了给一张无向图定向使其为欧拉回路

二分答案后对于一个位置的两条边可能都保留,即双向边,需要给它定向;可能只保留小的一条,即单向边,不需考虑

如何给它定向呢,或者说怎么形成欧拉回路呢

形成欧拉回路的充要条件:弱连通图;每个点出度=入度

记点i的度数 dgr[i]=out[i]-in[i]

对于一条方向确定的边(u,v),如果改变它的方向,会使dgr[u]-=2,dgr[v]+=2,也就是说u的2度数分配给了v

对于in[x]!=out[x]的点都要通过改变某些边方向满足in[x]==out[x]

最大流,构图就不说了

刚开始时对一条无向边保留一次它反向的机会,随便定个向,就权值小的吧

注意度数是每次u,v都改变1的,建边时dgr/2

如果有某个点出入度之差为奇数,则不可能形成欧拉回路

ISAP初始度数的最大值要是des+1...

Dinic无限TLE原来是M小了...mmp..

ISAP无限WA还是找不出原因...

Dinic:

#include<cstdio>
#include<cctype>
#include<cstring>
#include<algorithm>
#define gc() getchar()
const int N=1005,M=2005+2*N,INF=1e9; int n,m,src,des,dgr[N],u[M],v[M],A[M],B[M];
int Enum,cur[N],H[N],nxt[M<<1],fr[M<<1],to[M<<1],cap[M<<1],lev[N],q[N],path[N],num[N]; inline int read()
{
int now=0,f=1;register char c=gc();
for(;!isdigit(c);c=gc()) if(c=='-') f=-1;
for(;isdigit(c);now=now*10+c-'0',c=gc());
return now*f;
}
inline void AddEdge(int u,int v,int w)
{
to[++Enum]=v, fr[Enum]=u, nxt[Enum]=H[u], cap[Enum]=w, H[u]=Enum;
to[++Enum]=u, fr[Enum]=v, nxt[Enum]=H[v], cap[Enum]=0, H[v]=Enum;
}
int Rebuild(int x)
{
Enum=1, memset(H,0,sizeof H), memset(dgr,0,sizeof dgr);
for(int i=1;i<=m;++i)
{
if(A[i]<=x) ++dgr[u[i]],--dgr[v[i]];//选择作为单向边或是选中这个方向 需改变的度数就是1!
if(B[i]<=x) AddEdge(u[i],v[i],1);//由u->v可以给出1度数
}
int tot=0;
for(int i=1;i<=n;++i)
if(dgr[i]>0) AddEdge(src,i,dgr[i]>>1),tot+=dgr[i]>>1;
else if(dgr[i]<0) AddEdge(i,des,-dgr[i]>>1);
return tot;//返回不平衡的度数
}
bool BFS2()
{
for(int i=0;i<=des;++i) lev[i]=0,cur[i]=H[i];
lev[src]=1, q[0]=src;
int h=0,t=1;
while(h<t)
{
int x=q[h++];
for(int i=H[x];i;i=nxt[i])
if(!lev[to[i]] && cap[i])
{
lev[to[i]]=lev[x]+1, q[t++]=to[i];
if(to[i]==des) return 1;
}
}
return 0;
}
int Dinic(int u,int flow)
{
if(u==des) return flow;
int used=0;
for(int &i=cur[u];i;i=nxt[i])
if(lev[to[i]]==lev[u]+1 && cap[i])
{
int delta=Dinic(to[i],std::min(cap[i],flow-used));
if(delta)
{
cap[i]-=delta, cap[i^1]+=delta, used+=delta;
if(used==flow) return flow;
}
}
lev[u]=0;
return used;
}
int MF()
{
for(int i=1;i<=n;++i)
if(dgr[i]&1) return -1;//如果有度数为1的点,则不可能形成欧拉回路
int tot=0;
while(BFS2()) tot+=Dinic(src,INF);
return tot;
// return ISAP();
} int main()
{
n=read(),m=read(),src=0,des=n+1;
int mx=0,mn=INF;
for(int i=1;i<=m;++i)
{
u[i]=read(),v[i]=read(),A[i]=read(),B[i]=read();
if(A[i]>B[i]) std::swap(A[i],B[i]),std::swap(u[i],v[i]);//用A做较小的边,单向边也肯定是较小的边啊
mn=std::min(mn,A[i]), mx=std::max(mx,B[i]);
}
int l=mn,r=mx+1,mid;
while(l<r)
{
mid=l+r>>1;
if(Rebuild(mid)==MF()) r=mid;
else l=mid+1;
}
if(l==mx+1) printf("NIE");
else printf("%d",l); return 0;
}

ISAP(WA):

#include<cstdio>
#include<cctype>
#include<cstring>
#include<algorithm>
#define gc() getchar()
const int N=1005,M=2005+2*N,INF=1e9; int n,m,src,des,dgr[N],u[M],v[M],A[M],B[M];
int Enum,cur[N],H[N],nxt[M<<1],fr[M<<1],to[M<<1],cap[M<<1],lev[N],q[N],path[N],num[N]; inline int read()
{
int now=0,f=1;register char c=gc();
for(;!isdigit(c);c=gc()) if(c=='-') f=-1;
for(;isdigit(c);now=now*10+c-'0',c=gc());
return now*f;
}
inline void AddEdge(int u,int v,int w)
{
to[++Enum]=v, fr[Enum]=u, nxt[Enum]=H[u], cap[Enum]=w, H[u]=Enum;
to[++Enum]=u, fr[Enum]=v, nxt[Enum]=H[v], cap[Enum]=0, H[v]=Enum;
}
int Rebuild(int x)
{
Enum=1, memset(H,0,sizeof H), memset(dgr,0,sizeof dgr);
for(int i=1;i<=m;++i)
{
if(A[i]<=x) ++dgr[u[i]],--dgr[v[i]];//选择作为单向边或是选中这个方向 需改变的度数就是1
if(B[i]<=x) AddEdge(u[i],v[i],1);//由u->v可以给出1度数
}
int tot=0;
for(int i=1;i<=n;++i)
if(dgr[i]>0) AddEdge(src,i,dgr[i]>>1),tot+=dgr[i]>>1;
else if(dgr[i]<0) AddEdge(i,des,-dgr[i]>>1);
return tot;//返回不平衡的度数
}
bool BFS()
{
for(int i=src;i<=des;++i) lev[i]=des+1,cur[i]=H[i];
q[0]=des, lev[des]=0;
int h=0,t=1;
while(h<t)
{
int x=q[h++];
for(int i=H[x];i;i=nxt[i])
if(lev[to[i]]==des+1 && cap[i^1])//i^1
lev[to[i]]=lev[x]+1, q[t++]=to[i];
}
return lev[src]<=des;
}
int Augment()
{
int mn=INF;
for(int i=des;i!=src;i=fr[path[i]])
mn=std::min(mn,cap[path[i]]);
for(int i=des;i!=src;i=fr[path[i]])
cap[path[i]]-=mn, cap[path[i]^1]+=mn;
return mn;
}
int ISAP()
{
if(!BFS()) return -1;
memset(num,0,sizeof num);//mmp
for(int i=src;i<=des;++i) ++num[lev[i]];
int x=src,flow=0;
while(lev[src]<=des)
{
if(x==des) flow+=Augment(),x=src;
bool can=0;
for(int i=cur[x];i;i=nxt[i])
if(lev[to[i]]==lev[x]-1 && cap[i])
{
can=1, cur[x]=i, path[x=to[i]]=i;
break;
}
if(!can)
{
int mn=des;
for(int i=H[x];i;i=nxt[i])
if(cap[i]) mn=std::min(mn,lev[to[i]]);
if(!--num[lev[x]]) break;
++num[lev[x]=mn+1], cur[x]=H[x];
if(x!=src) x=fr[path[x]];
}
}
return flow;
}
int MF()
{
for(int i=1;i<=n;++i)
if(dgr[i]&1) return -1;//如果有度数为1的点,则不可能形成欧拉回路
return ISAP();
} int main()
{
n=read(),m=read(),src=0,des=n+1;
int mx=0,mn=INF;
for(int i=1;i<=m;++i)
{
u[i]=read(),v[i]=read(),A[i]=read(),B[i]=read();
if(A[i]>B[i]) std::swap(A[i],B[i]),std::swap(u[i],v[i]);//用A做较小的边,单向边也肯定是较小的边啊
mn=std::min(mn,A[i]), mx=std::max(mx,B[i]);
}
int l=mn,r=mx+1,mid;
while(l<r)
{
mid=l+r>>1;
if(Rebuild(mid)==MF()) r=mid;
else l=mid+1;
}
if(l==mx+1) printf("NIE");
else printf("%d",l); return 0;
}

BZOJ.2095.[POI2010]Bridges(最大流ISAP 二分 欧拉回路)的更多相关文章

  1. BZOJ 2095 [POI2010]Bridges (最大流、欧拉回路)

    洛谷上有这题,但是输出方案缺SPJ..(而且我也懒得输出方案了) 题目链接: https://www.lydsy.com/JudgeOnline/problem.php?id=2095 题解: 首先判 ...

  2. bzoj 2095: [Poi2010]Bridges [混合图欧拉回路]

    2095: [Poi2010]Bridges 二分答案,混合图欧拉路判定 一开始想了一个上下界网络流模型,然后发现不用上下界网络流也可以 对于无向边,强制从\(u \rightarrow v\),计算 ...

  3. BZOJ 2095: [Poi2010]Bridges

    2095: [Poi2010]Bridges Time Limit: 10 Sec  Memory Limit: 259 MBSubmit: 869  Solved: 299[Submit][Stat ...

  4. bzoj 2095 [Poi2010]Bridges 判断欧拉维护,最大流+二分

    [Poi2010]Bridges Time Limit: 10 Sec  Memory Limit: 259 MBSubmit: 1448  Solved: 510[Submit][Status][D ...

  5. BZOJ 2095 [Poi2010]Bridges (二分+最大流判断混合图的欧拉回路)

    题面 nnn个点,mmm条双向边(正向与反向权值不同),求经过最大边权最小的欧拉回路的权值 分析 见 commonc大佬博客 精髓就是通过最大流调整无向边的方向使得所有点的入度等于出度 CODE #i ...

  6. bzoj 2095: [Poi2010]Bridges(二分法+混合图的欧拉回路)

    [题意] 给定n点m边的无向图,对于边u,v,从u到v边权为c,从v到u的边权为d,问能够经过每条边一次且仅一次,且最大权值最小的欧拉回路. [思路] 二分答案mid,然后切断权值大于mid的边,原图 ...

  7. 【刷题】BZOJ 2095 [Poi2010]Bridges

    Description YYD为了减肥,他来到了瘦海,这是一个巨大的海,海中有n个小岛,小岛之间有m座桥连接,两个小岛之间不会有两座桥,并且从一个小岛可以到另外任意一个小岛.现在YYD想骑单车从小岛1 ...

  8. [BZOJ2095][Poi2010]Bridges 最大流(混合图欧拉回路)

    2095: [Poi2010]Bridges Time Limit: 10 Sec  Memory Limit: 259 MB Description YYD为了减肥,他来到了瘦海,这是一个巨大的海, ...

  9. [Poi2010]Bridges 最大流+二分答案 判定混合图欧拉回路

    https://darkbzoj.cf/problem/2095 bzoj 相同的题挂了,这个oj可以写. 题目就是要我们找一条欧拉回路(每个桥经过一次就好,不管方向),使得这条回路上权值最大的尽量小 ...

随机推荐

  1. Linux之V4L2基础编程【转】

    转自:https://www.cnblogs.com/emouse/archive/2013/03/04/2943243.html 本文内容来源于网络,本博客进行整理. 1. 定义 V4L2(Vide ...

  2. ES系列十一、ES的index、store、_source、copy_to和all的区别

    1.基本概念 1.1._source 存储的原始数据._source中的内容就是搜索api返回的内容,如: { "query":{  "term":{   &q ...

  3. vi与vim

    vi 的使用 基本上 vi 共分为三种模式,分别是『一般模式』.『编辑模式』与『指令列命令模式』. 这三种模式的作用分别是: 一般模式:以 vi 打开一个档案就直接进入一般模式了(这是默认的模式).在 ...

  4. zabbix3.0对tcp连接数和状态的监控优化

    zabbix3.0对tcp连接数及状态的监控优化 之前对tcp的监控采用netstat命令,发现在服务器繁忙的时候效果不理想,这个命令占用大量的cpu有时候高达90%以上,可能会导致业务的不稳定,所以 ...

  5. dell R720服务器设置开机启动顺序

    开机按F2进入系统启动设置,也可以按F11进入快速启动配置

  6. Oracle 网络配置与管理

    [学习目标] Oracle 监听器是一个服务器端程序,用于监听所有来自客户端的请求,并为其提供数 据库服务.因此对监听器的管理与维护相当重要.         本章主要内容是描述对Oracle 监听器 ...

  7. java util Aarrys 类

    toString方法  产生一维数组的二维版本 public static String toString(type[] a) { //type 是传入数据类型 if (a == null) retu ...

  8. laravel 同数据表字段比较查询和状态不正规排序

    今天写群组推荐接口,要求未满的群 ( 群最大人数字段maxusers, 群人数字段affiliations_count 都在群组表中),官方,热门(普通群0 ,官方1,热门2 ) 排序的群 同表字段比 ...

  9. 2018-2019-2 网络对抗week1 Kali安装 20165333陈国超

    Kali安装 安装过程是按照网上的教程装的,链接点击[https://blog.csdn.net/KNIGH_YUN/article/details/79949512] 安装成功的截图 主要说一下安装 ...

  10. Ext.js中自己扩展的EasyGrid

    这里只写了一些核心的代码,具体如下: Ext.ux.EasyGrid = Ext.extend(Ext.grid.GridPanel, { initComponent: function () { t ...