Dynamic programming and minimum

risk paths
Paolo Serafini
University of Udine, Department of Mathematics and Computer Sciences, Via delle
Scienze 206, 33100 Udine, Italy
CISM, International Center for Mechanical Sciences, Udine, Italy
European Journal of Operational Research

Introduccin
El desplazamiento de materiales peligrosos ha planteado
el problema de calcular trayectorias minimizando no slo
la longitud (costo o tiempo), sino tambin el riesgo de
daos causados por accidentes.
Definir la longitud de una ruta de acceso y el clculo de
una longitud de trayectoria mnima es claramente un
tema estndar. Por el contrario, hay varias maneras de
definir y calcular el '' riesgo '' de un camino.

Dos
cantidades tpicamente estn implicadas en la
evaluacin del riesgo:
La probabilidad de presencia de accidente sobre un
cierto arco del camino
El coste incurrido en caso de accidente sobre ese arco
de camino.
A pesar de que no es sencilla la forma de medir el costo,
suponemos que los nmeros , relacionados con los costes
de los accidentes, estn disponibles para cada arco del
camino.

De
los dos modos considerados anteriormente, se considera
solamente una de las dos cantidades. Por ejemplo podemos
considerar que los gastos de accidente son altos sobre cualquier arco
del camino con probabilidad y por consiguiente queremos reducir al
mnimo la probabilidad de un accidente a lo largo de un camino P.
Si es la probabilidad de un accidente en el arco , tenemos que
calcular caminos de longitud mnima con longitud dada por . O bien
podemos considerar que tarde o temprano un accidente ocurrir por
viajes repetidos y por lo tanto podemos encontrar ms apropiado
minimizar el costo o

la probabilidad y el costo de un accidente,

Combinando

podemos obtener el costo esperado en el camino , , , definido

como:

donde se toma en cuenta explcitamente el hecho de que una

vez que un accidente se ha producido en el arco del camino sin
ms el transporte se llevar a cabo en el subsecuentes arcos ,
h> k.

Extensin del modelo

Sea
G=(N,E) un grafo directo ( n = |N| y m = |E|) y s es el nodo
origen, como nodo destino tenemos a t.
Se adopta la siguiente notacin si P es un camino genrico
(iniciando de s) y j es un nodo en P denotamos a por la restriccin
de P de s a j. el camino finaliza en el nodo i escrito por .
Para la extensin del modelo la propuesta consiste en la
definicin particular del costo del camino V(P). Para cada arco
(i,j) una funcin es definida.

El costo del camino consiste solo del recurso s es definido

como . Para todos los otros caminos el costo de alcanzar j de

s a lo largo de del camino P es definido por: ) con i el nodo
inmediatamente precedente de j en . El costo depende solo
del costo del camino y no en el camino en si. Por lo tanto un
costo del camino es recursivamente definido por:

Tal que el costo de es dado por )))).

El objetivo consiste en encontrar para cada nodo j un

camino minimizando (o maximizando) . En muchos casos
y la funcin son aditivas, i.e.

Caminos de coste mnimo esperado

Un
camino de coste mnimo esperado puede ser
calculado por el algoritmo backward Bellman-Ford con
funciones:

Y un valor inicial

Optimizando en costo y distancia.

Junto con el objetivo de minimizar el costo del impacto
ambiental
deseamos al mismo tiempo minimizar la distancia de
recorrido. Por lo tanto tenemos que encontrar (por
ejemplo ptimo de Pareto) caminos no dominados con
respecto a dos objetivos.

Dado un camino P, el costo esperado c(P) es calculado

por:

Y la distancia esperada es similarmente calculada por:

Sea
K la envolvente convexa en los conjuntos Dado dos
caminos P y P, P se dice que domina a P
si c(P)c(P) y d(P)<(P) o c(P)c(P) y d(P) (P) .

Ejemplo

Se tienen los nodos (s,1,2,t) y los arcos (s,1), (1,t), (s,2), (2,t) , (s,t),
Por lo tanto existen tres caminos:

Clculos

= = 0.1(30) = 3