Written on the Wall II, Graph Conjecture 2
Prior state unknown→proved
For a finite connected graph $G$, let $L_s(G)$ be the maximum number of leaves in a spanning tree and $\ell(G)$ the average local independence number. Must $L_s(G) \ge 2(\ell(G) - 1)$?
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review