dfs binary tree aldous-border prims kruskals hunt and kill Generate Solver