Kruskal Minimum Spanning Tree: When to Use It

Start with the idea

A problem is a good match for Kruskal Minimum Spanning Tree when it asks for minimum spanning forests and sparse edge lists. Here the concrete task is: Return the MST edge weights in chosen order. The visible input edges=0-1:1,0-2:4,1-2:2,1-3:5,2-3:3 is an example, not a definition of the whole problem. Ask what operations the solution must support and what the input guarantees. Inspect weight signs and graph direction: non-negative shortest paths, negative edges, and zero-one weights support different algorithms. The right choice follows from those guarantees, not from a familiar noun in the prompt.

The decisive invariant is: Sort edges and add one only when union-find says it joins different components. Try to say why it applies to the task without quoting the implementation. Which fact becomes known after one update, and which possible answers remain? Edge weights change what a path means. State whether the objective is minimum distance, a spanning structure, or feasible flow before choosing state. If that claim cannot be maintained on a legal input, the pattern is wrong or one of its preconditions is missing. A counterexample is more useful than a vague warning: change one property of the sample, trace the first two steps, and identify the exact claim that fails.

Compare costs before committing. The advertised bound is O(E log E) time · O(V) DSU space; identify the operation responsible for it and the extra memory it needs.