网络流建模的过程实际上是找到流与方案的对应关系的过程,找到了这种对应关系后,用如下方法检验这个关系是否正确。
网络流模型正确 当且仅当
(1)可行方案 等价于 可行流(满足流量守恒的流)
*注意:如果用增广路的性质建模,可以用归纳法,先看初始流是否是一种可行的方案,假设增广前是一种可行方案,证明增广后的方案可行,然后证明可行的方案都是可行流。
(2)最优方案 等价于 最优流(最小费用流、最大流等)
以上只是笼统的概括,看似简单,实际上要多在题目中实践才能掌握。
网络流模型正确 当且仅当
(1)可行方案 等价于 可行流(满足流量守恒的流)
*注意:如果用增广路的性质建模,可以用归纳法,先看初始流是否是一种可行的方案,假设增广前是一种可行方案,证明增广后的方案可行,然后证明可行的方案都是可行流。
(2)最优方案 等价于 最优流(最小费用流、最大流等)
以上只是笼统的概括,看似简单,实际上要多在题目中实践才能掌握。
这是从LZY的总结中学的:http://www.cppblog.com/MatoNo1/archive/2012/05/11/174440.html
他暂时没有写最小割的建模方法,实际上最小割的建模看这个就OK了:http://wenku.baidu.com/link?url=kKksm2_uvZ-svX7WGMSWXrNCzXi6fafYT3gNQd_nAN2oXL0TmajsRju44ujeH3pS1g1eY-5HFrlZ1sLipHWFWSbiOiEuLjbUDvWLesnIHz7