Random alteration method (source code)

= Random alteration method
{wiki=Probabilistic_method#Alteration}

The random alteration method samples a random object and then deletes a small number of offending elements. If few forbidden configurations occur while the desired global property already holds, the altered object witnesses existence.