【总结】网络流建模汇总-泛做&补充

网络流建模汇总by Edelweiss
网络流比较考思维，一般来说只要建模正确，就可以直接连边套模板了。
(加*的都是感觉比较经典/巧妙的题)

---

最大流

---

*POJ1149PIGS

把猪圈每天都拆出一个点。

点数是$nm$级别的，考虑优化最原始的连边：

哪些点是等价的呢？又有哪些边是没用的呢？

• 点：流量的来源/去向完全相同，或者连边$(u,v,+\infty )$且$v$仅有$u$这一个流量来源。
• 边：合并后的两点之间的多条边(可以由一条总流量大小的边替代)

经过复杂的整理之后(过程略)，得到简化模型：

• 每个顾客是一个结点，均向汇点连一条容量为购买上限的边。
• 源点向所有猪圈的第一个顾客容量为相应数量的边。若多个猪圈指向同一个顾客，只用连一条容量为总数量的边。
• 对于每个猪圈，假设有$n$个顾客光顾过，则第$i(1\le i<n)$个顾客向第$i+1$个顾客连一条容量为$+\infty$的边。
  (顾客之间的连边还可以简化/缩点，但过于麻烦且没有必要)

点数是$n$级别的。
(形式上很优美)

---

POJ1637Sightseeing tour

当且仅当图中所有点入度=出度时存在欧拉回路。

首先随便给无向边定向，求此时每个点的出度-入度的值$d_i$。若$d_i$为奇数，则无解(欧拉回路中不能存在总度数为奇数的点)。所以所有$d_i$都为偶数，设$x_i=\frac{d_i}{2}$，对于点$i$，只要将连向它的$x_i$条同向的边改成另一个方向即可。

问题转成了改变一些边的方向，使得每个点入度=出度，考虑构图：

• 若$d_i>0$，连边$(S,i,d_i)$；若$d_i<0$，连边$(i,T,-d_i)$
• 仅保留图中任意定向后的无向边(删去原来的有向边)，且每条边容量为1。

考虑流过这条边相当改变了这条边的方向，最后检查是否满流即可。

---

POJ2391Ombrophobic Bovines

构图：

• 拆点(每个点拆为入度$i$和出度$i^{\prime }$)。源点向$i$连容量为$A_i$的边，$i^{\prime }$向汇点连容量为$B_i$的边。
• 先求出两两之间最短距离，二分时间$mid$，每次只连$dis(i,j)\le mid$的边($i,j^{\prime },+\infty$)，判断是否满流。

注意不拆点是错的：
$(i,j),(j,k)$连边而$dis(i,k)>mid$但此时$i$可以流到$k$，所以连接$(i,j)$时必须要强制$j$就是终点，所以要拆点把入度出度分开。

---

POJ2699The Maximum Number of Strong Kings

原文有点问题：
strong king并不一定是最大的$k$个，但最大的$k$个是strong king一定是合法的(证明略)。

$n\le 10$，考虑枚举strong king的个数$k$，将选手按得分降序排序后选择前$k$个：

• 每个选手看做一个点$i$，连边$(i,T,scor{e}_i)$，若$i$为strong king，则再拆出一个点$i^{\prime }$，连边 ( i ′ , i , k t h i ) (i&#x27;,i,kth_i) (i′,i,kth