MODELOS DE EQUILBRIO DE

FLUXO EM REDES

Prof. Srgio Mayerle

Depto. Eng. Produo e Sistemas
UFSC/CTC
Definio Bsica
A rede definida por um grafo G = ( N , A) ,
onde:
3
N = {1,2,..., n} um conjunto de ns 5
A = {1,2,..., m} um conjunto de arcos

onde ak = (i, j ) A um par ordenado de

2
elementos do conjunto N , isto , i, j N . 1

Diz-se que ak um arco com origem em i e

trmino em j.
4
Problemas de Fluxo em Redes

Definio

Um Problema de Fluxo em Redes consiste em encontrar um padro de fluxo f ,

associado ao grafo G = ( N , A) , que atenda as condies de conservao de fluxo,
capacidade e no-negatividade. O conjunto depende das caractersticas particulares de
cada problema, e pode ser definido como segue:

k f krs = qrs r , s
Modelos de Trfego 1 rs
fk 0 r , s, k

a =(,i )A f a a =(i ,)A f a + pi d i = 0 i N

Modelos Econmicos 2
min max
a
q f a q a a
Problemas de Fluxo em Redes
Problemas de Equilbrio em Redes de Trfego
Fluxo de Equilbrio

Definio Fluxo de Equilbrio

Um padro de fluxo vivel f em G = ( N , A) est em equilbrio quando no

existe um mecanismo atuando no sentido de modific-lo. (Mayerle, 2006)

Definio UE

Um fluxo em redes corresponde a soluo de Equilbrio do Usurio (UE) quando

nenhum usurio consegue diminuir seu prprio tempo de viagem, atravs de
uma mudana unilateral de rota. (Wardrop, 1952)

Definio SUE

Um fluxo em redes corresponde a soluo de Equilbrio Estocstico do Usurio

(SUE) quando nenhum usurio acredita ser possvel diminuir seu prprio
tempo de viagem, atravs de uma mudana unilateral de rota. (Daganzo e Sheffi,
1977)
Premissas do UE

1. conhecido t (x) = (t1 (x), t 2 (x),..., t m (x)) : m m , um mapeamento

contnuo, diferencivel e no decrescente em relao s componentes do vetor de
fluxo dos arcos, denotado por x = ( x1 , x2 ,..., xm ) , onde t a (x) : m a
funo do tempo de viagem do arco a .

2. x t (x) , o Jacobiano de t (x) em relao a x = ( x1 , x2 ,..., xm ) , uma matriz

simtrica e semidefinida positiva.

3. So conhecidas as demandas qrs , r , s N para todo par (r , s ) da matriz O/D.

4. Cada usurio conhece estes tempos e capaz de determinar e escolher, com base
neles, qual o caminho mais curto a ser tomado, dado o fluxo produzido pelos
demais usurios da rede.
Algumas Funes Empricas
BPR U. S. Bureau of Public Roads (1964)

xa


o
t a ( xa ) = t a 1 + , a A
Ca

Davidson (1966)
xa
o
t a ( xa ) = t 1 +
a , a A
C a xa

Onde: xa fluxo do arco a A

t ao tempo de viagem com fluxo livre do arco a A
, , parmetros das funes, ajustados com base em dados
Ca , Ca capacidade prtica e terica do arco a A
Formulao de Modelos de NLP
1. Sem interao entre arcos

xa

Min z (x) = t a ( w) dw (1.a)

aA 0

s.a: xa = f ars,k
r , s ,k
k
rs
a A (1.b)

rs
f = ( f ) 1
k (1.c)

2. Com interao em vias de mo-dupla

1 a
x xa

Min z (x) = t a ( w, xa ) dw + t a ( w,0) dw (2.a)

2 aA 0 0
s.a: (1.b) e (1.c)
Condio de Equivalncia
Modelo Lagrangeano Equivalente ao problema (1.a) (1.c) com respeito s restries de
conservao de fluxo:

rs
Min L (f , u ) = z ( x(f )) + u rs qrs f k
rs k
s.a: xa = f k a ,k
rs rs
a A
r , s ,k

f krs 0 r , s, k

Aplicando as condies de primeira ordem de KKT para este problema

f krs rs
L(f , u) = 0 e rs
L(f , u) 0 r , s, k
f k f k

L(f , u) = 0 r , s
u rs
Obtm-se:

f krs (ckrs u rs ) = 0 r , s, k

ckrs u rs 0 r , s, k

k
f krs = qrs r , s

f krs 0 r , s, k

Portando, na soluo tima do problema (1.a) (1.c), f satisfaz1 e existindo fluxo no

k -simo caminho que conecta o par (r , s ) da matriz O/D ento ckrs = u rs . Se no existe
rs
fluxo no k -simo caminho que conecta o par ( r , s ) da matriz O/D, ento ck u rs .

Assim, na soluo tima do problema (1.a)(1.c) no haver incentivo para que usurios
troquem de rota e o fluxo estar em equilbrio. (Wardrop, 1952)
Condies de Unicidade da Soluo
1. 1 um conjunto compacto e no vazio

2. 2 z (x(f )) semidefinida positiva z (x(f )) uma funo convexa

3. As duas condies acima garantem a existncia de um nico mnimo global

4. Se existe um nico mnimo global ento o ponto de equilbrio nico

Observao:

As condies de KKT tambm se aplicam ao problema com interao em vias de

mo-dupla, que tambm tem soluo nica e, consequentemente, um nico ponto
de equlbrio.
Extenses de Super-redes
Demanda Elstica

qrs = Drs (u rs ) u rs = Drs1 (qrs ) ou

urs = Drs1 (qrs ers ) = Wrs (ers )

A demanda associada a um par O/D ( r , s ) funo do tempo de viagem mnimo

entre o n de origem r e o n de destino s .

rs rs rs

rs rs rs

rs

rs rs
Extenses de Super-redes
Escolha entre Modais Independentes

q rs 1 1
q rs
= urs = ln + urs r , s
qrs 1 + e ( urs urs ) qrs q rs
O particionamento da demanda entre os diversos modais de transporte obedece a
uma funo distribuio de probabilidade logit multinomial.

1 qrs
trs (qrs ) = ln + urs
qrs qrs

q rs
Mtodo de Frank-Wolfe (1956)
Algoritmo

P0. Inicializao. Faa uma alocao tudo-ou-nada baseada em t a = t a (0), a ,

1
gerando {xa }. Faa k := 1.
k k
P1. Atualizao. Faa t a := t a ( xa ), a .
P2. Obteno da direo. Faa uma alocao tudo-ou-nada baseada em {t ak },
k
gerando o padro de fluxo auxiliar { y a}.
xak + ( yak xak )
P3. Busca em linha. Encontre k que resolve: min 0 1 0
t a ( w) dw
P4. Movimento. Faa xak +1 := xak + k ( y ak xak ), a .
k +1
P5. Teste de Convergncia. Se x x k , pare. Em caso contrrio faa
k := k + 1 e volte para P1.
Formulao VI
Teorema (adaptado de Nagurney, 1999)

Um padro de fluxo f * 1 , sobre caminhos de G = ( N , A) , soluo do UE

se e somente se f * satisfaz o seguinte problema de VI:

c(f * ), f f * 0 f 1

Algortimo de Projeo

P1. Obtenha f 0 . Faa k := 0 .

k +1
P2. Calcule f := P1 (f k k c(f k ))
P3. Se f k +1 f k > , faa k := k + 1 volte para P2.
P4. Apresente f k +1
Exemplo

t12 = 4 + x123 3
t24 = 3 + x24

q14 = 2,00
3 3
t13 = 2 + 0,5 x13 t32 = 0,5 + 2 x 32 q12 = 1,50
= 1,20
3
t34 = 6 + 0,5 x34

u = 10

Fluxo de Caminhos: f114
 f 214
 f 314


f112
 f 212
 q14

Formulao (dados)
Fluxos e tempos de viagem nos arcos da rede

x12 = f114 + f112 t12 ( x12 ) = 4 + x123 c114 = t12 + t 24

x13 = f 214 + f 314 + f 212 t13 ( x13 ) = 2 + 0,5 x133 c14
2 = t13 + t32 + t 24
3
x32 = f 214 + f 212 t32 ( x32 ) = 0,5 + 2 x32 c314 = t13 + t34
3
x34 = f 314 t34 ( x34 ) = 6 + 0,5 x34 c112 = t12
x24 = f114 + f 214 3
t 24 ( x24 ) = 3 + x24 c12
2 = t13 + t32

1 q14
q14 t(q14 ) = ln + 10
1,2 2 q14
Formulao

c114 f114
14 14
q14 + f114 + f 214 + f 314 = 2 c2 f2
12 c314 f 314
1 f1 + f 212 = 1,5 c(f ) = 12 f = 12
q , f 14 , f 14 , f 14 , f 12 , f 12 0 c1 f1
14 1 2 3 1 2 c12 f 212
2

t14 q14

Encontrar f * | c(f * ), f f * 0, f 1 .
Clculos
Soluo
q14 1
CONVERGNCIA
=
q14 1 + e ( urs urs )
Arco 1-2
Arco 1-3
2,500 Arco 3-2
Arco 3-4
Arco 2-4
Ferrovia
2,000
q14 0,787
= = 0,394
1,500
q14 2,000
Fluxo

1,000
1
( u rs u rs ) = 0,381
0,500 1+ e

-
0 5 10 15 20 0,394 0,381
Iterao
Soluo
Concluso...

FIM