有个问题，在用强连通分量判断完是否有解后，选择拓扑序大的为什么一定不会冲突，有没有可能比如说x拓扑序比较大的那个强联通分量里有y拓扑序比较小的那个状态