有起点终点的限制的路径覆盖首先tarjan缩点成DAG似乎不能按照二分匹配的做法做那么建立源汇拆点i,i',这两点之间连一条下界为1上界无穷的边,其它边都是下界为0,上界正无穷然后就是有源有汇的最小流,之前在bzoj2502介绍过 ; type node=record po,flow,next:longint; end; ..] of node; be,p,q,c,dfn,low,cur,a,b:..] of longint; v,f:..] of boolean; na,nb,h,ss,tt,…