Job-shop scheduling

En un problema shop-job sheduling n trabajos deben ser procesados

por m maquinas. Cada trabajo tiende a visitar todas las maquinas
siguiendo un especifico orden. El tiempo de cada trabajo requerido en
cada maquina depende del trabajo y de la maquina. Los trabajos no
pueden solaparse en las maquinas y ningn trabajo puede ser
procesado al mismo tiempo en dos o mas maquinas.

 :
:

:
:
:

El conjunto de trabajos J son particionados en dos subconjuntos J1 y J2,

conteniendo todos los trabajos procesados en las maquinas M1 y M2.
Se asume que los trabajos son procesados de acuerdo al orden de
Jakson: los trabajos de J1 preceden a los de J2 en M1. Para M2 los
trabajos de J2 se realizan antes que los de J1 .
Los conjuntos J1 , J2 son agendados de acuerdo a las reglas de Johnsons
dentro de los dos conjuntos todos los trabajos Ji con 1 12 son
secuenciados en no-decreciente orden de 1 , mientras el resto, con
1 > 12 , son agendados en no-decreciente orden de 2

Todos los trabajos iniciales tienden a ser secuenciados en el orden de

Jackson, para algn subconjunto de trabajos iniciales 1 2 en una
solucin optima.
Se asume que el primer trabajo de ambos conjuntos 1 y 2 inician
en el tiempo cero en las maquinas M1 y M2, respectivamente.

Posibles escenarios
: Conjunto de trabajos con tareas parcialmente terminadas en la
fecha de entrega, o con finalizacin posterior.
Casos:
= { , }
= { }
= {}

Para un particular , se reenumeran los trabajos restantes \ en el

orden de Jackson obteniendo la secuencia: = 1 , , , , +1 , ,
donde 1 , , 1 \ , +1 , , 2 \ , u denota el numero de
trabajos con la primera tarea en M1, y denota el numero de trabajos
a ser agendados.

Para encontrar una solucin optima del problema, debemos analizar

todos los posibles conjuntos de trabajos con tareas parcialmente
terminadas . Para un particular conjunto , calculamos las
condiciones inciales (+1 ) determinando la cantidad de peso del
primer trabajo correspondiente a este conjunto.

Esquema general de una solucin optima del problema J2|di | Yw

Condiciones de frontera.
+1 (, 1 , 1 , , 2 , 2 ), donde = |\ |.
La funcin +1 denota la mxima cantidad del peso de los primeros
trabajos siempre que el la primeras tareas del trabajo inicia
exactamente en el tiempo A en M1, y exactamente en el tiempo B en
M2. Si estas no son la primer tarea en M1 y M2, entonces la ejecucin
de la tarea parcialmente terminada en esta maquina puede iniciar en
algn tiempo despus de A,B, respectivamente. Hay exactamente
1 2 unidad de las primeras tareas y exactamente 1 2 unidades
de tareas terminadas parcialmente en las maquinas M1 y M2,
respectivamente.

Casos:
= ,
Este conjunto contiene dos trabajos.
Dependiendo del tipo de trabajo,
se analizan cuatro subcasos.

1 , 1

 1 , 2

 2 , 2

 2 , 1

 = { }
Este conjunto solo contiene un conjunto, por lo tanto solo se tiene dos
subcasos.

Relacin de recurrencia
Caso 1
= , , + 1
Para trabajos 2 \ ,primero procesa en M2 entonces en M1,
, 1 , 1 , 1 1 , , , 2 , 2 , 2 2 denota la mxima cantidad del peso del primer trabajo de los
trabajos { , , } siempre que:
- El primer trabajo de este conjunto inicie procesando exactamente en el tiempo B en M2 y no
antes que el tiempo A en M1.
- Hay exactamente 2 unidades de tiempo en el intervalo [B,d] reservadas para agendar la segunda
tarea de los trabajos de 1 \ en el siguiente estado(no se agenda en M2).
- Hay exactamente 1 unidades de tiempo en el intervalo [B,d] reservadas para agendar la segunda
tarea de los trabajos de 2 \ en M2.
- Las primeras tareas de los trabajos retrasados de { , , } son procesados exactamente
2 unidades de tiempo en M2 antes de d y exactamente 2 unidades son reservadas en M2 antes
de d para las primeras tareas de trabajo atrasado de 2 \ para i<k.
- Hay exactamente 1 , 2 unidades de tareas parcialmente terminadas en M1, M2.

F: denota el tiempo de finalizacin asumido del ultimo primer trabajo de 1 \ en la siguiente

etapa.

Relacin de recurrencia

Para los trabajos 2 \ , donde = , , + 1 :

La relacin de recurrencia para el ultimo trabajo del conjunto

2 \ es formulada como:

Relacin de recurrencia
Caso 1
= , , 1
Para trabajos 1 \ ,primero procesa en M1 entonces en M2,
, 1 , 1 , 1 1 , , , 2 , 2 , 2 2 denota la mxima cantidad del peso del primer trabajo
de los trabajos { , , } siempre que:
- El primer trabajo de este conjunto inicie procesando exactamente en el tiempo A en M1
y no antes que el tiempo B en M2.
- Hay exactamente 1 unidades de tiempo en el intervalo [A,d] reservadas para agendar la
segunda tarea de los trabajos de 2 \ en el siguiente estado(no se agenda en M1).
- Hay exactamente 1 unidades de tiempo en el intervalo [B,d] reservadas para agendar la
segunda tarea de los trabajos de 1 \ para i<k en M2.
- Las primeras tareas de los trabajos retrasados de { , , } son procesados
exactamente 1 unidades de tiempo en M1 antes de d para las primeras tareas de trabajo
atrasado de 2 \ para i<k.
- Hay exactamente 1 , 2 unidades de tareas parcialmente terminadas en M1, M2.

Para los trabajos 1 \ , donde = 1, , 1 :

Para el trabajo