飞行员配对方案问题

借助这道题目,讲一下所有最大流建模的思路

对于原问题的解集S和我们建模之后的网络的可行流集合T,我们需要证明sS,tT,|s|=|t|(前面一个绝对值符号表示s的值,后面一个绝对值符号表示t的最大流)且tT,sS,|s|=|t|(其实上面的证明方法也就是充分必要性证明)

那么对于二分图的建模见蓝书,来像上面证明一下,见黑书P429引理26.9

注意:其实在我们构造二分图的流的时候,有可能会构造出来一个流不是整数的流,此时没办法对应二分图;所以我们的可行流集合T要限定一下,规定是整数可行流,此时可以将ST一一对应;但黑书上的证明是基于有理数集合的,我们在FF的时候跑出来的最大流是可行流集合(而不是整数可行流)的的最优解,所以这个时候我们还需要证明跑出来的最大流是整数;由于我们Dinic过程中任意时刻maxflow都是整数而且最后没有增广路,所以得证(也就是黑书P430定理26.10)

posted @   最爱丁珰  阅读(16)  评论(0编辑  收藏  举报
相关博文:
阅读排行:
· 被坑几百块钱后,我竟然真的恢复了删除的微信聊天记录!
· 没有Manus邀请码?试试免邀请码的MGX或者开源的OpenManus吧
· 【自荐】一款简洁、开源的在线白板工具 Drawnix
· 园子的第一款AI主题卫衣上架——"HELLO! HOW CAN I ASSIST YOU TODAY
· Docker 太简单,K8s 太复杂?w7panel 让容器管理更轻松!
历史上的今天:
2021-09-02 对七夕祭每一维一定有合法操作的证明
点击右上角即可分享
微信分享提示