大概是这篇 : Link
不是很能理解双射那个地方 . 它只证明了可以把操作映射到有边顺序的有标号无根树上 , 但是感觉第一没有必要除掉 (n−1)!(n-1)!(n−1)! 因为自身有序 , 第二并不是任何一棵边有顺序的有标号无根树就可以确定一个操作 , 因为我们断环的时候保留的部分有一定顺序性 , 乱合并可能不合法 .
求大佬指导 ...