We use a representation for the spanning tree where a parent function maps non-root vertices to vertices. Two spanning trees are defined to be adjacent if their function representations differ at exactly one vertex. Given a graph
1970-2025 CP (Manitoba, Canada) unless otherwise stated.