graph_theory, kruskal