用紫书上的第一种方法做的。
本来要找环使得分最大(即最大费用循环流),为了用最小费用流建模,就边权取反,然后找负环增广。(转换成最小费用循环流)
以下下有两个要点:
1、循环流没有最大流这个说法
事实上在算法运行时也只是找负圈,然后就对负圈进行增广,不存在源点与汇点,也不会对s-t进行增广,也就不会有所谓的最大流。
但其实算法运行完毕后是能够算出一个flow来的,这个flow叫啥我也不知道。但是最重要的是,这个flow是最小费用的副产品。即保证总费用一定最小,然后算出来的这个flow,这个flow却不一定是最大(嗯,后来仔细的想了想,其实flow就是增广的次数,因为可以反向增广,一个大负环也可能可以拆开重组成几个小负环,几个小负环也可能拆开拼凑成一个大负环,等等等等,但最终目的是为了让cost最小,所以这个flow没有任何意义,访问次序的不同导致多次拆合都可能会影响它的数值。)。而在最小费用最大流中,是优先满足flow最大,再满足cost最小。
2、找负环是Bellman-Ford的拿手好戏。
最小费用最大流寻增广路的方法就是Bellman-Ford,本意是为了在发现负环时及时退出。
我觉得就算是负环存在,也能找到最小费用最大流的。如:
u v cap cost
1 2 100 -1
2 1 100 -1
1 3 1 2
1->2->1就是一个负环。
而最小费用最大流是1->2->1->3.
费用为0,流量为1。