双连通分量图:max(p,q); p 起点 q 终点
判定: dfn[u] < low[to] 边双连通分量图: (cnt + 1) / 2;
判定:1:dfn[u] <= low[y]2: (1) u 不是根节点 √(2) u 是根节点 存在两个以上符合要求的yi