Professional Documents
Culture Documents
So Bernardo do Campo
2015
Problemas impossveis
Existem problemas que no podem ser resolvidos por nenhum
computador, presente ou futuro, qualquer que seja o programa a ser
executado, mesmo com recursos ilimitados. O conjunto de todos os problemas
algortmicos pode ser dividido em dois subconjuntos: problemas computveis e
problemas no computveis. Todos os problemas com um conjunto finito de
entradas so computveis. No limite podemos escrever a sada a apresentar
para cada entrada.
- Problema da Paragem, 1936 (Halting Problem)
Dada descrio de um programa e a entrada inicial, determinar se o
programa, quando executado com a entrada definida, alguma vez termina
(halts) ou, alternativamente, executa para sempre.
- Teorema da Incompletude de Gdel, 1931
Num sistema lgico formal consistente, existem afirmaes verdadeiras
que no podem ser provadas.
Problemas No Viveis
Mesmo que o problema seja computvel, e um algoritmo correto exista,
a execuo pode ser demasiado dispendiosa no uso dos recursos, tornando-se
impraticvel. Um programa de computador consume recursos, tempo e
espao.
- Problema do caixeiro viajante
Para um conjunto de cidades, descobrir qual a ordem de visitas que
permite percorrer um caminho total mais curto visitando cada cidade apenas
uma vez?
5 cidades = 0.1 segundos;
10 cidades = 1 hora;
15 cidades = 41 anos;
20 cidades = 3.000.000 anos;
23 cidades = mais do que a idade do universo.
Bibliografia
Murdocca, Miles J., Heuring, Vincent P. Introduo arquitetura de
computadores. Rio de Janeiro: Elsevier, 2000 6 Reimpresso.
David Harel Computers Ltd. what they really cant do. Oxford University
Press, 2000.
Disponvel em: <http://web.fe.up.pt/~ssn/disciplinas/crc/limitacoescomputadores.pdf> Acesso em ago. 2015