13.04.2013 Views

Algoritmos e complexidade Notas de aula - Arquivo Escolar

Algoritmos e complexidade Notas de aula - Arquivo Escolar

Algoritmos e complexidade Notas de aula - Arquivo Escolar

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

9. <strong>Algoritmos</strong> em grafos<br />

Limites inferiores Para G = (V, E, b, c) com limites inferiores b : E → R<br />

consi<strong>de</strong>re o problema<br />

maximiza f(s)<br />

sujeito a f(v) = 0 ∀v ∈ V \ {s, t} (9.5)<br />

be ≤ fe ≤ ce<br />

e ∈ E.<br />

O problema (9.5) po<strong>de</strong> ser reduzido para um problema <strong>de</strong> fluxo máximo simples<br />

em G ′ = (V ′ , E ′ , c ′ ) (veja Fig. 9.5(b)) com<br />

V ′ = V<br />

E ′ = E ∪ {(v, t) | (v, u) ∈ E} ∪ {(s, u) | (v, u) ∈ E} (9.6)<br />

c ′ ⎧<br />

⎪⎨ ce − be e ∈ E<br />

e = b (v,u)<br />

⎪⎩<br />

e = (v, t)<br />

e = (s, u)<br />

b (v,u)<br />

Lema 9.11<br />

Problema (9.5) possui uma viável sse (9.6) possui uma solução máxima com<br />

todos arcos auxiliares E ′ \ E saturados. Neste caso, se f é um fluxo máximo<br />

em (9.5),<br />

f ′ ⎧<br />

⎪⎨ fe − be e ∈ E<br />

e = bf e = (v, t) criado por f = (v, u)<br />

⎪⎩<br />

e = (s, u) criado por f = (v, u)<br />

bf<br />

é um fluxo máximo <strong>de</strong> (9.6) com arcos auxiliares saturados. Conversamente,<br />

se f ′ é um fluxo máximo para (9.6) com arcos auxiliares saturados, fe = f ′ e+be<br />

é um fluxo máximo em (9.5).<br />

Prova. (Exercício.) <br />

Existência <strong>de</strong> uma circulação Para G = (V, E, c) com <strong>de</strong>mandas dv, com<br />

dv > 0 para <strong>de</strong>stinos e dv < 0 para fontes, consi<strong>de</strong>re<br />

existe f<br />

s.a f(v) = −dv ∀v ∈ V (9.7)<br />

fe ≤ ce<br />

e ∈ E.<br />

Evi<strong>de</strong>ntemente <br />

v∈V dv = 0 é uma condição necessária (lema (9.1)). O<br />

problema (9.7) po<strong>de</strong> ser reduzido para um problema <strong>de</strong> fluxo máximo em<br />

G ′ = (V ′ , E ′ ) com<br />

208

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

Saved successfully!

Ooh no, something went wrong!