Se llega por descarte a una (o varias) soluciones óptimas.