A probabilistic method to convert a solution of a relaxed problem into an approximate solution to the original problem.