【题意】给出一个带权无向图,求割集,且割集的平均边权最小。

【分析】

先尝试着用更一般的形式重新叙述本问题。设向量w表示边的权值,令向量c=(1, 1, 1, ……, 1)表示选边的代价,于是原问题等价为:

Minimize   λ = f(x) = sigma(wexe)/sigma(1*xe) = wx / cx

其中, x表示一个解向量,xe∈{0, 1} ,即对于每条边都有选与不选两种决策,并且选出的边集组成一个s-t边割集。

联系已有的知识,这是一个0-1分数规划。在胡伯涛《最小割模型在信息学竞赛中的应用》中已经给出了这类规划的普遍转化方法:构造一个新函数g(λ) = min {(wc)•x}

即对每条边∨e ∈ E ,进行重赋权:we' = we - ce•λ = we - λ。g(λ)便是在这个重新赋权的图上,求一个最小容量的s-t边割集。注意一些细节:若we' < 0,又由于目标函数是加和取最小的操作,则该边必然是在边割集内。对于剩下的所有we' > 0的边,直接利用最小割模型求出s-t割即可。

于是主算法便是对最优解*λ的二分查找,每次查找用最小割模型来判定,进而缩小查找范围,直到满足精度要求。

【最小割算法:割点集、割边集】

通常我们说的最小割都是最小边割,对应求的也就是最小边割集。如果要求最小点割集,则拆点转换为边割:(每个点i拆成i和i',连一条(i, i', 1)的边,原图中的边(u,v)转化为(u', v, oo),求源点s+n到汇点t的最大流)就行了。

由于最大流最小割定理中,即最大流的流值等于最小割容量。所以在问题的实现上分两步:(Δ)先求得最大流,再在得到最大流f后的残留网络Gf中,从s开始深度优先遍历(DFS),所有被遍历到的点,即构成点集S。其余的点即构成点集T(不需要再从T遍历,挺麻烦)。这样割点集便求出来了。

注意,虽然最小割[S,T]中的边都是满流边,但满流边不一定都是最小割中的边。在某些特殊图中,很人容易认为不用DFS,就可以直接得出割。下面举一个二分图的例子。

图1.2(a) 给出了一个基于二分图构造的流网络。由于从X部到Y部都是容量均为正无限的边,都不可能是最小割中的边,有人便会错误地认为与源或汇关联的满流边便组成了最小割(图1.2(a)的红色边)。然而实际上,在该网络的残留网络中,结点2与3应该与源s是连通的(图1.2(b)的蓝色路径),所以最小割应该是图1.2(b)中的红色边。

所以割边集的求法应该是:先求出割点集,然后枚举满流边,如果边的两个端点分别在S集和T集中,则该边是割边。

【代码】

  1. #include
  2. #include
  3. #include
  4. #include
  5. #include
  6. #include
  7. #define MID(x,y) ((x+y)/2)
  8. #define mem(a,b) memset(a,b,sizeof(a))
  9. using namespace std;
  10. const int MAXV = 105;
  11. const int MAXE = 1005;
  12. const int oo = 0x3fffffff;
  13. const double eps = 1e-2;
  14. bool dy(double x,double y) { return x > y + eps;} // x > y
  15. bool xy(double x,double y) { return x y - eps;} // x >= y
  16. bool xyd(double x,double y) { return x
  17. struct Dinic{
  18. struct node{
  19. int u, v;
  20. T flow;
  21. int opp;
  22. int next;
  23. }arc[2*MAXE];
  24. int vn, en, head[MAXV];
  25. int cur[MAXV];
  26. int q[MAXV];
  27. int path[2*MAXE], top;
  28. int dep[MAXV];
  29. void init(int n){
  30. vn = n;
  31. en = 0;
  32. mem(head, -1);
  33. }
  34. void insert_flow(int u, int v, T flow){
  35. arc[en].u = u;
  36. arc[en].v = v;
  37. arc[en].flow = flow;
  38. arc[en].next = head[u];
  39. head[u] = en ++;

  40. arc[en].u = v;

  41. arc[en].v = u;

  42. arc[en].flow = 0;

  43. arc[en].next = head[v];

  44. head[v] = en ++;

  45. }

  46. bool bfs(int s, int t){

  47. mem(dep, -1);

  48. int lq = 0, rq = 1;

  49. dep[s] = 0;

  50. q[lq] = s;

  51. while(lq 0){

  52. dep[v] = dep[u] + 1;

  53. q[rq ++] = v;

  54. }

  55. }

  56. }

  57. return false;

  58. }

  59. T solve(int s, int t){

  60. T maxflow = 0;

  61. while(bfs(s, t)){

  62. int i, j;

  63. for (i = 1; i arc[path[k]].flow){

  64. minflow = arc[path[k]].flow;

  65. mink = k;

  66. }

  67. for (int k = 0; k dinic;

  68. int n, m;

  69. struct path{

  70. int u, v;

  71. double cost;

  72. }p[MAXE];

  73. int st[MAXV];

  74. bool vis[MAXV];

  75. void dfs(int u, int p){

  76. st[u] = p;

  77. vis[u] = 1;

  78. for (int i = dinic.head[u]; i != -1; i = dinic.arc[i].next){

  79. if (dinic.arc[i].flow 1)

  80. printf("\n");

  81. double max_cost = 0.0;

  82. for (int i = 0; i cuts;

  83. cuts.clear();

  84. for (int i = 0; i

  85. ZOJ 2676 Network Wars ★(最小割算法介绍 && 01分数规划)的更多相关文章

      1. zoj 2676 Network Wars 0-1分数规划+最小割
      1. 题目详解出自 论文 Amber-最小割模型在信息学竞赛中的应用 题目大意: 给出一个带权无向图 G = (V,E), 每条边 e属于E都有一个权值We,求一个割边集C,使得该割边集的平均边权最小,即最 ...

      1. ZOJ 2676 Network Wars[01分数规划]
      1. ZOJ Problem Set - 2676 Network Wars Time Limit: 5 Seconds      Memory Limit: 32768 KB      Special J ...

      1. bzoj 3232】圈地游戏(算法效率--01分数规划+图论--最小割)
      1. 题目:DZY家的后院有一块地,由NM列的方格组成,格子内种的菜有一定的价值,并且每一条单位长度的格线有一定的费用.DZY喜欢在地里散步.他总是从任意一个格点出发,沿着格线行走直到回到出发点,且在行走 ...

      1. 【算法】01分数规划 --- HNOI2009最小圈 & APIO2017商旅 & SDOI2017新生舞会
      1. 01分数规划:通常的问法是:在一张有 \(n\) 个点,\(m\) 条边的有向图中,每一条边均有其价值 \(v\) 与其代价 \(w\):求在图中的一个环使得这个环上所有的路径的权值和与代价和的比率最 ...

      1. poj 2976Dropping tests(算法效率--01分数规划 模版题+二分){附【转】01分数规划问题}
      1. P.S.又是一个抽时间学了2个小时的新东西......讲解在上半部分,题解在下半部分. 先说一下转的原文:http://www.cnblogs.com/perseawe/archive/2012/05 ...

      1. ZOJ 2676 Network Wars(最优比例最小割)
      1. Network Wars Time Limit: 5 Seconds      Memory Limit: 32768 KB      Special Judge Network of Bytelan ...

      1. ZOJ 2676 Network Wars(网络流+分数规划)
      1. 传送门 题意:求无向图割集中平均边权最小的集合. 论文<最小割模型在信息学竞赛中的应用>原题. 分数规划.每一条边取上的代价为1. #include <bits/stdc++.h&g ...

      1. zoj 2676 二分+ISAP模板求实型参数的最小割(0-1分数规划问题)(可做ISAP模板)
      1. /* 参考博文:http://www.cnblogs.com/ylfdrib/archive/2010/09/01/1814478.html 以下题解为转载代码自己写的: zoj2676 胡伯涛论文& ...

      1. PCL—低层次视觉—点云分割(最小割算法)
      1. 1.点云分割的精度 在之前的两个章节里介绍了基于采样一致的点云分割和基于临近搜索的点云分割算法.基于采样一致的点云分割算法显然是意识流的,它只能割出大概的点云(可能是杯子的一部分,但杯把儿肯定没分割出 ...

    1.  
    2. 随机推荐

        1. java之StringBuffer
        1. StringBuffer就是字符串缓冲区,用于存储数据的容器. 特点:长度可变,可存储不同类型的数据,最终转化成字符串使用,可以对字符串修改 功能: 添加:append(value), insert( ...

        1. Java 类和对象
        1. 主要参考文献:王映龙<Java程序设计> 一:类的语法 [修饰符]class<类名>[extends父类名][implements接口列表]{ //类体} 1:修饰符 可选值为 ...

        1. Linux下crontab详解
        1. 1.crond介绍 crond是Linux下的任务调度命令,让系统定期执行指定程序.crond命令每分钟都会检查是否有要执行的工作,若有要执行的程序便会自动执行. linux下任务调度工作主要分两类: ...

        1. ENVI/IDL中.sav和.pro文件用法的不同
        1. 软件envi5.0 sp3 .sav是IDL binaryfile。 安装方法:把ENVIProgramGenerator.sav文件拷贝到…\Exelis\ENVI50\extensions\文件夹 ...

        1. 深层次详解Exception
        1. 所有的异常类都继承自System.Exception类,当异常产生时,CLR将创建该异常类的实例对象,将从最底层依次寻找合适的异常类型,同时若存在catch语句时将会选择最合适的语句进行处理. cat ...

        1. iOS 基础 第三天(0807)
        1. 0807 成员变量作用域###### 如下图所示: 这里要注意手写的成员变量/实例变量默认的作用域是private,所以外部指针类型的对象无法直接访问,这起到一定的保护作用.但可以在当前类内部@imp ...

        1. struts2与velocity的整合有两种方式
        1. 1.以struts2为主.struts2内置了对velocity的支持,只要在<result name="success"?type="velocity" ...

        1. hadoop分布式安装教程(转)
        1. from:http://www.cnblogs.com/xia520pi/archive/2012/05/16/2503949.html 1.集群部署介绍 1.1 Hadoop简介 Hadoop是Ap ...

        1. ssh scp访问ipv6地址
        1. 从这里学来的.http://blog.mattandanne.org/2012/01/sftpscp-and-ipv6-link-local-addresses.html当采用ipv6的地址去连接另外 ...

        1. 使用Yeoman搭建 AngularJS 应用 (5) —— 让我们搭建一个网页应用
        1. 原文地址:http://yeoman.io/codelab/scaffold-app.html 基架 (Scaffolding) 在Yeoman中的意思是为基于你特殊的配置需求,为网站程序生成文件的工 ...