Programación Entera: Ejemplo Prototipo (III)

Excepto por su tamaño pequeño, este ejemplo representa muchas aplicaciones reales de programación entera en las que las decisiones básicas que se toman son del tipo sí o no. Al igual que los dos pares de decisiones de este ejemplo, muchos grupos de decisiones sí o no constituyen grupos de alternativas mutuamente excluyentes tales que sólo una decisión de ese grupo  puede ser sí. Cada grupo requiere una restricción que obligue a la suma de las variables binarias correspondientes a ser = 1 (si exactamente una decisión de ese grupo de ser si) o   ≤ 1 (si cuando mucho una decisión en ese grupo puede ser sí). En ocasiones , las decisiones del tipo si o no son decisiones contingentes, es decir, que dependen de decisiones previas. En particular se dice que una decisión es contingente sobre otra si se permite que sea sí sólo si la otra es sí. Esta situación ocurre cuando una decisión contingente implica una acción que sigue a otra y que se vuelve irrelevante, y a veces imposible, si la otra decisión es no. La forma que toma siempre la restricción que resulta es la que se ilustra en la cuarta y quinta restricciones del ejemplo.