The plane spanning tree flip graph of a finiteset of planar points has one graph
vertex for each spanning tree drawn on the points by line segments that
meet only at shared endpoints. Two such trees are adjacent
when deleting one graph edge and inserting another
transforms one tree into the other (Aichholzer et al.
2024, 2026). This operation is called a flip. The flip distance between two trees is their graph distance
in the flip graph.
Aichholzer, O.; Ballinger, B.; Biedl, T.; Damian, M.; Demaine, E. D.; Hesterberg, A.; Korman, M.; Lubiw, A.; Lynch, J.; Tkadlec, J.; and Uno,
Y. "Reconfiguration of Non-Crossing Spanning Trees." J. Comput. Geom.15,
224-253, 2024. https://doi.org/10.20382/jocg.v15i1a9.Aichholzer,
O.; Dorfer, J.; Kramer, P.; Rieck, C.; and Vogtenhuber, B. "Counterexamples
to the Happy Edge Conjecture in Plane Spanning Trees." 3 Nov 2026. https://arxiv.org/abs/2611.05300.