推 Usoul:原始input档中是一个 flow network，不是 flow 05/24 23:01
→ Usoul:label of edge 代表 capacity 而非 flow 05/24 23:02
→ Usoul:所以在生成 max flow 时，必须指定 source&sink 05/24 23:03
→ Usoul:用不到的 node 在产生 flow 时就会被删掉 05/24 23:03
→ Usoul:ex: write_max_flow –s v0 -t v99 -o dg100_mf.dot 05/24 23:05
→ Usoul:这个指令生成的 dg100_mf.dot 中就没有 v13 这个 node 了 05/24 23:05
is_flow这个指令我还是有点疑问
看了讲义和课本 一个flow的定义只需要符合capacity constraint和conservation
并没有规定flow的source和sink需具备什么特性
所以除了检查以上两个property
似乎不需要用到source和sink
那么在写这个指令的时候输入的source和sink又有什么用呢？

原始input档中是一个 flow network，不是 flowlabel of edge 代表 capacity 而非 flow所以在生成 max flow 时，必须指定 source&sink用不到的 node 在产生 flow 时就会被删掉ex: write_max_flow –s v0 -t v99 -o dg100_mf.dot这个指令生成的 dg100_mf.dot 中就没有 v13 这个 node 了

因为source & sink不会符合conservation law

原来如此 那这样如果is_flow给的source和sink和原本的flow networks所指定的source和sink不相同也没有关系吗？意思是说只要排除is_flow给的那两个node之后 检验其他node都符合conservation law就可以了吗？(当然还有capacity constraint)

从定义上来说 应该无所谓吧~

请问一下 is_flow file中 digraph dg#_mf { #会等于vertex最大index+1吗?(不管是否有flow流过该vertex)还有is_flow只要检查读进来的graph是flow就好？还是要为原来 read -d 读进来digraph的flow?

1. 不能这样假设 2. 必须是原图的 flow