Probabilistic Methods in the Design and Analysis of Algorithms