发现大多数人代码里都有这一句:
anss=worth[e]; worth[e]=worth[rev[e]]=0; s=s1,t=t1; anss+=Dinic();
但实际上可以直接写成:
s=s1,t=t1; anss+=Dinic();
因为汇点到源点的这条边不清的话,在重新跑最大流的时候一定会被统计进入答案。
应该只有上下界最小流需要清这条边吧?