YBTOJ 二分图 & 网络流合集

zcxxn

已于 2024-07-11 14:51:36 修改

阅读量182

点赞数 4

分类专栏： YBTOJ 文章标签：算法

于 2023-01-31 13:13:30 首次发布

本文链接：https://blog.csdn.net/zcxxn/article/details/128808600

版权

YBTOJ 专栏收录该内容

10 篇文章 1 订阅

订阅专栏

收录 ybt 上亿些（怎么好像是全部）我永远也想不到的神仙二分图/网络流建模。

部分见这里

游戏

传送门

首先黑白染色将其变成二分图。

从特殊入手，先考虑完全匹配的情况，这时发现先手将棋子放在任意一个点，后手都可以将它移到完全匹配中当前点所对应的点上，最后先没有点可走的一定是先手，先手必败。

推广到一般情况，将二分图中的点分成删掉它后最大匹配数变/不变两类，容易发现一条边连接的两个点一定不同属于第二类。如果先手从第二类点开始，后手只能将棋子移到第一类点上，使自己变为特殊情况中的先手，后手必败。

然后就是快速求出所有第二类点的问题：先任意找一种最大匹配，不在当前最大匹配中的点一定是第二类点。从每个已经确定的第二类点 $x$ 出发，找对面在最大匹配中的点 $y$ ，则最大匹配中 $y$ 对应的点 $z$ 也是第二类点，因为 $(y, z)$ 一定可以被替换为 $(y, x)$ 。

祭祀

传送门

Dilworth 定理：一个偏序集中的最长反链长度 = 最小不可重链覆盖。

推广到 DAG 上即为最长反链长度 = 最小可重链覆盖，于是类似 floyd 地求出传递闭包，就又转化为了最小不可重链覆盖。

没有二分图就创造二分图，把每个点拆成入点和出点，就变成了最大独立集问题，就可以求出最长反链长度 $an s$ 。

原题还要求一种构造方案和所有可能出现在最长反链上的点。先考虑第三问，每次强制一个点 $x$ 选入反链，则和它有偏序关系的点都不能选入反链。若 $x$ 在最长反链上，去掉这些点跑二分图得到的新最长反链长度就应该是 $an s - 1$ ；再考虑第二问，在求得的点集里每次令从前往后找到的第一个点在最长反链上，删除集合里跟它有偏序关系的点就好了。

消毒问题

传送门

不要成为黑白染色魔怔人啊（）

考虑二维的情况，每次花费 $1$ 的代价消除一整行或一整列一定最优，可以用最小点覆盖解决；三维的情况类似，每次消除一个横着或竖着的面一定最优，但我们不能三分图匹配，怎么转成二分图呢？ $nmk\le 5000$ 可以得到 $\min(n,m,k)\le 17$ ，这个数据范围就支持状压枚举哪些横着的面被消除，剩下的面就变成二分图了，很巧妙。

炮塔攻击

传送门

横向和纵向的炮塔之间需要决策，就提示我们要把答案转成 $t o t -$ 最小割。

$t o t$ 的含义是什么？~~如果觉得是常见的敌人总数，那就废了~~。题中最好的结果是每个炮塔都能打到它能攻击到的值最大的点 $m x$ ，可以考虑令 $t o t$ 为这些 $m x$ 之和，发现 $m x$ 之后的点一定不参与决策，而选择 $m x$ 之前的点 $v a l$ 的断边代价就是 $m x - v a l$ 。又因为只有横向和竖向之间需要决策，容易想到拆点并在拆出的两个点之间连边 $in f$ 表示一定只能选一边。

那么具体的建图就是：

对于一个横向炮塔 $p$ ，在拆出的横点上连接 $(s, p, in f)$ ，每次从当前点 $u$ 向炮塔方向上的下一个点 $v$ 连边，由于这条边割断表示选 $u$ ，所以连的就是 $u,v,mx-val_u)$ （令 $val_p=0$ 来表示不选）；
对于一个竖向炮塔 $p$ ，在拆出的竖点上连接 $(p, t, in f)$ ，每次同样从当前点 $u$ 向炮塔方向上的下一个点 $v$ 连边 $v,u,mx-val_u)$ 。

然后跑最小割就行了。

软件开发

传送门

为了避免变量重名以下每天毛巾需求数为 $c_i$ ，AB 方式处理所需时间分别为 $t a, t b$ 。

首先显然是拆点，将一天拆成早上 $i$ 和晚上 $i + n$ ，个人感觉难点是如何保证最小费用的方案对应的是最大流？首先连 $s,i,c_i,0)$ 和 $i+n,t,c_i,0)$ 来限制流量；每天购买的毛巾可以直接给到晚上表示在这一天使用完，即连 $(s, i + n, in f, f)$ ；第 $i$ 天用的毛巾用 A 方式处理后可以贡献给第 $[i + t a + 1, n]$ 天，显然不能全连上，但可以通过连接 $(i, i + n, in f, 0)$ 表示每天可以把毛巾留给下一天，就只需要连 $(i, i + t a + 1 + n, in f, f a)$ 了，B 方式同理。

放置棋子

传送门

看完题解：卧槽。

首先显然要令点 $i$ 表示第 $i$ 行， $i + n$ 表示第 $i$ 列。容易想到枚举新放的总棋子个数，然后发现怎么也无法表示第 $i$ 行和第 $i$ 列数量相等的限制。

于是换一个东西枚举：枚举每行最多放置的棋子个数 $l im$ ，即连接 $(s, i, l im, 0)$ 和 $(i + n, t, l im, 0)$ 来限制流量，然后每一行向每一列连边，其中要区分必须放的边和可以放的边，就需要引入费用，如果跑最大费用最大流的话，那就设置必须边的费用大于可放边的费用。又因为要知道选了几条可放边，所以可以设必须边费用为 $1$ ，可放边费用为一个大于 $n^2$ 的值 $q a q$ ，选出的必须边数量即为 $cos t / l im$ ，可放边数量为 $cost\% lim$ 。

然后考虑第 $i$ 行和第 $i$ 列数量相等的限制，方法是连接 $(i, i + n, in f, 0)$ 。这是因为这样构建的图合法情况下最大流一定是 $n\times lim$ ，因为想要最大费用，所以一定在所有必须边和可放边跑完之后才会跑 $(x, x + n)$ ，这些流量 $w$ 都是被剩下的。而 $x$ 的流入流量和 $x + n$ 的流出流量都是 $l im$ ，被使用的流量都是 $l im - w$ ，从而保证了相等。

数字配对

传送门

发现一个性质：设 $c_i$ 为 $i$ 的质因数指数和，若 $c_x$ 和 $c_y$ 奇偶性相同，则 $(x, y)$ 一定不可以配对。那么久可以考虑二分图型的建模，即 $c_{a_i}$ 为奇数的和起点连边 $s,i,b_i)$ ，为偶数的和终点连边 $i,t,b_i)$ ，可以配对的 $i$ 和 $j$ （ $c_{a_i}$ 为奇数）之间连边 $(i,j,inf,c_i\times c_j)$ 。