Equivalence of two versions
Reporting version can be easily reduced to the optimization version.
Optimization version can be reduced to the reporting version by searching. Assume a function LBST(G,k) that returns a spanning tree of degree k if there is one, else returns null.
if T = null then k := k +1