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.

13. Teoria <strong>de</strong> NP-completu<strong>de</strong><br />

Decisão A matriz é consistente (tem uma configuração dos campos escondidos,<br />

que po<strong>de</strong>m ser “bombas” ou livres tal que os números são<br />

corretos)?<br />

O mundo agora<br />

• O milagre da NP-completu<strong>de</strong><br />

•<br />

– Qualquer problema em NP tem uma redução polinomial<br />

para SAT!<br />

– Por que não usar só SAT? (soluções em 1.3 n )?<br />

Teorema 13.6 (Ladner [45])<br />

Se P = NP , existe uma linguagem L ∈ NP que nem<br />

é NP-completo nem em P.<br />

Stephen Arthur<br />

Cook (*1939)<br />

Muitos se interessavam<br />

270<br />

Woeginger’s página sobre P vs. NP<br />

Leonid Levin<br />

(*1948)

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

Saved successfully!

Ooh no, something went wrong!