A cada conjunto formula_2 que satisfaga las restricciones se le suele denominar prometedor, y si este además logra que la función objetivo se minimice o maximice (según corresponda) diremos que formula_2 es una "solución óptima".