Minimum Spanning Tree Problem
We are given a connected, undirected graph where each edge in has an associated edge weight which may be negative. A graph theoretic tree is a graph that is acyclic and connected.
A spanning tree of is a subgraph of that is a tree. It is convenient to identify with its edge set. It is easy to prove that all spanning trees of have cardinality .
The weight of a spanning tree is defined as .
A minimum spanning tree (MST) of is a spanning tree of of minimum weight.