Beruflich Dokumente
Kultur Dokumente
O que os
computadores
podem fazer?
Objetivo do estudo da
solucionabilidade de
problemas
Investigar
a existncia ou no de
algoritmos que solucionem
determinada classe de
problemas.
Objetivo do estudo da
solucionabilidade de
problemas
Investigar
os limites da
computabilidade e,
conseqentemente, os limites do
que pode efetivamente ser
implementado em um
computador.
Abordagem
Concentra-se
nos problemas
com respostas binrias
(problemas sim/no ou
problemas de deciso).
Abordagem
A
Importante !
a
Problemas so nosolucionveis.
a)Equivalncia de Compiladores. No
existe algoritmo genrico que
sempre pare capaz de comparar
quaisquer dois compiladores de
linguagens livres do contexto como
PASCAL, verificando se so
equivalentes (se reconhecem a
mesma linguagem);
Problemas so nosolucionveis.
problemas parcialmente
solucionveis so computveis.
Importante !
a
Princpio da Reduo
O estudo da solucionabilidade
de um problema feito na
investigao
da
solucionabilidade
de
um
problema a partir de outro, cuja
classe de solucionabilidade
conhecida.
Princpio da Reduo
Princpio da Reduo
a)
Se A no-solucionvel
(respectivamente,
nocomputvel), ento, como A
um caso de B, conclui-se que B
tambm no-solucionvel
(respectivamente,
nocomputvel);
Princpio da Reduo
b)
Se
B
solucionvel
(respectivamente, parcialmente
solucionvel), ento, como A
um caso de B, conclui-se que A
tambm
solucionvel
(respectivamente, parcialmente
solucionvel).
Princpio da Reduo
Problema A
Reduo de A
Problema B
Definio: Problema
Solucionvel
Um problema dito
Solucionvel se existe um
algoritmo (Mquina Universal)
que solucione o problema tal
que sempre pra para qualquer
entrada, com uma resposta
afirmativa (ACEITA) ou
negativa (REJEITA).
Observao:
Um problema Solucionvel
tambm chamado de Decidvel.
Observao:
Um problema No-Solucionvel
tambm chamado de
Indecidvel.
Definio: Problema
Parcialmente Solucionvel
ou Computvel
Um problema dito Parcialmente
Solucionvel ou Computvel se existe um
algoritmo (Mquina Universal) que
solucione o problema tal que pare
quando a resposta afirmativa (ACEITA).
Entretanto, quando a resposta esperada
for negativa, o algoritmo pode parar
(REJEITA) ou permanecer processando
indefinidamente (LOOP).
Definio: Problema
Completamente Insolvel ou
No-Computvel
Um problema dito
Completamente Insolvel ou
No-Computvel se no existe
um algoritmo (Mquina
Universal) que solucione o
problema tal que pare quando a
resposta afirmativa (ACEITA).
Classe de Problemas
Universo de Todos os Problemas
Solucionveis
No-Solucionveis
Parcialmente
Solucionveis
Completamente
Insolveis
Computveis
No-Computveis