Design an algorithm that generates a maze that contains no path from start to finish but has the property that the removal of a prespecified wall creates a unique path. Prove that Kruskal’s algorithm is...

Design an algorithm that generates a maze that contains no path from start to finish but has the property that the removal of a prespecified wall creates a unique path. Prove that Kruskal’s algorithm is correct. In your proof do you assume that the edge costs are nonnegative?