randomized contraction