13.07.2015 Views

Fluxo em Rede

Fluxo em Rede

Fluxo em Rede

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Teoria dos GrafosIntrodução<strong>Fluxo</strong> <strong>em</strong> <strong>Rede</strong>s• Considere a seguinte situação modelada por um grafo:– Cada arco representa uma rua de de mão única.– O peso de de cada arco indica o maior fluxo possível ao aolongo da da rua (veículos/hora).• Qual o maior número possível de de veículos que pode viajar de dev a w <strong>em</strong> uma hora?x442v3y 1 2 w12z4Teoria dos Grafos© Jorge Figueiredo, DSC/UFCGTeoria dos Grafos© Jorge Figueiredo, DSC/UFCG<strong>Rede</strong> (de fluxo)• Uma rede (de fluxo) G = (V, E) E) é um grafo dirigido <strong>em</strong> quecada aresta (u, v) v) ∈ E t<strong>em</strong> um valor (não-negativo)capacidade c(u,v). Se (u, v) v) ∉ E, E, assume-se que c(u,v) = 0. 0.• Uma rede possui dois vértices especiais: fonte e sorvedouro.• ∀v ∈ V, V, assume-se que existe um caminho entre a fonte esorvedouro que passa por v. v.• O grafo é, é, portanto, conectado e |E| ≥ |V| - 1 ..s1610v4129x720t134y14zTeoria dos Grafos© Jorge Figueiredo, DSC/UFCGTeoria dos Grafos© Jorge Figueiredo, DSC/UFCG<strong>Fluxo</strong> <strong>em</strong> <strong>Rede</strong>• Sejam um grafo G = (V, E), a função capacidade c, c, umafonte s e um sorvedouro t. t. O fluxo <strong>em</strong> G é uma função f: f:V×V → REAIS que satisfaz às às seguintes propriedades:1. 1. Restrição de de capacidade: ∀u,v ∈ V, V, f(u,v) ≤ c(u,v).2. 2. Simetria: ∀u,v ∈ V, V, f(u,v) = -f(v,u).3. 3. Conservação do do fluxo: ∀u ∈ V – {s, t}, t}, ∑ v∈V v∈Vf(u, v) v) = 0. 0.• A quantidade f(u,v) (positiva ou ou negativa) indica o fluxo da darede a partir do do vértice u até o vértice v. v.• O fluxo total da da rede é |f| |f| = ∑ v∈V v∈Vf(s,v).s11/168/1310v1/412/124/9x7/715/204/4ty11/14zTeoria dos Grafos© Jorge Figueiredo, DSC/UFCGTeoria dos Grafos© Jorge Figueiredo, DSC/UFCG1


<strong>Rede</strong>s Residuais• |f| |f| = 19.• Apenas os os fluxos positivos são mostrados.• Se f(u,v) > 0, 0, mostramos f(u,v)/c(u,v). Caso contráriomostramos apenas a capacidade.• Pode ser generalizado para redes com múltiplas fontes esorvedouros.• Um dos probl<strong>em</strong>as é encontrar o fluxo máximo.• Sejam uma rede e um fluxo. Uma rede residual é uma redecom os os arcos da da rede original que comportam mais fluxo.• Sejam um grafo G = (V, E), a função capacidade c, c, um fluxof, f, uma fonte s e um sorvedouro t: t:– Capacidade residual de de (u,v):• c f (u,v) f = c(u,v) – f(u,v).• A rede residual induzida por f é G f f= (V, E f ), f ), <strong>em</strong> que– E f f= {(u,v) ∈ V×V : c f (u,v) f >0}.Teoria dos Grafos© Jorge Figueiredo, DSC/UFCGTeoria dos Grafos© Jorge Figueiredo, DSC/UFCG<strong>Rede</strong> Residual (ex<strong>em</strong>plo)Caminho Expandívels51111v35124x7155t• Seja uma rede G = (V, E) E) e um fluxo f ,, um caminhoexpandível p é um caminho de de s para t na na rede residual G f . f .• A capacidade residual de de um caminho expandível é definidacomo:– c f (p) f = min{c f (u,v) f : (u,v) ∈ p}.854y113zTeoria dos Grafos© Jorge Figueiredo, DSC/UFCGTeoria dos Grafos© Jorge Figueiredo, DSC/UFCGCaminho Expandível (ex<strong>em</strong>plo)O Método de Ford-Fulkerson5v12x5• Como determinar o fluxo máximo?– Utilizar os os conceitos de de grafo residual e caminhoexpandível.1115s8113547tBFS(G, s, t)for ∀e ∈ E[G] dofluxo[e] ← 05y311z4while exisitr um caminho expandível p doaumentar f ao longo de preturn fTeoria dos Grafos© Jorge Figueiredo, DSC/UFCGTeoria dos Grafos© Jorge Figueiredo, DSC/UFCG2


Cortes• Um corte é uma partição de V <strong>em</strong> S e T = V – S, <strong>em</strong>que s ∈ S e t t ∈ T• O fluxo da rede (f(S,T)) através do corte é a somados fluxos f(u,v), <strong>em</strong> que u ∈ S e v ∈ T• A capacidade (c(S,T)) do corte é a soma dascapacidades c(u,v), <strong>em</strong> que u ∈ S e v ∈ T• Corte mínimo – um corte com a menor capacidade• |f|= f(S,T)s11/168/13v10 1/4y12/124/911/14x7/7z15/204/4tSTTeoria dos Grafos© Jorge Figueiredo, DSC/UFCGTeoria dos Grafos© Jorge Figueiredo, DSC/UFCGTeor<strong>em</strong>a do <strong>Fluxo</strong> Máximo-Corte Mínimo• Se f f é o fluxo de G, as seguintes condições sãoequivalentes:1. 1. f f é um fluxo máximo de G2. 2. A rede residual G ff não contém caminhosexpandíveis3. 3. |f| |f| = c(S,T) para algum corte (S,T) de GTeoria dos Grafos© Jorge Figueiredo, DSC/UFCG3

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!