Restricciones Uno - u - otro y Si - entonces

En el problema de cargo fijo, se utilizan variables binarias auxiliares para manejar la

discontinuidad en la función de costo objetivo. Esta sección se ocupa de modelos en los
que las restricciones no se satisfacen al mismo tiempo (Uno - u - otro) o son dependientes
(Si - entonces), utilizando de nueva cuenta variables binarias auxiliares. La
transformación utiliza un artificio matemático para presentar la restricción especial como
restricciones “and” (“y”).

El objetivo del problema es determinar la secuencia de los trabajos que minimice la

penalización por retraso en el procesamiento de los tres trabajos.

Defina:

xj = Fecha de inicio en días del trabajo j (medida a partir del tiempo cero)

1, si i precede a j
yij = e
0, si j precede a i

El problema tiene dos tipos de restricciones: las restricciones de no interferencia (que

garantizan que no se procesen dos trabajos al mismo tiempo) y las restricciones de fecha
límite. Considere primero las restricciones de no interferencia.

Dos trabajos i y j con tiempo de procesamiento pi y pj no se procesarán al mismo tiempo

si (dependiendo de qué trabajo se procese primero)

Con M lo bastante grande, las restricciones “o” se transforman en restricciones “y” por
medio de

La conversión garantiza que sólo una de las dos restricciones puede estar activa en
cualquier momento. Si yij = 0, la primera restricción está activa, y la segunda es
redundante (porque su lado izquierdo incluye a M, la cual es mucho mayor que pk). Si yij
= 1, la primera restricción es redundante, y la segunda está activa.

A continuación, dado que di es la fecha límite para el trabajo j, el trabajo se retrasa si xj +

pj > dj. Podemos utilizar dos variables no negativas sj- y sj+ , y para determinar el estado
de un trabajo j completado con respecto a su fecha límite, es decir, la restricción de fecha
límite puede escribirse como:

xj + pj + sj- - sj+ = dj

El trabajo j se adelanta si sj- > 0, y si se retarda sj+ > 0. El costo de penalización por retraso
es por lo tanto proporcional a sj+.

El modelo del problema dado es