Let G be undirected graph, G=(V,E), and all edge weights are distinct. Consider an edge e=(u,v)∈E that wasn't included in the solution obtained from applying Kruskal Algorithm to G. Prove that this edge isn't in any Minimimum Spanning Tree of G.
$\begingroup$
$\endgroup$
Without additional assumptions about the edge weights that's false. A simple counterexample is a triangle graph where all edge weights are equal.
"
)). $\endgroup$ – greybeard Sep 7 '20 at 14:17