在扫描过程中一旦扫描到一个子串01数量相等了，这个时候肯定是已经递归回到根节点了，因为从根节点下去的一步操作给了一个0，而这个0一定要从这条边回到根节点才能产生一个1与其匹配（这个1不可能来自其他边的回溯，因为其他边的回溯的前提就是之前从这条边下去了，就会产生一个0,，这个0就要与这个边回溯产生的1匹配），所以就可以断开了
对同构的树来说，产生的最小表示串肯定是相等的
如果给定了最小表示串，我们能画出来的树也是唯一的（同构）
所以这是充要条件
标签：tree,system,回溯,条边,POJ1635subway,节点 From： https://www.cnblogs.com/dingxingdi/p/17964161