Maximum Leaf Spanning Tree Math