TAMAO DE LA FUERZA DE TRABAJO Y PROGRAMAS DE CAMBIOS SOLO CON DEMANDAS VARIABLES * R. N. QUEMADURAS Y M. W.

Carter School of Business de la Universidad de Queen en Kingston , Ontario , Canad K7L 3 N6 En los ltimos aos , las negociaciones laborales para las organizaciones de los siete das de la semana , como hospitales , las empresas mineras y las industrias qumicas se ha observado un mayor nfasis en la mejora de cambiar los horarios. Este documento ofrece una cota inferior exacta el nmero de trabajadores necesarios para satisfacer dichos compromisos contractuales primarias como garantizar que cada trabajador reciba por lo menos Una de cada B fines de semana libres , todo el mundo trabaja exactamente cinco das a la semana, y no se trabaja ms de seis das consecutivos . El modelo es dirigida en general, que permite que el nmero de los trabajadores necesitan cada da para variar. La prueba de que el lmite es el mejor posible es constructiva . Un algoritmo de tiempo lineal se presenta que genera horarios que cumplan todos los objetivos primarios. Extensiones de discutir los medios de incorporar los objetivos secundarios, como dando pares de das adyacentes fuera . ( LABORAL , DE ORGANIZACIN Planificacin de Estudios - MANPOWER ; PRODUCCIN / PROGRAMACIN ) 1 . introduccin Al hacer frente a una formulacin general del problema solo turno este artculo extiende el trabajo anterior en el campo , mientras que al mismo tiempo simplifica las soluciones obtenidos para los casos especiales que han aparecido en la literatura. Brownell y Lowerre ( 1976 ) consider que los problemas con las demandas fijos de lunes a viernes y fines de semana . Bums ( 1978 ) presentan una solucin para el problema de demanda variable donde cada uno empleado debe ser dado uno de cada dos fines de semana libres . Baker, Burns, y Carter ( 1980 ) examinado el caso con una demanda diaria de lunes a viernes fija, un fin de semana fija diaria demanda , y cualquier A de B fines de semana libres . En este trabajo se estudia un caso ms general donde las demandas pueden variar de da a da, en un ciclo semanal , y cada empleado es para tener al menos un fin de semana en un ciclo de semanas B . El problema abordado no es slo de naturaleza terica , sino que incluye la mayor parte de la tecla cambiar las restricciones laborales existentes en los contratos laborales de los campos como la salud trabajadores o trabajadores de minas . El nmero mximo de das trabajados en forma consecutiva es seis, y se reduce al mnimo el nmero de tramos de seis das . Ejemplo 4.2 demuestra que el Se requiere tramo de trabajo de seis das para algunos problemas . Cada trabajador funciona exactamente cinco das en cada semana y el nmero mnimo de trabajadores se utiliza .

La solucin al problema general planteado en el presente documento tiene tres resultados clave . la primero es que hasta ahora todos los problemas cclicos fueron abordados por dar un cclico o " rotacin maestro" horario. Anterior autores han utilizado ya sea una programacin matemtica formulacin ( Miller et al . 1976 ) o heurstica ( Smith 1976 ) . Una ms detallada encuesta se realiza de Tien y Kamiyama ( 1982 ) . El algoritmo que aqu se presenta es iterativo , no cclica , y no " giro maestro" se producir . El enfoque tiene implicaciones de largo alcance para el campo de la programacin y estos sern tratados en el 5 . El segundo resultado clave consiste en tres saltos intuitivos inferiores del mnimo fuerza de trabajo. El artculo muestra que, incluso para un problema muy general de los lmites que restringir el tamao mnimo de la fuerza de trabajo son no slo necesarias , pero suficiente. La Aceptado por David G. Dannenbring ; Recibido el 4 de marzo de 1983. Este trabajo ha sido con los autores 7 600 R. N. QUEMADURAS Y M. W. Carter gerente, contemplando las demandas cambiantes o la frecuencia de fines de semana, puede calcular el tamao real de la fuerza laboral algebraica sin tener que tratar de producir horarios para ver si el nmero de trabajadores ser suficiente . El tercer resultado clave es que al dar un algoritmo constructivo para probar la suficiencia de los lmites inferiores de un algoritmo muy simple para la programacin de cambio es producido . El trabajo en este trabajo se presenta en varias secciones. En la siguiente seccin, una menor encuadernado W , del tamao de la fuerza de trabajo se calcula . En la tercera seccin , un algoritmo se da que los horarios fuera de los fines de semana y das libres para una plantilla de tamao W. En el cuarta seccin , un nmero de ejemplos ilustran la flexibilidad del algoritmo . varios extensiones importantes y las implicaciones de la teora presentada en este documento son discutido en 5 . 2 . Notatran y lmites inferiores El problema especfico considerado en este trabajo se puede afirmar lo siguiente: Busque el nmero mnimo de empleados , W , necesario para cubrir una siete das a la semana funcionamiento de modo que las siguientes limitaciones principales estn satisfechos : ( a) la demanda por da , , y = 1,2 , . . . , 7 , n , siendo la demanda de este domingo se cumple ; ( b ) cada empleado se le da al menos una de cada fin de semana fuera de B ; ( c ) que cada empleado trabaja exactamente 5 de los 7 das ( de domingo a sbado) ;( d ) que cada empleado trabaja ms de 6 das consecutivos. Bums ( 1978 ) ha demostrado que el perodo de pago siempre se debe elegir de domingo a Sbado y presenta un ejemplo que demuestra que el mnimo mano de obra necesaria otra manera podra ser casi el doble. La definicin de la semana no es tan crtica para los contratos que requieren un promedio de cinco das trabajados por semana , sin embargo , contratos de muchos trabajadores de los hospitales requieren exactamente cinco das de trabajo cada semana. Si el perodo de pago no es de domingo a sbado, el plazo para contar los das trabajados deben ser promedio durante un perodo de tiempo ms largo .

Hay tres lmites obvios mnimos para el importe mnimo de la fuerza de trabajo : 1 . Fin de restriccin: El nmero medio de empleados de cada fin de semana disponible debe ser suficiente para satisfacer la demanda mxima de fin de semana. 2 . La demanda total de restriccin: El nmero total de das empleados por semana debe ser suficiente para satisfacer la demanda total semanal . 3 . Mxima demanda de limitacin diaria : El nmero de empleados debe ser suficiente para satisfacer la demanda mxima en cualquier da. Estos lmites pueden expresarse matemticamente como sigue: L : En semanas , cada empleado est disponible para { B - A) los fines de semana . Por lo tanto , G "^ IW > > donde n = max { n,, nj) es la mxima demanda de fin de semana. donde [x ] es la parte entera de x superior . L ^ : Como cada employe trabaja cinco das a la semana : Xn o ' [ 2 / -I I ^ , - 1 Lj : W > max , { / I, } , / = 1,2,. . . , 7 . lmites vivir precedentes son intuitivamente atractivas y computacionalmente trivial. En este trabajo, vamos a demostrar que estos lmites son tambin suficientes mediante un dilogo constructivo enfoque . Teniendo en cuenta una fuerza de trabajo , W , igual al mximo de los tres lmites inferiores , nos presentar un algoritmo para generar un horario que siempre satisface la indicada limitaciones y las demandas variables. 3 . algoritmo El algoritmo en s es un procedimiento aparentemente simple , de un paso que puede ser fcilmente apliquen de forma manual. Los das libres se asignan directamente en forma sistemtica una semanas a la vez. El procedimiento permite una total flexibilidad para que el programador puede seleccionar de entre todas las posibles horarios factibles el que es ms adecuado para su o sus requisitos particulares . Paso 1 . Calcular la fuerza laboral mnima . Calcular los tres lmites L, , Lj y L3 arriba y dejar que ff ser el mximo de estos tres valores . En la prctica , si el existente fuerza de trabajo es mayor que W , el valor real se puede utilizar . Los programas resultantes se asignar el nmero mximo posible de fines de semana libres para cada empleado. Paso 2 . Programe los fines de semana libres . Para mayor comodidad, asignar un nmero del 1 al W a cada empleado. Dado que se requiere n la gente a trabajar al menos un da cada fin de semana, el restante ( W - n ) puede tener el fin de semana . Asignar el primer fin de semana libre a la primero ( W -n ) empleados. Asigne el segundo fin de semana libre para los prximos empleados ( Wn ) . Este proceso se contina cclicamente con 1 empleado siendo entendido como el siguiente empleado despus empleado W.

Paso 3 . Determinar los pares fuera de da adicional . Para cada semana del calendario , cada empleado debe tener exactamente dos das de descanso . En cualquier semana , ya tenemos { Wn ) Domingos y { Wn ) sbados asignado fuera a algunos empleados . Por lo tanto, requieren un adicional de 2 das para que se encarguen de manera que todas las personas tienen exactamente dos W das de descanso en la semana . Estos das 2n son elegidos por pares con el excedente restante entre los disponibles empleados de W, y la demanda diaria " , . Llamemos a los trabajadores excedentes para dayy por Sj . Nuestras garantas enlazados L2 que Sj -i ' ^ y > 2 / i ( vase el apndice ) . Para Lunes a viernes: S , = Jf - n , (y = 2,3 , ..., 6 ) . Para el sbado y domingo : Iterativamente , construir una lista de n pares de das de descanso ( numeradas del 1 al ) de la siguiente manera : ( i ) elegir das k tal que S ^ = max { S , } . ( ii ) Elija cualquier / = 7 ^ k tal que 5 , > 0 . Si S , = 0 para todo / = k, set i = k. ( iii ) Aadir el par ( que , / } a la lista y disminuir S , y Sj por 1 . ( iv ) Repita este procedimiento n veces. Los pares de la forma { k , k } se llaman pares " nondistinct " fuera de da y sern siempre colocado al final de la lista . Paso 4. Asignar pares fuera de da en la Semana 1 . En 1 semana , los empleados caigan en una de las cuatro categoras en funcin de los fines de semana libres al principio y al final de la semana . Categora Fin de semana 1 ( WEDT I) Fin de semana 2 off ( sin das libres es necesario) fuera off (1 da de descanso es necesario) en Tipo 7 " 3 en (1 da de descanso es necesario) fuera Tipo 74 en { 2 das de falta ) en Obsrvese que hasta el momento no seguro que la gente precisamente n de trabajo cada fin de semana. Por lo tanto : + I TA \ = n (de 1 fin de semana ) y ] r 2 | + | R4 | - n (de fin de semana 2 ) y por lo tanto , | 7'2 | = | r 3 |, donde \ Ti \ es el nmero de empleados de tipo / . Esta identidad nos permite definir un uno-a - uno entre los empleados de los tipos T2 y esto es T3 , todos los empleados de tipo 72 est "enlazado " con un empleado de tipo T3. Asignar los n pares de das de descanso de la parte superior de la lista : en primer lugar a los empleados de tipo 74 y , a continuacin, a cada empleado de tipo T3 . Los empleados tienen la T3 das " antes " de la pareja , y el da " ltimo" se le asigna a su empleado T2 tipo asociado . En este As, cada empleado de tipo T4 obtiene dos das de descanso , y cada uno de los tipos de T2 y T3 consigue un da libre , segn sea necesario . Como se demostr ms tarde que si nondistinct pares de das libres (k, k ) existen, siempre se asignan a escribir los T3 y luego se separan . Por lo tanto , hay uno tendr dos das de descanso en el mismo da . Paso 5. Asignacin Off Pairs da en la semana i ( i = 1 ) . Supongamos que 1 semana hasta ( / - 1 ) ya se han programado. Al igual que en el paso 4, cada empleado puede clasificarse en uno de los cuatro tipos , Tl , Tl , 73 , y 74 . El problema fundamental en este paso es asegurar que ningn empleado tenga workstretch ms de 6 das. Las asignaciones fuera de das de la semana / se dividen en dos casos : Caso I. Si la lista de pares fuera de da contiene los pares nondistinct de la forma ( k , k ) , para algunos das k, entonces semanas / est previsto precisamente de la misma manera como 1 semana y es independiente de semana ( / - 1 ), es decir , asignar pares de das de descanso de la

parte superior de la lista empezando por los empleados de tipo 74 . Se puede demostrar que cada par contendr da k, y dado que cada 73 asegura el primer da de la pareja de la workstretch mximo es seis das de la semana ( / - 1 ) a la semana / . La nica vez que el workstretch ser mayor de cinco das es cuando existen pares nondistinct . Incluso en este caso el nmero de seis das tramos de trabajo pueden reducirse al mnimo . Caso II . Si todos los pares fuera de da son distintos, de la forma ( j , k ), donde j = ^ k , entonces todo empleados de tipo 73 y 74 semanas en / estn asociados con el mismo par de das de descanso que recibieron en la semana ( / - 1 ) . Los 74 empleados de tipo se dan dos das de descanso y el tipo 73 obtener el primer da del par asociado . Los 72 empleados tienen la das restantes de los 73 pares . En este caso , se puede demostrar que el mximo posible workstretch ser de cinco das. Hay algunos aspectos de la prueba del mtodo que no son evidentes. Para ejemplo , es cierto , pero no es claro de inmediato , que no sea sbado o domingo no sern asignado como segundo da libre en la semana / de un empleado que ya cuenta con ese fin de semana off . La prueba de esta afirmacin , y algunos otros , se da en el Apndice. Tenga en cuenta que la cantidad de trabajo requerido por el algoritmo es lineal en la fuerza de trabajo Tamao W que es el mejor posible, ya que cada trabajador debe recibir un horario. 4 . Exanqites Ninaerical aod Ejemplo 4.1 . Considere el siguiente problema. Dayy se requiere : 1 Domingo 3 2 Lunes 5 3 Mar 5 4 Mircoles 5

5 Jue. 7 6 Viernes 77 Sbado 3 donde cada persona requiere 3 de 5 fines de semana libres . A ^ 3 , B = 5 . Entonces: W , la plantilla mnima , es de 8. El fin de semana la demanda mxima n = 3 . Por lo tanto , (JT - ) = 5 , y le asignamos 5 fines de semana libres a los empleados cada semana : empleado En este punto , hay 8 personas disponibles de lunes a viernes y 3 personas disponibles en el fin de semana. Por lo tanto , el supervit es: dayy supervit s Hay muchas maneras en las que 3 pares de das libres pueden ser elegidos . Uno podra elegir Lunes , martes y mircoles para reducir el nmero de empleados adicionales en cualquier da dado: par Lun / mar Mar / mi Mar / mi El programa definitivo se convierte en: Asignacin Descanso semanal empleado Las flechas ilustran cmo un par de fuera de da es compartida por dos empleados . Este programa tiene el inconveniente de un workstretch de un da cada semana ( por ejemplo , empleado 3 en 1 semana trabaja lunes) que mi ^ t ser considerado como una condicin secundaria . un extensin sigue : par Moii . / Mie. Mar / jue Tucs . / Mi Por lo tanto , (JT - ) = 5 , y le asignamos 5 fines de semana libres a los empleados cada semana : empleado Asignacin de fines de semana libres En este punto , hay 8 personas disponibles de lunes a viernes y 3 personas disponibles en el fin de semana. Por lo tanto , el supervit es: dayy

supervit s Hay muchas maneras en las que 3 pares de das libres pueden ser elegidos . Uno podra elegir Lunes , martes y mircoles para reducir el nmero de empleados adicionales en cualquier da dado: par Lun / mar Mar / mi Mar / mi El programa definitivo se convierte en: Asignacin Descanso semanal empleado Las flechas ilustran cmo un par de fuera de da es compartida por dos empleados . Este programa tiene el inconveniente de un workstretch de un da cada semana ( por ejemplo , empleado 3 en 1 semana trabaja lunes) que mi ^ t ser considerado como una condicin secundaria . un extensin sigue : par Moii . / Mie. Mar / jue Tucs . / Mi El workstretch ms largo es ahora de cinco das. En su calendario , un empleado est programado a trabajar el lunes de cada semana, cuando la tienda est cerrada , es decir , el empleado disponibletiempo excede la demanda requerida . Esto siempre se produce cuando ya sea total la demanda no es divisible por cinco, o el Lj lmite no es firme . El problema se resuelve porla bsqueda de trabajo para el exceso de empleados o para que tenga un da libre extra de vez en tiempo. Lo ms probable , la gerencia podra utilizar la ayuda a tiempo parcial para realizar la jornada completa totalesa requisito divisible por cinco. Ejemplo 4.4 . Una variante interesante del ejemplo anterior se produce cuando una trabajador a tiempo parcial es contratado el sbado en lugar del martes . En este caso , el fin de semana la demanda se reduce a 1 y el algoritmo dar dos empleados el fin de semana cada semana. Los das flojos restantes son de nuevo todos los lunes, y el resultado horario se convierte en : empleado Una vez ms hemos vuelto a un empleado trabajando un tramo de seis das a la semana . Sin embargo , todo el mundo tiene ahora 2 de cada 3 fines de semana libres . La lgica detrs de esto es que el algoritmo es maximizar el nmero de fines de semana libres . Si la administracin es ms refiere a la workstretch de seis das , el algoritmo puede ser modificado en el paso 2 . En el ejemplo , se podra dar un fin de semana de descanso cada semana y el excedente entonces un sbado , un domingo y tres lunes. Los pares de das fuera puede ser entonces : Dom / Mon.

Lun / sb. y la programacin se convierte en : empleado Ahora , todo el mundo est de vuelta a 1 en 3 fines de semana libres , pero el woricstretch mxima es de slo cinco das. 5 . E ^ rasskm y CoBdas ^ oos Aunque solo cambio de programacin ha recibido considerable atencin en la investigacin la comunidad no es un problema muy alta demanda en el mundo prctico . un puesto de trabajo programacin es un bloque de construccin en el mbito de la programacin de cambio . El problema resuelto en Papel Uiis ms o menos llega a la conclusin de la necesidad de la investigacin en una clase especfica de un turno programacin . El pfoof de la suficiencia de los lmites de la plantilla se ha utilizado ampliamente en las negociaciones de los contratos de trabajo de los autores . Cuando se le pide trabajar por aumento de la frecuencia de fines de semana libres , o cuando la gerencia desea cambiar el nmero diario de trabajadores necesarios , el efecto total sobre los costes laborales puede ahora calcular analticamente sin la necesidad para la produccin de programas de muestra para ver si la mano de obra tamao ser funcin Hiis suficiente ha sido {^ mentido tanto en la industria minera y la industria del cuidado de la salud. Durante los sucesos poco frecuentes de problemas de un solo turno en el mundo real de la generales algoritmo ha demostrado ser aplicable . En la mayora de los problemas prcticos, el tamao de la fuerza laboral es mayor que el mnimo exigido por el contrato y la demanda diaria . El extra de trabajadores se utilizan para sustituir a las personas enfermas , personas en vacaciones, y la gente en da estatutarias descuento. Mediante la creacin de los pares de das en el Paso 3 del supervit , el algoritmo funciona fundamentalmente por dar das de descanso en lugar de programar para satisfacer necesidades mnimas diarias . De ah que los trabajadores adicionales empleadas presentan ningn problema y son programado automticamente . Otra extensin prctica que ha sido incluido en la versin de la computadora de la algoritmo es elegir los pares iniciales de manera que los pares de das adyacentes fuera se crean . por modificando ligeramente la asignacin de das de descanso en el paso 5 del algoritmo de los trabajadores que trabajan los dos fines de semana de una semana se les puede asignar un par adyacente de das de descanso. Este caracterstica es en realidad exige en muchos de los contratos con los sindicatos actuales. Como se ha mencionado en la introduccin , el problema tratado es de naturaleza cclica con un ciclo semanal de demandas diarias y un ciclo semana B de fines de semana libres . Sin embargo, la algoritmo presentado es iterativo en que, dado el calendario de la semana / el posterior horario para la semana / se genera + 1 . Sin rotacin maestro se genera pero los horarios siempre satisfacen las condiciones establecidas en el problema. El tamao de la fuerza de trabajo (y el nmero mnimo de empleados necesarios ) tiende a cambiar con el tiempo con la estacionalidad, y el crecimiento de la organizacin . Con rotaciones maestro no es tan adaptable a cambiar a medida que el construccin de horarios iterativo . Este nuevo enfoque en el campo ha dado lugar a dos avances tericos y algoritmos prcticos. Bums ha ampliado el trabajo de este papel a la de varios turnos problema de programacin donde las exigencias no son tan generales como en este trabajo . Los nuevos algoritmos han sido informatizado y se utiliza para programar las enfermeras

y el resto de los trabajadores por turnos no mdicos en los hospitales. Los documentos sobre la programacin de varios turnos problema est en preparacin. Appaidlx TEOREMA . El algoritmo produce una programacin satisfacer la demanda diaria garantizando al mismo tiempo que ( a) el programa es factible , ( b ) cada empleado tiene al menos una salida de fin de semana fuera de B , ( c ) que cada empleado trabaja exactamente 5 das por semana , de domingo a sbado, ( d ) ningn trabajador pueda trabajar ms de 6 das consecutivos . La demostracin de este teorema se da en una serie de lemas . La primera parte , que el programa es factible , es equivalente a sajnng que cada paso del algoritmo siempre se puede realizar . Esto a su vez puede dividirse es el siguiente: ( i ) No existe , al menos 2n da excedentes en el paso 3 ; ( ii ) No existe suficiente distintas parejas fuera de da para cubrir todos los empleados de tipo T4 ; ( iii ) algoritmo ttie nunca le asignar un supervit da sbado o domingo libre a un empleado que ya tiene que wedcend fuera . Con el fin de demostrar las segunda y tercera condiciones de factibilidad , se requiere la siguiente condicin . LEMMA A.I. Existen al menos 2n turnos excedentes en el paso 3. La prueba se desprende directamente de la i ^ consolidado que garantiza que cada empleado slo tiene que trabajar 5 das por semana . En otras palabras, cada empleado recibe un mnimo de 2 das de descanso. LEMMA A.2 . / / Tke atgorithm produce un par de das mmdistiiwt (k, k ), entonces el da k caiauu ser eUher un Sbado < v un Sioiday . ftiooF . Supongamos que el da k isa das vetktmd . Se verifica eaaly ese da k se produce en todos los pares de n , AAD en algunos pares de das k se produce dos veces. Por lo tanto , el supervit FCV da Jt en S ^ 3 es: S ^ ^ > n . Pero , para los das wedcend : S / , " n - Hj , Hj > 0 , que es un contntdictkm . LJBMMA A.3 . Ttere existe enau ^ distinta fuera de da peurs lo espelelogo alt tipo enf T4 ^ ados . pROor . se demuestra fcilmente que la col ^ Mithm nunca ptodxux un houno de los dos primeros fines de semana libres , y algunos se ponen tanto es decir, 17 " 4 | . = 0 Por el contrario , si menos de la mitad obtener la fin de semana libre , algunos no recibirn fines de semana libres en los dos primeros, y nadie va a obtener tanto decir ini 0 . En el caso Fonner , con | r 4 | = 0 , el lema es trivial . Si | n | = 0 , entonces, claramente , W - | r 2 | 4 - | r3 | + | R4 | . Supongamos , con el fin de derivar una contradiccin , que uno de los empleados de T4 se le da un par de la forma ( k , k ) . Dado que estos pares estn todos colocados al final de la lista de pares fuera de da , cada T2 y T3 tambin recibieron da k off , y el resto de los empleados recibieron T4 da k fuera al menos una vez . Por lo tanto , se da el excedente para el da k

por: S ^ > \ T2 \ + | r 3 | + | R4 | = W que conduce a una contradiccin , ya que, por definicin , S ^ <W, LEMMA A.4 . El algoritmo nunca se le asignar un da sbado o domingo holgura para un empleado que ya tiene ese fin de semana. PRUEBA . Por el Lema A.2 un par nondistinct nunca puede ocurrir en cualquier sbado o domingo. Por lo tanto , nos slo necesita considerar pares distintos ( j , k ) ( donde j < k ) . Empleados T4 tipo son triviales , ya que no tienen fines de semana libres . Para los tipos de T3 y T2 , T3 tiene la dayy temprano, y T2 se pone al da ms tarde. T3 tiene Sbado , da 7 , off . Buty < k < , ! y T2 tiene domingo, da 1 , off . Pero * > y> 1 que completa la prueba . LEMMA A.5 . Cada empleado recibe un mnimo de A a B de fines de semana libres . La prueba se desprende directamente de menor Lj atado y el hecho de que los fines de semana fuera se distribuyen uniformemente a lo largo B , o de semanas . LEMMA A.6 . Cada empleado trabaja exactamente 5 das a la semana , de domingo a sbado, La prueba se deduce directamente del algoritmo. LEMMA A.7 . Ningn empleado trabaja ms de 5 das consecutivos , si todos los pares fuera de da son distintos. PRUEBA . Considere la posibilidad de un empleado arbitraria en la semana ( i - 1 ) y en la semana i y supongamos que trabaja en fin de semana i . Por lo tanto , en los dos semanas , que se asoci con el mismo par de diferentes fuera de los das (j, k ) con j < k. en en particular , debe tener por lo menos el da de la semana k ( / - 1 ) y dayy off en semanas / . Por lo tanto , en el peor de los casos , el workstretch es de 5 das . LEMMA A.8 . NO errqtloyee trabaja ms de 6 das consecutivos cuando algunos pares fuera de da no son distintos . PRUEBA . La prueba se desprende directamente del hecho de que cada par debe contener k da . Al reconsiderar la lgica del ejemplo anterior , en el peor de los casos , un empleado puede estar asociada con un par ( j , k ) en la semana ( i - I) un par ( k , m ) en la semana i wherey < k y k < . m, la este caso , recibir el da k al menos fuera tanto semana que produce un workstretch 6 - da . El estiramiento debe ser menor si bien k < j OTM < k, para luego recibira dayy y / o das fuera m segn corresponda. Esto completa la demostracin del teorema.rario con los empleados bodi de tipos n y T4 . En concreto, si ms de la mitad de los empk > ados obtener cada wedcend apagado, entonces cada npk > yee se