保证这个东西有解。直觉是tarjan扫一遍，按树边返祖边建。
但是不会证，也举不出反例来。