1. Edmonds Karp 算法中，如何证明只要网路中没有增广路，就能得到网络的最大流？即有没有可能按不同的顺序增广网络中的增广路最后得到的流的大小不一样？
2. Edmonds Karp 算法中，用了添加反向边来实现一种类似于反悔贪心的操作，但是为什么这样整个网络中不会有可能一直存在增广路，因为既有边在加容量也有边在减容量。

求较为严格的证明的过程，或者指个链接qwq