If all the edge weights of an undirected graph are positive, then any subset of edges that connects all the vertices and has minimum total weight is a
A. Hamiltonian cycle
B. grid
C. hypercube
D. tree
GATE 2006 · Discrete Mathematics · Graph Connectivity · medium
Answer: tree
Prove by contradiction that the connector is acyclic: Suppose minimum-weight spanning connector S contains cycle C. Pick any edge e in C. Since w(e) > 0, removing e gives S - {e} with strictly lower total weight. S - {e} is still connected (the rest of C provides a path between e's endpoints). This contradicts the minimality of S. Therefore S has no cycles.
Conclude S is a tree: S is connected (spans all vertices by assumption) and acyclic (step 1). A connected acyclic graph is by definition a tree. Options A (Hamiltonian cycle), B (grid), C (hypercube) all contain cycles. Option D (tree) is correct.