A short proof of Oblakov's theorem
arXiv:2608.22585
Abstract
We give a short proof that for a given planar set of terminals there is at most one locally minimal tree with prescribed directions at (i.e. two locally minimal trees cannot coincide in ). The new ingredient is a combinatorial result which says that a certain embedding of a bipartite cubic graph has the same numbers of balanced and unbalanced vertices.