DIMENSIONES DE LOTES INTEGRADAS EN

CADENAS DE SUMINISTRO SERIALES CON CAPACIDADES DE

PRODUCCIN

Consideramos un modelo para una cadena de suministro en serie en la

que las decisiones de produccin, inventario y transporte se integran en
presencia de capacidades de produccin y funciones de costos
cncavos. El modelo que estudiamos generaliza el modelo econmico de
nivel de lotes multi-nivel de un solo artculo, sin capacidad, aadiendo
capacidades de produccin estacionarias a nivel de fabricante.
Presentamos algoritmos con un tiempo de ejecucin que es polinmico
en el horizonte de planificacin cuando todas las funciones de coste son
cncavas. Adems, consideramos diferentes estructuras de costos de
transporte e inventario que producen tiempos de funcionamiento
mejorados: funciones de costos de mantenimiento de inventario que son
lineales y de costo de transporte que son lineales o cncavas con una
estructura de carga fija. En este ltimo caso, hacemos la suposicin
adicional comn y razonable de que los costos variables de transporte e
inventario son tales que mantener los inventarios a niveles ms altos en
la cadena de suministro es ms atractivo desde una perspectiva de
costo variable. Mientras que los tiempos de ejecucin de los algoritmos
son exponenciales en el nmero de niveles en la cadena de suministro
en el caso de coste cncavo general, los tiempos de ejecucin son
notablemente insensibles al nmero de niveles para las otras dos
estructuras de coste.

Palabras clave: dimensionamiento de los lotes; Integracin de la

planificacin de la produccin y el transporte; programacin dinmica;
Algoritmos de tiempo polinomial Historia: Aceptado por Thomas M.
Liebling, programacin y redes matemticas; Recibido el 17 de junio de
2002. Este documento fue con los autores 11 meses para 2 revisiones.

1. INTRODUCCIN.
En este artculo se considera un problema en el que se integran las
decisiones de produccin, inventario y transporte en una cadena de
suministro bsica. Los modelos tradicionales suelen considerar slo uno
o dos de estos aspectos aislados de los otros. Existen evidencias
sustanciales (vase, por ejemplo, Arntzen et al., 1995, Chandra y Fisher,
1994, Geoffrion y Powers, 1995, y Thomas y Griffin, 1996), que muestra
que la integracin de estas decisiones puede conducir a aumentos
sustanciales en Eficiencia y efectividad. La integracin de diferentes
decisiones en la cadena de suministro es particularmente importante
cuando los recursos son limitados y cuando los costos no son lineales,
por ejemplo, muestran economas de escala.
Consideraremos una cadena de suministro en serie para la produccin y
distribucin de un producto. Dicha cadena de suministro ocurrir, por
ejemplo, cuando aadido a un producto en una secuencia de
instalaciones de produccin, y los bienes intermedios necesitan ser
transportados entre estas instalaciones. Kaminsky y Simchi-Levi (2003)
describen un ejemplo de una cadena tal como surge en la industria
farmacutica.

Otro ejemplo es la industria de logstica de terceros. En este caso, un

centro de distribucin en sentido descendente que satisface demandas
en una determinada rea geogrfica puede emplear los servicios de un
almacn de terceros antes de que los productos sean transportados al
centro de distribucin real para su distribucin a sus minoristas. Un
modelo de cadena de suministro en serie se puede utilizar para
representar parte de una cadena de suministro que es relevante para el
centro de distribucin (vase Lee et al., 2003). Un ejemplo final es una
situacin en la cual la produccin tiene lugar en un fabricante. Los
artculos que se producen se almacenan a nivel de fabricante o se
transportan al primer nivel de almacn. En cada uno de los niveles del
almacn, Los productos se almacenan de nuevo o se transportan al
almacn en el siguiente nivel. Desde el nivel final del almacn, los
productos son (posiblemente despus de haber sido almacenados
durante algunos periodos) transportados a un minorista (posiblemente
permitiendo entregas tempranas, es decir, inventarios a nivel minorista).
Tal estructura puede surgir si un minorista realmente representa un
mercado entero, y la cadena de suministro del fabricante a este
mercado es muy larga. Esto podra hacer ventajoso, en varias etapas,
emplear economas de escala al transportar cantidades mayores a
largas distancias a las instalaciones de almacenamiento intermedias
antes de ser distribuidas en el mercado real

Todas las situaciones descritas anteriormente pueden ser representadas

por un modelo genrico compuesto por un fabricante, varios niveles
intermedios de produccin o distribucin y un nivel en el que tiene lugar
la demanda del producto final, a la que nos referiremos en este
documento como el nivel minorista, (Aunque esto no representa
necesariamente el nivel en el que tiene lugar el consumo real de
demanda). De hecho, en un modelo de este tipo, las etapas intermedias
de produccin y transporte son indistinguibles unas de otras, de modo
que en el resto de este documento nos referiremos simplemente a todas
las etapas intermedias como etapas de transporte entre depsitos.

El modelo de la cadena de suministro en serie, esbozado anteriormente,

puede considerarse como una generalizacin de un problema
fundamental, que en realidad es uno de los problemas ms ampliamente
estudiados en la planificacin de la produccin y los inventarios, el
problema econmico del tamao de los lotes. La variante bsica de este
problema considera una instalacin de produccin que produce y
almacena un solo producto para satisfacer las demandas conocidas en
un horizonte de planificacin finito. El problema consiste entonces en
determinar las cantidades de produccin para cada perodo, de modo
que todas las demandas se satisfagan a tiempo con un coste mnimo de
produccin total y de mantenimiento de inventario. Las funciones de
coste no disminuyen en la cantidad producida o almacenada, y se
supone usualmente que son funciones lineales, de carga fija o cncavas
generales. La instalacin de produccin puede o no enfrentar una
restriccin de capacidad sobre la cantidad producida en cada perodo.

Para modelar la cadena de suministro en serie, el ELSP clsico puede

ampliarse para incluir decisiones de transporte, as como la posibilidad
de mantener el inventario en diferentes niveles de la cadena. Adems de
los costos de produccin y de mantenimiento de los inventarios, es
evidente que tambin es necesario incorporar los costos de transporte,
lo que agrega el problema del momento del transporte al problema del
momento de la produccin. El objetivo ser minimizar el costo del
sistema y satisfacer toda la demanda. Incluso si el fabricante y el
minorista son de hecho participantes distintos en la cadena de
suministro, cada uno de los cuales se enfrenta a una parte de los costos
de la cadena de suministro, este problema ser relevante. En este caso,
los participantes claramente todava necesitan decidir cmo distribuir
los costos totales mnimos, que es un problema de coordinacin que
est fuera del alcance de este documento. Alternativamente, sin
embargo, podemos interpretar los costes de tenencia al nivel del
minorista como una penalizacin o un descuento en el precio de compra
de un artculo, que es dado por el fabricante al minorista si los artculos
se entregan temprano. En este caso, los costes minimizados por nuestro
modelo de optimizacin son todos incurridos por el fabricante. Como en
los problemas de lotes estndar, se supone que todas las funciones de
costo no disminuyen en la cantidad producida, almacenada o enviada.
Adems, asumiremos que todas las funciones de costos son cncavas.

En general, todos los niveles de una cadena de suministro en serie,

independientemente de si corresponden a decisiones de produccin o
transporte, pueden enfrentar capacidades. En este trabajo, nos
concentraremos en cadenas de suministro en serie con capacidades en
el nivel de produccin (es decir, primero), como un primer paso hacia el
estudio de cadenas de suministro ms generales capacitadas. La adicin
de capacidades en otros niveles (es decir, transporte) parece cambiar
significativamente la estructura del problema, y por lo tanto el anlisis
del problema. Por lo tanto, estos problemas estn fuera del alcance de
este documento, pero siguen siendo un tema de investigacin en curso.
Tenga en cuenta que bajo ciertas estructuras de costos puede ser
posible eliminar los niveles capacitados de la cadena de suministro.
Kaminsky y Simchi-Levi (2003) proporcionan un ejemplo de este tipo que
transforman un modelo de cadena de suministro en serie de tres niveles
en el que los niveles primero y tercero estn capacitados para un
modelo de cadena de suministro en serie de dos niveles con
capacidades slo en el primer nivel.
Llamaremos el problema de determinar la produccin ptima, el
transporte y los tamaos de lotes de inventario en una cadena de
suministro en serie como se describe arriba y bajo capacidades de
produccin. a nivel de produccin el problema de tamao de lotes
multinivel con capacidad de produccin. En general, este problema es
NP-duro, ya que es una generalizacin directa del NP-ELSP duro con
capacidades generales de produccin (vase Florian et al., 1980). El
ELSP con capacidades de produccin estacionarias, sin embargo, es
soluble en tiempo polinomial (vase Florian y Klein 1971). Debido a que
nuestro objetivo es identificar casos polinomialmente solubles del MLSP-
PC, asumiremos en la mayor parte de este documento que las
capacidades de produccin son estacionarias.
Se estudian problemas relacionados con la produccin cncava general,
la tenencia de inventario y los costos de transporte, as como problemas
con los costos de mantenimiento de inventario lineal y dos estructuras
de costos de transporte diferentes: (i) costos de transporte lineales; Y (ii)
costos de transporte de carga fija sin motivos especulativos, lo que
significa que con respecto a los costos variables, mantener el inventario
es menos costoso en niveles ms altos que en niveles inferiores en la
cadena de suministro. Nuestros mtodos de solucin se basan en un
marco de programacin dinmica que utiliza un principio de
descomposicin que generaliza la propiedad clsica de ordenamiento
cero (ZIO)

De soluciones a problemas de tamao de lotes sin capacidad como se

describe en Zangwill (1969) para el caso multinivel y, por ejemplo, en
Wagner y Whitin (1958) para el caso de un solo nivel. En particular, en
nuestro modelo de dos niveles trabajamos con el nuevo concepto de un
subplan, y mostramos que las soluciones extremas se descomponen en
una serie de subplanes consecutivos. Nuestros algoritmos para este
modelo se ejecutan en tiempo polinomial en el horizonte de planificacin
del problema. La generalizacin directa de este enfoque para el caso
multinivel conduce a un tiempo de ejecucin muy grande. Logramos
ahorros sustanciales introduciendo el concepto de un subplanaje
relajado. A diferencia de los enfoques existentes en la literatura, nuestro
programa dinmico no representa necesariamente todas (o incluso slo)
soluciones extremas para el MLSPPC. Adems, mientras que las
trayectorias en el programa dinmico corresponden todas a soluciones
factibles del problema, los costes de un camino pueden sobrestimar los
costes de la solucin correspondiente al problema. Sin embargo,
podemos demostrar (basado en la concavidad de las funciones de coste)
que nuestro programa dinmico resuelve el MLSP-PC a la optimalidad. El
algoritmo resultante para el caso de las funciones generales de costes
cncavos es exponencial en el nmero de niveles en la cadena de
suministro. Sin embargo, es notablemente insensible al nmero de
niveles para las dos estructuras de costos especficas mencionadas
anteriormente.
Este artculo est organizado de la siguiente forma: En el # 2,
introducimos el MLSP con costos de produccin y produccin general
cncava no decreciente, transporte y mantenimiento de inventario.
Caracterizamos los puntos extremos de la regin factible del problema, y
probamos un resultado de descomposicin que formar la base de
nuestros algoritmos. En el # 3, se estudia el problema de dos niveles y
se proporciona un marco de programacin dinmica general basado en
el resultado de descomposicin derivado anteriormente, lo que genera
un algoritmo de tiempo polinomial en el horizonte de planificacin para
los costes cncavos generales. En el # 4, este algoritmo se generaliza al
problema de tamao de lotes de niveles mltiples y se muestra que
sigue siendo polinmico en el horizonte de planificacin y se dan
mejores tiempos de ejecucin para dos variantes del modelo. El artculo
termina en el #5 con algunas observaciones finales y cuestiones para
futuras investigaciones.

2. MODELO DE FORMULACIN Y ANLISIS

2.1. El Modelo

Como se describe en la introduccin, estudiaremos un problema de nivel

de varios niveles con estructura de accesorios. En cada perodo, la
produccin puede tener lugar en el fabricante. Los artculos que se
producen pueden ser almacenados en el nivel de fabricacin o
transportados al nivel de la planta de fabricacin. En cada uno de los
niveles de almacn, los productos son almacenados en el almacn en el
siguiente nivel. Desde el nivel final del almacn, los productos son
(posiblemente despus de haber sido almacenados durante algn
tiempo) transportados al minorista.

Consideramos un horizonte de planificacin de perodos T. En cada

perodo t, el minorista enfrenta una demanda no negativa dada por dt,
mientras que la capacidad de produccin del fabricante en el perodo t
es igual a bt. Consideraremos un total de L niveles, que incluye el
fabricante, el minorista y L-2 almacenes intermedios. Decimos que el
fabricante est en el primer nivel de la cadena, y el minorista est en el
nivel L. Cada uno de los niveles intermedios corresponde a un almacn.
Sea R+ el conjunto de nmeros reales no negativos.

Para cada perodo los costes de produccin se dan por la

funcin los costes de transporte desde el nivel
son dados por la funcin y los costos de
mantenimiento de inventario a nivel
Son dados por la funcin A lo largo del trabajo,
asumiremos que todas las funciones de costo son cncavas, no
decrecientes e iguales a cero cuando su argumento es cero.

Donde denota la cantidad producida en el periodo t, es la cantidad

enviada desde el nivel en el perodo t, y Denota la cantidad
de inventario a nivel
Al final del perodo t. Restricciones (1) - (3) modelan el equilibrio entre el
flujo, el almacenamiento y el flujo de salida en los niveles de fabricante,
almacn y minorista, respectivamente, en cada perodo. La cantidad de
produccin en cada perodo est restringida por restricciones (4).
Finalmente, las restricciones (5) indican que todos los niveles iniciales de
inventario son iguales a cero. A diferencia del modelo tradicional de
nivelacin de lotes de un solo nivel, esto no es una suposicin que
podamos hacer sin prdida de generalidad, debido a la no linealidad de
las funciones de costo de transporte e inventario. Por lo tanto,
discutiremos ms adelante cmo lidiar con instancias problemticas
donde esta restriccin est ausente, y en su lugar (no negativo)
inventario inicial las cantidades a todos los niveles se consideran parte
de los datos del problema. A continuacin, los algoritmos desarrollados
pueden aplicarse en un esquema de horizonte rodante, en el que se
resuelven nuevas instancias de lotes -y sus soluciones ptimas
parcialmente implementadas- a medida que el tiempo avanza y se
disponen nuevas previsiones de demanda. Por conveniencia, definiremos
como la demanda acumulativa en los perodos , es decir,

Para asegurar la viabilidad de (P), asumiremos que la demanda

acumulada en los primeros perodos t no puede exceder la capacidad de
produccin total en estos perodos, es decir,

Es fcil ver que esta condicin es necesaria y suficiente para que (P)
tenga una regin factible no vaca. Tambin podemos modelar el MLSP-
PC como un problema de flujo de red de capacidad mnima capacitado
en una red con una fuente (vase tambin Zangwill 1969 para una
discusin general sobre tales problemas de flujo de red de costo mnimo,
as como una discusin sobre los ELSPs multinivel sin capacidad). Con
este fin, definimos una red con una sola fuente 0, T nodos de transbordo
en el nivel de produccin nodos de transbordo
en cada uno de los niveles de almacn nodos de
demanda con demanda al nivel minorista
.Finalmente, la viabilidad dicta que el nodo fuente 0 tiene una fuente de
unidades . La Figura 1 ilustra la representacin en red del MLSP-PC
para L = 3.
Y Esta representacin facilitar el anlisis de la estructura de puntos
extremos de la regin factible de (P) en 2.4. Antes de proceder a este
anlisis, en 2.2 discutiremos modelos y algoritmos relacionados de la
literatura, as como algunos casos especiales que se reducen a modelos
de un solo nivel en 2.3.

2.2. Revisin de la literatura

La variante de un solo nivel del MLSP-PC ha recibido mucha atencin en

la literatura. El problema no capacitado, el ELSP, es solucionable en
tiempo polinomial en la longitud del horizonte temporal; Ver Wagner
(1960) para este resultado bsico. Aggarwal y Park (1993), Federgruen y
Tzur (1991) han desarrollado algoritmos ms eficientes para casos
especiales, y Wagelmans et al. (1992). Cuando las capacidades de
produccin estn presentes, obtenemos el denominado problema
capacitado de dimensionamiento de lotes (CLSP). En contraste con el
ELSP no capacitado, este problema se conoce como NP-duro, incluso en
muchos casos especiales; Vase Florian et al. (1980) y Bitran y Yanasse
(1982). Un caso especial interesante e importante que permite un
algoritmo de tiempo polinomial surge cuando las capacidades de
produccin son estacionarias; Vase, por ejemplo, Florian y Klein (1971),
Florian et al. (1980), y van Hoesel y Wagelmans (1996). Vanse tambin
las referencias en Baker et al. (1978) para otros trabajos sobre el CLSP
con capacidades de produccin estacionarias, y Chung y Lin (1988) y
van den Heuvel y Wagelmans (2003) para otro caso especial del CLSP
que es soluble en tiempo polinomial.

Zangwill (1969) estudi la versin sin capacidad del MLSP-PC y

desarroll un algoritmo de programacin dinmica que es polinmico
tanto en el horizonte de planificacin como en el nmero de niveles L.
Analizamos este algoritmo en el apndice en lnea (disponible en http: //
Mansci.pubs.informs.org/ecompanion.html) y concluir que se ejecuta en
tiempo, donde L es el nmero de niveles, o incluso en para el
caso especial de L = 2. Lee et al. (2003) consideran un modelo de dos
niveles donde los costos de transporte son funciones no cncavas.

Un estudio que est relacionado con el nuestro en el sentido de que

tambin consideran las capacidades en un entorno multinivel es el de
Kaminsky y Simchi-Levi (2003). Proponen un modelo de tres niveles en el
que el primero y el tercer nivel en las etapas de produccin, y el
segundo en una etapa de transporte. Las etapas de produccin estn
capacitadas, mientras que la etapa de transporte es sin capacidad. Ellos
consideran los costes de mantenimiento de inventario lineal que
aumentan con el nivel de la cadena de suministro y los costes lineales
de produccin en los niveles 1 y 3 que satisfacen una condicin
tradicional de motivos no especulativos (tambin a 2.3). Los costos de
transporte en el segundo nivel son de carga fija o cncava general y se
supone que satisfacen una condicin restrictiva y no especulativa de
motivos no especulativos. Al eliminar las decisiones de produccin de
tercer nivel, reducir

El problema a un modelo de dos niveles que hereda sus estructuras de

funcin de costo del modelo de tres niveles. Por su clase de costos de
transporte de carga fija, proveen un para resolver el modelo, incluso
en el caso de las capacidades de produccin no estacionarias. Por su
clase de costos de transporte cncava que proporcionan una para
resolver el modelo en presencia de capacidades estacionarias de
produccin. Presentan la complejidad de su modelo para estructuras de
costos ms generales como una pregunta abierta. En este artculo,
abordamos esta pregunta derivando para resolver el problema de
dos niveles en presencia de capacidades estacionarias.

2.3. Casos Especiales

Es comn en los problemas de dimensionamiento de lotes modelar los
costos de mantenimiento de inventario como funciones lineales

2.3. Special Cases It is common in lot-sizing problems to model the

inventory holding costs as linear functions,
Por lo tanto, consideraremos esta clase de problemas en 4.3 y 4.4. En
4.3, asumiremos adems que los costos de transporte tienen una
estructura de carga fija sin motivos especulativos. Ms formalmente,
donde es una funcin de indicador que toma el valor
1 si y 0 en caso contrario. La suposicin de que no hay motivos
especulativos, que se asume comnmente para los costos de produccin
y de tenencia de inventario en los modelos tradicionales de tamao de
lotes econmicos, significa en este contexto que, con respecto a los
costos variables de inventario y transporte, es atractivo para el
transporte como Tan tarde como sea posible. Ms formalmente

Obsrvese que, si las funciones de costo de transporte son lineales y no

tienen motivos especulativos, siempre es ptimo almacenar la
produccin en el fabricante y transportarlo slo cuando la demanda
deba ser satisfecha. Por lo tanto, sin prdida de optimalidad, podemos
asumir que para todo Del mismo modo, si los
costos de transporte son lineales y`
es ms barato transportar tan
pronto como producimos y almacenamos la produccin en el nivel
minorista. Entonces, sin prdida de optimalidad, podemos asumir que
para todo Estos dos casos especiales de la
MLSP-PC por lo tanto, dar un CLSP estndar. Finalmente, una variante del
MLSP-PC de dos niveles sin capacidad se puede reducir fcilmente a un
ELSP no capacitado. Cuando los costos de produccin, as como los
costos de mantenimiento de inventario en ambos niveles son lineales,
dado que decidimos transportar en un determinado perodo, podemos
determinar fcilmente el mejor perodo de produccin, es decir, el
perodo que produce la produccin unitaria total mnima y el fabricante-
Para el transporte en el perodo t. Redefiniendo la funcin de costo de
transporte en consecuencia, lo que se puede hacer en tiempo, Nos
permite eliminar las variables de produccin, as como las variables de
inventario en el fabricante, produciendo un estndar ELAP no
capacitado. El problema resultante se puede resolver en para los
costos generales de transporte cncavo (vase Wagner 1960), y en

para los costos de transporte con carga fija (ver Aggarwal y Park 1993,
Federgruen y Tzur 1991 y Wagelmans et al., 1992).

2.4. Caracterizacin de los puntos extremos

El problema (P) tiene una funcin objetiva cncava, y su regin factible

se define por restricciones lineales. Esto implica que existe una solucin
ptima de punto extremo a (P). Considere el flujo en la red
correspondiente a cualquier punto extremo solucin factible. Como es
comn en los problemas de flujo de red, llamaremos a los arcos que
llevan una cantidad de flujo que es a la vez estrictamente positivo y
estrictamente inferior a su capacidad de arcos libres. Es bien conocido
(vase, por ejemplo, Ahuja et al., 1993) que la subred que contiene slo
los arcos libres no contiene ningn ciclo.

2.4.1. Subplanos.

Obsrvese que slo los arcos que tienen un lmite superior finito (que en
nuestro caso son slo los arcos de produccin) pueden llevar el flujo
mientras no son libres. Al eliminar todos los arcos de produccin, la red
que contiene todos los arcos libres restantes se descompone en una
serie de componentes conectados. Al limitarnos por ahora a
componentes conectados que efectivamente transportan flujos,
identificamos los primeros y ltimos nodos en el componente en cada
nivel. Para un componente dado, estos nodos pueden ser denotados por
y para donde

(Tenga en cuenta que la estricta desigualdad se mantiene debido a la

definicin del subplan: El primer perodo incluido en el nivel es )
Con este enfoque, algunos nodos se pueden aislar y no se incluyen en
ningn flujo portador de componentes. Asignamos cada uno de ellos al
componente que est adyacente a la izquierda de ellos. La asignacin de
los nodos aislados se ilustra en la Figura 2. Despus de eliminar los arcos
de produccin, obtenemos dos componentes. La primera es definida por
los nodos
(1,1) y (1,4) en el Nivel 1, (2,1) y (2,4) en el Nivel 2, y (3,1) y (3,6) en el
Nivel 3, y el segundo por los nodos (1,5) y (1,8) en el Nivel 1, (2,6) y
(2,8) en el Nivel 2, y (3,7) y (3,8) en el Nivel 3. Podemos observar que el
nodo (2,3) es parte del primer componente, aunque ningn flujo pasa a
travs de este nodo. Como se mencion anteriormente, el nodo aislado
(2,5) se asigna al componente izquierdo. Resumiendo, podemos
descomponer una solucin puntual extrema a (P) en componentes, cada
uno de los cuales contiene un conjunto de nodos
Satisfaciendo (8). Llamaremos los
componentes as
Subplanos obtenidos. Representaremos un subplan por los 2L periodos
que lo identifiquen A menudo ser conveniente referirse a los
perodos de produccin y demanda en un subplan por separado, y luego
usaremos a menudo la notacin Por construccin,
no se realiza ningn inventario entre subplanos, por lo que el nico flujo
que entra en un subplan proviene de arcos de produccin asociados con
los nodos del fabricante en el subplan. La cantidad total producida en
todos los perodos de produccin en el subplan, es decir, la produccin
total en perodos . Se utiliza para satisfacer la demanda de
todos los nodos minoristas en el subplan, es decir, la demanda total en
periodos Llamaremos a dos subplanos
Podemos resumir la estructura de soluciones
puntuales extremas como sigue.
Proposicin 2.1. Cualquier solucin factible de extremo puede
descomponerse en una secuencia de subplanos consecutivos.

La solucin extrema dada en la figura 2 se descompone en dos

subplanos, a saber, (0,4), (0,5), (0,6) y (4,8), (5,8), (6,8).
Obsrvese que el primer subplan obtenido mediante la descomposicin
de una solucin puntual extrema como se ha descrito anteriormente
tiene
Sin embargo, en el resto de este documento ser conveniente incluir
tambin subplan
satisfaciendo (8), para el cual algunos, pero no todos los
valores de son cero.

2.4.2. Cantidades de Produccin en un Subplan.

El hecho de que los flujos extremos sean acclicos implica que, aunque
puede haber mltiples arcos de produccin asociados con un subplan
que lleve flujo, hay como mximo uno de tal arco con una produccin
por debajo de la capacidad. En otras palabras, hay como mximo un
arco de produccin libre que entra en el subplan. Esto da como resultado
la siguiente generalizacin de la caracterizacin de puntos extremos de
los CLSP de un solo nivel por Florian y Klein (1971).

Proposicin 2.2. Un subplan puede contener como mximo un arco de

produccin libre.

Si el problema no est capacitado, esta proposicin implica que slo un

arco de produccin que lleva el flujo entra en cada uno de los subplanos,
lo que a su vez significa que los flujos extremos son arborescentes. El
algoritmo de programacin dinmica propuesto para este problema por
Zangwill (1969) se basa en esta propiedad; Consulte el apndice en
lnea.

Como ejemplo, en la Figura 2 sabemos que en el subplan (0,4), (0,5),

(0,6) los arcos de produccin y no pueden ser libres; Lo mismo
ocurre con los arcos de produccin y en el subplan ((4,8), (5,8),
(6,8)).

2.4.3. Cantidades de Transporte en un Subplan.

La ausencia de ciclos que consisten en arcos libres slo en una solucin

puntual extrema tambin se puede usar para identificar propiedades
estructurales de las cantidades de transporte. Considere un perodo,
digamos t, en el cual el transporte se lleva a cabo entre niveles y
, es decir, el flujo en el arco entre nodos

Dos situaciones pueden entonces ocurrir con respecto al flujo total en

nodos
Los envos acumulados entre niveles
hasta e incluyendo el perodo t dentro del subplan:

Es igual a la produccin acumulada en perodos

Cumple la demanda de perodos

Si no es as, considere el ltimo perodo de produccin en el cual parte

de la cantidad transportada se produjo, por ejemplo . Habr
entonces un perodo cuya demanda se satisface parcialmente de la
cantidad y parcialmente de la produccin en el perodo que
permanece en inventario a nivel al final del periodo , creando un ciclo
que contiene slo arcos libres. Este resultado se puede resumir como
sigue.

Proposicin 2.3. En un subplan, la cantidad transportada entre niveles

en algn perodo hace que las cantidades acumuladas
transportadas hasta el momento en el subplan sean iguales a las
cantidades de produccin acumuladas de una secuencia inicial de
perodos de produccin consecutivos en el subplan o a la demanda
acumulada de una secuencia inicial de perodos de demanda en el
subplan.

Las dos posibilidades de transporte acumulativo pueden ilustrarse

mediante la figura 2. En el subplan

Es igual a la produccin (acumulativa) en el Perodo 1, mientras

que es igual a la produccin acumulada en los perodos
y satisface la demanda de los perodos

Satisface la demanda del Periodo 1; Es igual a la

produccin (acumulativa) en el Periodo 1; y es igual a la

produccin acumulada en los perodos y satisface la demanda de
los perodos .

3. EL PROBLEMA CAPACITADO DE NIVEL DE LOTE DE DOS

NIVELES CON COSTOS CNCAVOS

Para mayor claridad de exposicin, consideraremos primero la versin

de dos niveles del MLSP-PC, a la que llamaremos 2LSP-PC. En la
siguiente seccin, mostraremos cmo la metodologa puede extenderse
a cadenas con ms de dos niveles.

3.1. Un enfoque de programacin dinmica

En esta seccin, describiremos un enfoque de programacin dinmica

general para el 2LSP-PC. Este enfoque se basa en la descomposicin de
soluciones puntuales extremas a (P) en subplanos consecutivos (vase
la Proposicin 2.1). En particular, defina para ser el costo mnimo
asociado con satisfacer las demandas del minorista en periodos
Utilizando la produccin en perodos Entonces estamos
claramente interesados en computar . Esto puede lograrse
utilizando un enfoque de dos fases:
Fase 1. Para cada subplan Calcular los costos mnimos que se
incurren para satisfacer la demanda de ese subplan bajo la condicin de
que al menos un arco de produccin libre entre en el subplan.
Denote estos costos por

Fase 2. Calcular los valores al darse cuenta de que

una solucin puntual extrema al sub-problema correspondiente est
dada por un subplan Y el sub-problema restante Para
algunos y . Esto da lugar a la siguiente recursin hacia atrs:

Tenga en cuenta que en la Fase 1 necesitamos calcular valores. La

Fase 2 es, de hecho, un problema de trayecto ms corto en una red con
nodos que representan todos los pares de periodos tal que
Y arcos que representan los subplanos con los costos correspondientes.
El trayecto de coste mnimo desde el nodo a cualquiera de los nodos
en esta red acclica se puede encontrar en tiempo lineal en el

nmero de arcos , es decir, en (vase Ahuja et al., 1993). Florian

y Klein (1971) utilizaron este marco general de programacin dinmica
para desarrollar una algoritmo de programacin dinmica para
resolver el CLSP con capacidades estacionarias y la produccin cncava
general y las funciones de mantenimiento de inventario de costos.

Cuando el valor de Se da para cada subplan, el 2LSP-PC es

polinomialmente solucionable. Para lograr un algoritmo de tiempo
polinomial para el 2LSP-PC, el reto es, por tanto, proporcionar un
algoritmo de tiempo polinomial para calcular los costes correspondientes
a todos los subplanos. Porque sabemos que el 2LSP-PC es NP-duro para
capacidades generales de produccin, vamos a limitar nuestra atencin
al caso de las capacidades de produccin estacionarias restringimos
nuestra atencin al caso de las capacidades de produccin
estacionarias, es decir, . En el resto de esta seccin,
se derivar un algoritmo de tiempo polinomial para calcular los costos
ptimos de todos los subplanos, y por lo tanto para el 2LSP-PC. Antes de
estudiar los sub-problemas del clculo de los costos ptimos del
subplan, primero estudiaremos las implicaciones de la suposicin de que
las capacidades de produccin son estacionarias en la siguiente seccin.
3.2. Implicaciones de las capacidades de produccin
estacionarias

En la Fase 1 del enfoque de programacin dinmica, necesitamos

calcular los costos ptimos de todos los subplanos, bajo la restriccin
adicional de que todos menos uno de los arcos de produccin que entran
en el subplan llevan un flujo igual a 0 o b. Considere un subplan
particular, digamos En la que la demanda total de perodos
Debe satisfacerse utilizando la produccin en perodos
Siguiendo a Florian y Klein (1971), tenga en cuenta que la limitacin de
los valores de los arcos de produccin que entran en el subplan implica
que el nmero de arcos de produccin que transportan flujo igual a la
capacidad de produccin es exactamente igual a Y la
cantidad de produccin restante es igual a Claramente,
tenemos que habr exactamente un arco de produccin
entrando en el subplan que lleva este flujo.

3.3. Los costos de los subplanos

Formularemos el problema de determinar los costos ptimos de un

subplan como un problema de programacin dinmica. Dicho de otra
manera, para cada subplan definiremos una red con la
propiedad que es igual a la longitud de la trayectoria ms
corta entre un par de nodos fuente y sumidero en esta red.

Elegimos los nodos de esta red para que sean de la forma donde
t indica un perodo, Y es igual a la cantidad acumulada de produccin
hasta e incluyendo el perodo t, y X es igual a la cantidad acumulada de
transporte hasta el perodo t inclusive. Nodo es la fuente, mientras
que el nodo
es el sumidero. Por la
Proposicin 2.2 y la discusin en 3.2, sabemos que la cantidad de
produccin en cualquier perodo slo puede asumir uno de los valores
con el valor! Slo en un perodo. Esto implica inmediatamente que
Y slo puede asumir los valores

Donde adems

para asegurar que toda la demanda se produce dentro del conjunto de

periodos de produccin permitidos en el subplan. Como claramente
el nmero de valores permisibles para
T. Adems, por la Proposicin 2.3 sabemos que la cantidad acumulada
transportada hasta e incluyendo algn perodo es igual a la cantidad de
produccin total de una secuencia inicial de perodos de produccin o
satisface la demanda de una secuencia inicial de perodos de demanda
en el subplan. Ms formalmente, esto significa que

Donde, adems, para asegurar que las demandas se

satisfagan a tiempo y los productos no se transportan antes de que se
produzcan, y para asegurar que el transporte
tenga lugar dentro del subplan. El nmero de valores permitidos para X
es, por tanto tambin, de modo que el nmero total de nodos en la
red es

Los arcos en la red representan decisiones de produccin, transporte e

inventario. Arcos estn presentes entre pares de nodos en la red de la
forma (donde el valor Slo est
permitido si para

Es fcil ver que hay arcos que emanan de cada nodo en la red, de
modo que toda la red tiene Arcos. A partir de la informacin
contenida en los nodos que definen un arco, podemos calcular
fcilmente la cantidad de produccin en el perodo la cantidad
de transporte en el perodo el inventario mantenido en el
fabricante Al final del perodo y el inventario mantenido al
nivel minorista al final del perodo Los costes de un arco
son as dados por

Si todas las funciones de coste pueden ser evaluadas en tiempo

constante, los costos de un arco dado se pueden calcular en tiempo
constante siempre que determinemos todas las demandas acumuladas
en una etapa de pre procesamiento.
Cualquier ruta en la red desde el origen hasta el fregadero
representa un flujo factible en el subplan con un
solo arco de produccin libre. Por otra parte, es fcil ver que el revs es
tambin verdad. Por lo tanto, los costes del subplan se dan por la
trayectoria mnima del coste en esta red del nodo de la fuente al nodo
del fregadero. El tiempo necesario para encontrar esta ruta de coste
mnimo es proporcional al nmero de arcos en la red, de manera que el
coste de un solo subplan puede determinarse en tiempo.

Porque hay , una aplicacin directa del algoritmo de programacin

dinmica definido anteriormente a cada subplan individual producira un
algoritmo con tiempo de ejecucin para calcular los costos de
todos los subplanos. Sin embargo, el tiempo de ejecucin se puede
reducir observando que los costos de muchos subplanos estn
relacionados. En particular, observe que la red de programacin
dinmica correspondiente a cualquier subplan de la forma es
en realidad una subred de la red de programacin dinmica para el
subplan Por lo tanto, utilizando recursividad hacia atrs para
resolver el camino ms corto entre los nodos y en la
ltima red produce, como subproducto, los trayectos ms cortos entre
nodos y para cada Por lo tanto, slo
tenemos que considerar el
Subplanes del formulario cuyos costes se pueden determinar
en tiempo.

3.4. Tratamiento de los inventarios iniciales

Si los inventarios iniciales a nivel de fabricante y / o minorista, ,

son estrictamente positivos, hay un ligero cambio en la construccin de
subplanes. Recordemos que construimos subplanos que corresponden a
una solucin puntual extrema dada considerando todos los arcos
(excepto arcos de produccin) que llevan flujo positivo. Los subplanos se
forman a continuacin por los componentes conectados resultantes
junto con algunos nodos aislados. Cuando hay inventarios iniciales, sin
embargo, puede haber uno o ms componentes que transportan flujos,
pero no contienen un perodo de produccin. En estos componentes, la
demanda se satisface usando los inventarios iniciales slo en los niveles
de almacn y minorista, y se pueden asignar al componente que
contiene el perodo de produccin 1 (es decir, el componente que
contiene el nodo (1,1). Los resultados en 2.4.2 y 2.4.3 son claramente
todava vlidos para subplanos en los cuales . Sin embargo, para los
subplanos con , los resultados continan mantenindose siempre
que consideremos el total de los inventarios iniciales como una
cantidad de produccin acumulada hasta el Perodo 0 inclusive, y el
inventario inicial en el Nivel 2 Como la cantidad acumulada de
transporte hasta el Perodo 0. A menos que , estos subplanos slo
pueden tener una solucin factible si el inventario inicial total no excede
la demanda total que debe satisfacerse en el subplan. Para los
subplanos con , obtenemos Y
. Como ya se ha mencionado, slo puede ocurrir
s . Si de hecho , una solucin puntual extrema contendr
solo un subplan: , y no se producir produccin en ningn
periodo en ese subplan, es decir, . La nica dificultad restante
en este caso es que no queremos especificar por adelantado en qu
nivel el inventario en exceso terminar como inventario final. Esto se
puede tratar fcilmente extendiendo el horizonte de planificacin en un
perodo, digamos . Luego, defina la funcin de costo de produccin
para ese perodo como para Todos la
funcin de coste de transporte como para todo .
Finalmente, establezca . Los costos del plan nico
en el problema original se puede encontrar encontrando los costos del
subplan en el problema modificado. Ahora considere la red
de programacin dinmica utilizada para calcular los costos de un
subplan. Para los subplanos que contienen inventarios iniciales, dejamos
que el nodo fuente sea y el nodo sink
Para un estado , esto tambin significa que

Finalmente, tenga en cuenta que para los subplanos con no

deberamos tener un inventario positivo en flujo. Por lo tanto, en caso de
que existan niveles de inventario inicial distintos de cero, en realidad
necesitamos calcular los costos de todos los subplanos
teniendo en cuenta los niveles iniciales de inventario, as como
los costos de los planes sin tener en cuenta el nivel de
inventario inicial del fabricante. Por supuesto, no influye en el tiempo
total de ejecucin del algoritmo.

4. EL CASO MULTINIVEL
4.1. Introduccin

Podemos extender el enfoque de programacin dinmica desarrollado en

3.1 para el caso de dos niveles al caso multinivel, donde nuevamente
una red de programacin dinmica de Fase 2 representa todas las
soluciones puntuales extremas al MLSP-PC. Con este fin, debemos definir
F para ser el coste mnimo asociado con satisfacer las
demandas de los minoristas en los periodos con la produccin
en los perodos y el almacn En perodos para
cada uno Entonces estaramos interesados en computar
Es fcil ver que el tiempo de ejecucin de la generalizacin
correspondiente del programa dinmico de Fase 2 sera En esta
seccin, derivaremos una modificacin del programa dinmico de Fase 2
que se ejecuta en tiempo. Esta modificacin no hace que la Fase 1
sea computacionalmente ms costosa, e incluso puede hacerla menos
costosa. En particular, desarrollaremos un enfoque ms eficiente en el
cual el programa dinmico de la Fase 2 no represente necesariamente
todas (o solo) soluciones puntuales extremas para el MLSP-PC y adems
sobreentienda los costos de muchas de las soluciones puntuales no
exentas que representa. Sin embargo, como demostraremos, contiene
una solucin ptima de punto extremo y est garantizado para
encontrar esta solucin.
Este enfoque es basado en la idea de que la informacin ms importante
presente en la definicin de un subplan es el conjunto de periodos de
produccin y el conjunto de perodos de demanda . La
base de nuestro algoritmo mejorado es entonces permitir el transporte
en los perodos (manteniendo, por supuesto, los periodos de
produccin y demanda dados). Podemos entonces utilizar el mismo
enfoque de programacin dinmica que en el caso de dos niveles, en el
que sustituimos los costos de los sub-planes de dos niveles
por los costes mnimos de satisfaccin de la demanda en los perodos
utilizando la produccin en los perodos , cuando a lo
sumo uno de los Las cantidades de produccin pueden ser diferentes de
0 y b, y donde el transporte a todos los niveles se permite en los
perodos . Vamos a denotar estos ltimos costos en ,
y se refieren a vectores como subplanos relajados. Para ilustrar
el concepto de subplanos relajados, considere la siguiente instancia
problemtica del 2LSP-PC. Todas las demandas son iguales a 1; Los
costes de produccin y transporte estn
Por ltimo, deje que todas las funciones de coste de mantenimiento de
inventario sean iguales a cero. Los flujos ptimos en y
se dan en la figura 3. Al calcular los costos , el transporte slo
se permite en perodos en los que tanto la produccin puede tener lugar
y la demanda se satisface ( es decir, en los perodos 3 y 4 en el
ejemplo), mientras que en la versin relajada del mismo subplano el
transporte es Permitido en cualquier perodo en que se produzca la
produccin o se satisfaga la demanda (es decir, en los perodos 2, 3 y 4
del ejemplo). Por lo tanto, los costos son inferiores a

porque en el subplan relajado podemos transportar en el

segundo perodo. Estos cambios tienen dos consecuencias importantes.
Considere un camino de la fuente a un receptor en la red de la fase 2. En
primer lugar, si bien es fcil ver que la solucin correspondiente del
MLSP-PC es realmente factible, no es necesariamente una solucin
puntual extrema porque los nodos de produccin y demanda en dos
subplanos relajados contenidos en la solucin pueden conectarse
mediante arcos que contienen flujo positivo. En segundo lugar, es
posible que ciertos arcos se usen en ms de un subplano relajado. Esto
significa que la longitud de la ruta en la red puede no ser la misma que
los costes de la solucin correspondiente al MLSP-PC. En primer lugar, el
siguiente teorema muestra que la longitud de la trayectoria nunca es
menor que los costes reales de la solucin y es igual a los costes de la
solucin si todas las funciones de coste de transporte y de inventario
son lineales.

Teorema 4.1. Cada ruta de la fuente a un receptor en la fase 2 de la

red de programacin dinmica corresponde a una solucin factible para
el MLSP-PC. La longitud de este camino no puede ser menor que el costo
de la solucin correspondiente, y es igual al costo de la solucin si todas
las funciones de transporte y costo de inventario son lineales.

Prueba. El hecho de que una trayectoria de la fuente a un fregadero en

la red de programacin dinmica de la Fase 2 corresponda a una
solucin factible al problema de los lotes se deriva inmediatamente del
hecho de que todas las restricciones de capacidad de produccin, as
como todas las demandas, estn satisfechas. Sin embargo, ciertos arcos
de transporte e inventario pueden tener un flujo positivo en las
soluciones parciales que corresponden a ms de un arco en la
trayectoria y cada uno de los flujos parciales se cobra por separado de
acuerdo con la funcin de coste correspondiente. Debido a la concavidad
de todas las funciones de costos, se deduce que el costo del flujo total
no exceder la suma de los costos de los flujos individuales en un arco
particular, y por lo tanto la longitud de un camino nunca ser menor que
los costos de La solucin correspondiente. Adems, cuando todas las
funciones de transporte y de coste de inventario son lineales, la longitud
de trayectoria y los costos de solucin son claramente iguales. El
siguiente lema da una relacin entre los costos asociados con un
subplan y el subplan correspondiente relajado

Lemma 4.2. Para cualquier subplan Tenemos eso

Prueba. Este resultado sigue inmediatamente sealando que tanto

son el valor ptimo de un problema de
optimizacin con funciones de coste idnticas, pero donde la regin
factible del primero es un subconjunto de la regin factible de este
ltimo.
El siguiente teorema muestra que existe una solucin ptima para el
problema de dimensionamiento de lotes que est representado por una
ruta en la red de programacin dinmica de fase 2 cuya longitud es igual
a los costos ptimos.
Teorema 4.3. La fase 2 de la red de programacin dinmica contiene
una ruta que corresponde a una solucin ptima para nuestro problema
de tamao de lotes, y la longitud de la ruta es igual al costo de esta
solucin.
Prueba. Considere un punto extremo solucin ptima para el problema
de tamao de lote, por ejemplo, con costo . Como se discuti en 2.4,
esta solucin ptima se descompone en una secuencia de subplanos
consecutivos. Es fcil ver que la fase 2 de la red de programacin
dinmica contiene una ruta para la cual los perodos de produccin y
demanda de cada uno de los arcos corresponden a esta secuencia de
subplanos. El Lema 4.2 ahora dice que la longitud de la trayectoria en la
red de programacin dinmica, digamos , no exceder Sin
embargo, por el teorema 4.1 sabemos que es una sobreestimacin de
los costos de una solucin factible correspondiente. La optimalidad de
ahora implica que de hecho lo que demuestra el resultado
deseado. Los teoremas 4.1 y 4.3 implican claramente que nuestro
algoritmo de dos fases resuelve el MLSP-PC. Ahora podemos concluir que
la Fase 2 del algoritmo se ejecuta en Tiempo dado todos los valores
El desafo restante es, por lo tanto, proporcionar algoritmos
eficientes para calcular estos valores.

4.2. Costes cncavos

4.2.1. Los costos de los subplanos relajados.

En esta seccin, formularemos el problema de determinar los costos

como un problema de programacin dinmica. En otras
palabras, definimos, para cada , una red con la propiedad de
que es igual a la ruta ms corta entre un par de nodos fuente
y sumidero en esta red. Los nodos de esta red son de la forma
donde indica un perodo, es igual a la cantidad
acumulada de produccin hasta e incluyendo el perodo y Es igual a
la cantidad acumulada de transporte desde el nivel a nivel
hasta e incluyendo el perodo t. Tenga en cuenta que la viabilidad dicta
que debemos limitarnos a los valores . La fuente es el
nodo , mientras que el receptor es el nodo Como
en el 3.3, tenemos que

Y el nmero de valores permisibles para es T. Adems, de manera

similar a la del caso de dos niveles, tenemos que
De modo que el nmero de valores permisibles para Es tambin.
Esto significa que el nmero total de nodos en la red es . Los arcos
en la red representan decisiones de produccin, transporte e inventario,
y estn presentes entre pares de nodos en la red del formulario
,d
Es fcil ver que hay arcos que emanan de cada nodo, para un total
de
Arcos T2L en la red. Similar a 3.3, podemos calcular fcilmente la
cantidad de produccin en el perodo la cantidad de
transporte entre niveles
en el perodo y
X
), El inventario mantenido al nivel del fabricante al final del perodo
y el inventario mantenido al nivel del minorista al final del
perodo Los costes de un arco son as dados por

Si todas las funciones de coste pueden evaluarse en tiempo constante,

los costos de un arco dado se pueden calcular en de la misma
manera que en el 2LSP-PC despus de una etapa de pre procesamiento
tomando Tiempo. Llegamos a la conclusin de que el costo de un
nico subplan relajado se puede determinar en Tiempo.
Finalmente, observando que hay relaj subplanos y aplicando la
misma tcnica para reducir el tiempo de funcionamiento como se us al
final de 3.3, obtenemos un algoritmo para el MLSP-PC con produccin
cncava arbitraria, transporte, y los costos de explotacin de inventario
y capacidades estacionarias que funciona en tiempo. Aunque
este tiempo es exponencial en el nmero de niveles, el orden del tiempo
de ejecucin estar limitado por el hecho de que el nmero de niveles
ser tpicamente relativamente pequeo. Este enfoque puede ampliarse
fcilmente para hacer frente a los inventarios iniciales. Recordemos que
en 3.4 slo se deben considerar los subplanos relajados con . Para
un subplan tan relajado, deberamos ver el total de los inventarios
iniciales
como una cantidad de produccin acumulada hasta el Perodo 0
inclusive, y el inventario inicial como la cantidad acumulada de
transporte hasta el Perodo 0 inclusive desde el nivel s hasta el nivel ,
para todo 1. Como en el 3.4, sin aumentar el tiempo de
ejecucin, estos inventarios iniciales pueden incorporarse en el enfoque
de programacin dinmica para calcular el mediante
redefiniciones apropiadas de los valores posibles de Y y X. En las
secciones siguientes, mostraremos cmo se puede reducir
drsticamente el tiempo de ejecucin para casos problemticos que
tienen capacidades estacionarias de produccin, Costos generales de
produccin cncava y costos de mantenimiento de inventario lineal a
todos los niveles, as como una de las dos estructuras de costos de
transporte siguientes: (i) cargos fijos sin motivos especulativos; o (ii)
lineal.

4.3. Costos de transporte de carga fija sin motivos especulativos

4.3.1. Introduccin.

En esta seccin, consideramos el caso de costos de transporte de carga

fija sin motivos especulativos y costos de mantenimiento de inventario
lineal. Como antes, vamos a determinar los costos de cada subplan
relajado utilizando la programacin dinmica. Despus de un paso de
pre procesamiento que se ejecuta en este programa dinmico
funciona en Tiempo. para cada subplan individual relajado. Mediante
el uso de la tcnica de reduccin al final de 3.3, el costo de todo
Los subplanos relajados se pueden calcular simultneamente en
tiempo. Por lo tanto, el tiempo de ejecucin del enfoque de
programacin dinmica para este caso especial del MLSPPC es .
Cuando L = 2, podemos reducir este tiempo de ejecucin a

4.3.2. Propiedad de inventario cero en el minorista.

Se demostrar que, bajo costos de transporte de carga fija sin motivos

especulativos, las soluciones que satisfacen la propiedad de
ordenamiento de inventario cero (ZIO) en todos los niveles en 2 L, es
decir,
son dominantes. Es decir, dado cualquier solucin factible al subplan
relajado
, siempre existe otra solucin que es al menos tan buena y
satisface la propiedad ZIO en todos los niveles en .

Teorema 4.4. Dado un subplano relajado , el conjunto de

soluciones con la propiedad ZIO en todos los niveles en es
dominante.

Prueba. Dejar sea una solucin factible al subplan relajado

que no satisface la propiedad ZIO en algn nivel. Dejar Ser el
ltimo nivel, tal que la propiedad ZIO se mantiene para todos
 , pero no es cierto para el nivel . Podemos construir una nueva
solucin al menos tan buena como tal que la propiedad ZIO se
cumple para todos . Si, entonces hemos obtenido el resultado
deseado. De lo contrario, repetimos el procedimiento con la nueva
solucin. Observe que este procedimiento converge porque el nuevo
Ha disminuido en al menos una unidad.

Sea un periodo para qu . El inventario positivo

ha sido transportado a nivel en algn perodo anterior. Sin embargo,
debido a la ausencia de motivos especulativos, podemos reprogramar el
transporte del unidades al perodo sin aumentar los costos.
Repitiendo este argumento para cada perodo violando la propiedad
ZIO a nivel Obtenemos una solucin donde la propiedad ZIO es
verdadera para cada nivel

Podemos recordar que es igual a los costes mnimos entre las

soluciones del sub-planaje relajado con un mximo de un arco
de produccin libre. El siguiente corolario del teorema 4.4 indica que
para encontrar este mnimo restringido podemos restringir nuevamente
nuestra bsqueda a soluciones que satisfacen la propiedad ZIO en el
minorista.

Corolario 4.5. El costo asociado con el subplanaje relajado

puede encontrarse entre todas las soluciones factibles que satisfacen la
propiedad ZIO en todos los niveles en .

Prueba. Esto se deduce inmediatamente de la demostracin del

teorema 4.4 observando que la modificacin de la solucin para obtener
una solucin que satisface la propiedad ZIO no altera los flujos de
produccin.
Este corolario implica que al buscar , podemos suponer que
cualquier cantidad enviada es igual a la demanda de un conjunto de
perodos consecutivos. Esto ayudar a reducir la informacin mantenida
en el enfoque de programacin dinmica descrito en 4.2.1.

4.3.3. Los costos de un subplano relajado

En esta seccin, formularemos el problema de determinar los costos

como una simplificacin del problema de programacin
dinmica definido en 4.2.1. Todos los nodos de la red de programacin
dinmica son de la forma , donde t indica un perodo, es igual a
la cantidad de produccin acumulada hasta e incluyendo el perodo , y s
representa el ltimo perodo cuya demanda se satisface utilizando el
transporte del nivel 1 al nivel 2 hasta e incluyendo Perodo t, donde
. Podemos observar que a partir del teorema 4.4, tenemos
que en el programa dinmico de 4.2.1. La fuente es el nodo
, mientras que el sumidero es el nodo . Como antes,
sabemos que slo puede asumir los valores

Arcos estn presentes entre pares de nodos en la red de la forma y

, donde . Es fcil ver que hay arcos que
emanan de cada nodo en la red, de modo que toda la red tiene
Arcos. Los costes de un arco entre nodos
ahora estn dadas por

donde se definen como los costos ptimos de envo de unidades

desde el nodo A sus destinos , es decir, a los nodos de
demanda . Podemos utilizar el algoritmo de Zangwill, en una
etapa de pre procesamiento, para determinar los valores
tiempo; Consulte el
apndice en lnea. Es importante sealar que, aunque el modelo de
Zangwill permite el transporte cncavo general y las funciones de costo
de mantenimiento de inventario, no podemos usar el mismo enfoque
que se ha descrito anteriormente en presencia de capacidades de
produccin.

La razn es que, en el caso sin capacidad, la propiedad ZIO es vlida

para funciones arbitrarias de coste de arco cncavo, mientras que esto
no es el caso en el caso capacitado. Sin embargo, como hemos
mostrado, en el caso de costos de transporte de carga fija que no
exhiben motivos especulativos, tambin obtenemos la propiedad ZIO,
permitiendo que el uso del algoritmo de Zangwill determine entradas a
nuestro algoritmo.

El problema de determinar se reduce a encontrar la longitud de

la trayectoria ms corta en la red desde la fuente hasta el fregadero, lo
que se puede hacer en tiempo lineal en el nmero de arcos. Es fcil ver
que el nmero de nodos en la red es y el nmero de arcos .
Usando el mismo enfoque para calcular mltiples valores de la funcin
a la vez como hemos discutido para la funcin al final de 3.3, esto
produce una algoritmo para resolver la variante multinivel de
este problema.
Cuando , este tiempo de ejecucin puede reducirse a .
Recuerde que el nmero de nodos en el enfoque de programacin
dinmica anterior . Mostraremos que el nmero de arcos es tambin
. Para cada t hay nodos de la forma y Nodos de la
forma . Cada nodo del formulario tiene
T sucesores, y cada nodo de la forma tiene sucesores, lo
que supone un total de Arcos en la red.
Esto produce un para resolver la variante de dos niveles de este
problema. Desafortunadamente, en presencia de niveles de inventario
inicial no nulos, la propiedad ZIO no es necesariamente dominante. Sin
embargo, en estos casos se sigue aplicando el procedimiento ms
general desarrollado para el caso de funciones de coste cncavo
arbitrarias.

4.4. Costes de transporte lineal

4.4.1. Introduccin.

En esta seccin, consideraremos el caso en que los costos de transporte

y los costos de mantenimiento de inventario son lineales.
Desarrollaremos un enfoque de programacin dinmica que encuentre
los costos ptimos de cada subplan. Despus de un paso de pre
procesamiento que se ejecuta en Tiempo, este algoritmo se ejecuta
en tiempo para un nico subplan relajado, pero los costos de todos
los los sub-planos relajados se pueden calcular simultneamente en
tiempo. Esto resulta en una algoritmo para resolver esta
clase de instancias de MLSP-PC.

4.4.2. Pre procesamiento.

En trminos de la red subyacente (como se describe en el 2.1), una

unidad producida en el perodo para satisfacer la demanda en el
perodo , En la solucin ptima, fluya a lo largo de la trayectoria de
. En una etapa de pre procesamiento, podemos determinar los
costos mnimos de transporte unitario asociados con la produccin de
una unidad en el perodo t para el consumo en el perodo, que
llamaremos . Todos estos valores se pueden calcular en tiempo
resolviendo problemas de trayecto ms cortos en grafos acclicos con
arcos usando recursividad hacia atrs. Usando estos valores,
podemos determinar de nuevo los costos de transporte totales
asociados con la produccin, en el perodo t, de toda la demanda de los
perodos consecutivos , suponiendo que el transporte se
permite en todos los perodos , estos
costes se pueden calcular para todos y . Esta
informacin nos permitir calcular los costos de transporte totales
asociados con la produccin en el perodo en tiempo constante.

4.4.3. Los costos de un subplano relajado.

En esta seccin, formularemos el problema de determinar los costos

como una simplificacin adicional del problema de
programacin dinmica definido en 4.2.1. Todos los nodos de la red de
programacin dinmica son de la forma , donde indica un perodo,
y es igual a la cantidad acumulada de produccin hasta e incluyendo
el perodo t, donde y

La fuente es el nodo , mientras que el receptor es el nodo

Arcos estn presentes entre pares de nodos en la red de la forma
cuando . Cada arco de la red descrita
anteriormente representa una posible decisin de produccin. Dejamos
que los costos de los arcos sean iguales a los costos totales asociados
con el monto de la produccin. Queda por demostrar que los costos de
transporte e inventario pueden ser calculados en tiempo constante.
Adems de la informacin recogida en la fase de pre procesamiento
descrita en el 4.4.2, tambin encontraremos, para cada nodo En la
red, el primer perodo cuya demanda no est totalmente satisfecha por
la produccin acumulada (decir s), as como la parte de la demanda
de ese perodo que queda por satisfacer (digamos ). Utilizando las
demandas acumulativas as como el hecho de que el
valor de slo puede ser igual a o , esta informacin
adicional se puede obtener en tiempo. Como veremos ms adelante,
esto no incrementa el tiempo de ejecucin de los costos de un solo sub-
plan relajado.
Consideremos ahora un arco que conecta los dos nodos (Con el
primer perodo de demanda restante con la demanda restante ), y
(con el primer perodo de demanda restante con la demanda
restante ,). Cuando ,los costos unitarios de transporte del La
cantidad producida en el perodo es igual a . Cuando el
transporte y los costos de mantenimiento de inventario para este arco
se componen de hasta tres componentes: y
por lo tanto, de hecho puede ser calculado en tiempo constante. El
problema de determinar se reduce a encontrar la longitud de la
trayectoria ms corta en la red desde la fuente hasta el fregadero, lo
que se puede hacer en tiempo lineal en el nmero de arcos. Es fcil ver
que el nmero de nodos en la red es y el nmero de arcos .
Usando el mismo enfoque para calcular mltiples valores de la funcin
a la vez como en 4.3, esto produce una algoritmo para resolver
esta variante de la MLSP-PC. Al igual que en el CLSP, los inventarios
iniciales se pueden incorporar cuando todas las funciones de costos de
transporte y de mantenimiento de inventario son lineales. En particular,
los inventarios iniciales se utilizan para satisfacer las demandas ms
tempranas a travs de los trayectos ms cortos apropiados en la red,
despus de lo cual se actualizan las demandas y se resuelve el problema
restante sin inventarios iniciales.

5. CONCLUSIONES E INVESTIGACIONES FUTURAS

En este trabajo se ha considerado una generalizacin del ELSP clsico

con capacidades de produccin estacionarias que permite mltiples
niveles de almacenamiento, as como las correspondientes decisiones de
transporte para el transporte entre los diferentes niveles. Hemos
identificado dos casos especiales importantes de este problema que son
solubles en tiempo polinomial. Los tiempos de ejecucin de los
algoritmos correspondientes son notablemente insensibles al nmero de
niveles en la cadena de suministro. Las cuestiones abiertas para futuras
investigaciones en este mbito pueden dividirse en tres direcciones
generales. En primer lugar, las complejidades, aunque polinmicas en el
horizonte de planificacin, son de orden relativamente alto:
para los casos de dos niveles. Sera interesante si el orden del tiempo de
ejecucin podra reducirse, por ejemplo, investigando si se puede
ahorrar ms tiempo al determinar los costos de muchos o todos los
subplanos simultneamente. Adems, aunque el nmero de niveles ser
generalmente relativamente pequeo, sera interesante determinar si el
caso multinivel con funciones de coste cncavo general puede ser
resuelto en tiempo polinmico tanto en el horizonte temporal como en el
nmero de niveles. Una segunda direccin es el estudio de las cadenas
de suministro en serie en presencia de capacidades en otros o niveles
adicionales en la cadena. Por ltimo, sera interesante considerar
estructuras de cadena de suministro ms complejas, incluyendo, por
ejemplo, estructuras de ensamblaje de productos a nivel de productor o
mltiples minoristas. Un apndice en lnea de este documento est
disponible en http://mansci.pubs.informs.org/ecompanion.html.