درخت پوشای کمینه (MST) در گراف وزن‌دار و همبند با n گره، n-1 یال دارد، همه‌ی گره‌ها را وصل می‌کند، دور ندارد و کمترین وزن کل را دارد. الگوریتم Kruskal یال‌ها را مرتب می‌کند و هر یالی که دور نسازد اضافه می‌کند؛ این بررسی را union-find انجام می‌دهد.