1. Does Kruskal's algorithm work correctly on graphs that have negative edge weights?
2. Design an algorithm for finding a maximum spanning tree-a spanning tree with the largest possible edge weight-of a weighted connected graph.
3. Rewrite pseudocode of Kruskal's algorithm in terms of the operations of the disjoint subsets' ADT.
4. Prove the correctness of Kruskal's algorithm.