• partition(tree,i): re-arrange tree so that element with index i becomes root

For tree with n nodes, indices are 0 .. n-1