A little (very) off-topic! I'm a computer scientist and this is my homepage:
cs.tau.ac.il/~orzamir - I wanted to add the following easter-egg (click on the elevator at the bottom)
cs.tau.ac.il/~orzamir/index_el.html and I'm not sure if it will make it look to unprofessional or anything like that? opinions? :P
I want to show that the output spanning tree $S$ of Kruskal's algorithm is a minimum spanning tree, so it is of minimum weight, by contradiction.
We suppose that $S$ is not a minimum spanning tree.
Let $T$ be a spanning tree which has the minimum weight.
How can I go on to get a contradicti...
