网络流24题

感觉自己网络流简直啥都不会，想做做这套题
（至于为什么省选前一天还在做这种垃圾题，我只能说一句无可奉告）
我不会说是因为已经准备好省选爆蛋辣

问题编号	问题名称	问题模型	转化模型
1	飞行员配对方案问题	二分图最大匹配	网络最大流
2	太空飞行计划问题	最大权闭合图	网络最小割
3	最小路径覆盖问题	有向无环图最小路径覆盖	网络最大流
4	魔术球问题	有向无环图最小路径覆盖	网络最大流
5	圆桌问题	二分图多重匹配	网络最大流
6	最长递增子序列问题	最多不相交路径	网络最大流
7	试题库问题	二分图多重匹配	网络最大流
8	机器人路径规划问题	(未解决)	最小费用最大流
9	方格取数问题	二分图点权最大独立集	网络最小割
10	餐巾计划问题	线性规划网络优化	最小费用最大流
11	航空路线问题	最长不相交路径	最小费用最大流
12	软件补丁问题	最小转移代价	最短路径
13	星际转移问题	网络判定	网络最大流
14	孤岛营救问题	分层图最短路径	最短路径
15	汽车加油行驶问题	分层图最短路径	最短路径
16	数字梯形问题	最大权不相交路径	最小费用最大流
17	运输问题	网络费用流量	最小费用最大流
18	分配问题	二分图最佳匹配	最小费用最大流
19	负载平衡问题	最小代价供求	最小费用最大流
20	深海机器人问题	线性规划网络优化	最小费用最大流
21	最长k可重区间集问题	最大权不相交路径	最小费用最大流
22	最长k可重线段集问题	最大权不相交路径	最小费用最大流
23	火星探险问题	线性规划网络优化	最小费用最大流
24	骑士共存问题	二分图最大独立集	网络最小割

---

然后开始题解部分辣

24、骑士共存问题

首先建图，直观的想法就是两个点如果成日字形，则连一条边
然后观察题目中给的图
发现它把图间隔染色了
为什么要染色呢，不染色好像也不影响题意啊
发现一个显而易见的性质，每条边的两个顶点一定不同色——二分图
于是就变成了套路题
二分图待权最大独立集
而且这道题中的所有点权均为1
怎么做呢？建立源点S，汇点T，二分图的点集分为X，Y，所有边的两个端点均一个在X中，另一个在Y中
S向X中的所有点连流量为1的边，Y中的所有点向T连流量为1的边，X与Y之间的边权值为无穷大
然后直接跑最大流，答案即为点数-流量

这样为什么是对的呢？
对于图中的每一个割，将割中所有边的两个端点均去掉，剩下的点就是一个符合条件的答案
证明：反证法：如果存在$u,v$，满足$u,v$之间成日字，且都未被删掉，则$S->u->v->T$即是一个流量为1的路径，所以原命题不成立
所以只要求最小割就可以了