randomized contraction algorithm