(* The Minimum Cost Spanning Tree Problem *) <