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.

11. Do algoritmo ao problema<br />

Decibilida<strong>de</strong> versus <strong>complexida<strong>de</strong></strong><br />

• Qual é o po<strong>de</strong>r computacional?<br />

• Surpreen<strong>de</strong>ntemente (?), vários problemas não são <strong>de</strong>cidíveis.<br />

• Exemplo: O “Entscheidungsproblem” <strong>de</strong> Hilbert, o problema <strong>de</strong> parada,<br />

etc.<br />

• A equivalência dos mo<strong>de</strong>los significa que o mo<strong>de</strong>lo concreto não importa?<br />

• Sim para computabilida<strong>de</strong>, não para <strong>complexida<strong>de</strong></strong>!<br />

Exemplo <strong>de</strong> um mo<strong>de</strong>lo diferente: A máquina <strong>de</strong> RAM.<br />

A máquina RAM<br />

A máquina RAM (random access machine) é o mo<strong>de</strong>lo padrão para análise<br />

<strong>de</strong> algoritmos. Ela possui<br />

• um processador com um ou mais registros, e com apontador <strong>de</strong> instruções,<br />

• uma memória infinita <strong>de</strong> números inteiros e<br />

• instruções elementares (controle,transferência inclusive en<strong>de</strong>reçamento<br />

indireto,aritmética).<br />

A máquina RAM<br />

Existem RAMs com diferentes tipos <strong>de</strong> instruções aritméticas<br />

• SRAM : somente sucessor<br />

• RAM : adição e subtração<br />

• MRAM : multiplicação e divisão<br />

e com diferentes tipos <strong>de</strong> custos<br />

248<br />

• Custo uniforme: cada operação em O(1)<br />

• Custo logarítmico: proporcional ao número <strong>de</strong> bits dos operandos

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

Saved successfully!

Ooh no, something went wrong!