Minimum Spanning Tree Uniqueness

Pairwise-distinct edge weights force a single MST; uniqueness fails exactly when some cycle has a non-unique heaviest edge (a tie), so ties — not the cheapest edge — decide the count.