Before revision:  Our key ingredient is a bipartition compatibility criteria based on amortized-time leaf counters  ]  .
After revision:  Our key ingredient is a bipartition compatibility criteria based on amortized-time leaf counters . While this is an improvement, the fastest solution is an algorithm by Jansson, Shen, and Sung ] .