You’re Wrong About Union-Find. It’s Actually an Array Problem.
Most programmers think union-find is a tree-based graph algorithm. But by reframing it through the Theory of Arrays, you reveal it as a simple array read/write pattern—making formal verification trivial and unlocking new insights. This article shows why the traditional view is missing the point.