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

Create successful ePaper yourself

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

2<br />

2<br />

10.2. Aproximações para o PCV<br />

1<br />

1 1<br />

Figura 10.2.: AGM sobre R e melhor solução. : vértice em R, : vértice<br />

Steiner.<br />

Prova. Consi<strong>de</strong>re a solução ótima S ∗ <strong>de</strong> ASM. Duplica todas arestas 1 tal<br />

que todo vértice possui grau par. Acha um caminho Euleriano nesse grafo.<br />

Remove vértices duplicados nesse caminho. O custo do caminho C obtido<br />

<strong>de</strong>ssa forma não é mais que o dobro do custo original: o grafo com todas<br />

arestas custa 2c(S ∗ ) e a remoção <strong>de</strong> vértices duplicados não aumenta esse<br />

custo, pela metricida<strong>de</strong>. Como esse caminho é uma árvore geradora, temos<br />

c(A) ≤ c(C) ≤ 2c(S ∗ ) para AGM A. <br />

10.2. Aproximações para o PCV<br />

Teorema 10.3<br />

Para função polinomial α(n) o PCV não possui α(n)-aproximação em tempo<br />

polinomial, caso P = NP.<br />

Prova. Via redução <strong>de</strong> HC para PCV. Para uma instância G = (V, A) <strong>de</strong> HC<br />

<strong>de</strong>fine um grafo completo G ′ com<br />

<br />

1 a ∈ A<br />

ca =<br />

α(n)n caso contrário<br />

Se G possui um ciclo Hamiltoniano, então o custo da menor rota é n. Caso<br />

contrário qualquer rota usa ao menos uma aresta <strong>de</strong> custo α(n)n e portanto<br />

o custo total é ≥ α(n)n. Portanto, dado uma α(n)-aproximação <strong>de</strong> PCV<br />

po<strong>de</strong>mos <strong>de</strong>cidir HC em tempo polinomial. <br />

Caso métrico No caso métrico po<strong>de</strong>mos obter uma aproximação melhor.<br />

Determina uma rota como segue:<br />

1. Determina uma AGM A <strong>de</strong> G.<br />

1 Isso transforma G num multigrafo.<br />

231

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

Saved successfully!

Ooh no, something went wrong!