Randomized rounding (source code)

= Randomized rounding

A method turning a solution of a continuous optimization relaxation into a random feasible solution of a discrete problem. An expected objective bound can give an approximation guarantee. <Gaussian hyperplane rounding> and <Rademacher rounding for a semidefinite relaxation> are different examples.