Maximum Leaf Spanning Tree Definition