Aluno: Thiago Soares da Silva

1. O que é decidibilidade e qual a importância de reconhecer um problema

como decidível para a ciência da computação?

Dizer que algo é decidível (na área de computação) equivale a dizer que o
problema computacional referente a esse é decidível ou não. Uma análise
semântica da palavra decidível nos dá um significado claro: Algo que pode ser
decidido, porém façamos aqui uma análise a nível de computação. Por definição
temos que um problema é decidível se ele possui uma solução que não seja no
infinito, ou seja, se esse problema pode ser resolvido computacionalmente (por meio
de um algoritmo), mesmo que em um tempo muito grande, mas pode ser resolvido,
ele é decidível. Ou seja, se há uma Máquina de Turing que resolva esse problema
retornando uma resposta, diz-se que ele é decidível.

A função básica do computador, cujo nome provém do latim ‘putare’ que significa
‘calcular, computar’ é de literalmente computar ‘algo’. A palavra ‘algo’ sugere uma
generalização muito grande, contudo, intencional. Um computador tem a função de
computar qualquer coisa a qual sua natureza seja computável, ou decidível, desde
uma soma entre dois números até a simulação de funções quadridimensionais.
Qualquer problema da natureza que seja computável e decídível, ou seja, que
possa ser resolvido por um algoritmo, é o objeto de trabalho de um computador.
Fica claro então a importância do estudo de problemas decidíveis na ciência da
computação, pois ora, a ciência da computação tem como objeto principal de estudo
o próprio computador e suas ramificações de usos. È necessário a um estudioso
dessa área saber o que pode ser resolvido ou não por um computador, e esse saber
dá-se com a noção de decidibilidade.

2. Qual é a definição de computabilidade e como a computabilidade se

relaciona à decidibilidade?

Define-se computabilidade como ‘A computabilidade refere-se a existência ou

não de um procedimento que resolva um determinado problema em um tempo
finito’. Um problema é computável se é solucionável ou parcialmente solucionável.

Um problema é dito decidível se a sua função característica (que retorna apenas

dois valores: sim ou não, verificável ou não verificável, 1 ou 0) é computável ou não,
ou seja, a decidibilidade de um problema se dá analisando se existe uma função
computável que a verifique. O fato de uma teoria ser decidível ou não usa a
definição formal da própria computabilidade para mostrar se esse determinado
conjunto é um conjunto decidível ou indecidível.
 3. Em um problema decidível, há diferentes classes de decidibilidade, que
levam a soluções mais difíceis ou mais fáceis de serem implementadas?

Um problema decidível possui diferentes classes, como as solucionáveis, e as

Parcialmente Solucionáveis. Cada uma usa um algoritmo, que pode ou não retornar
uma solução informando uma resposta de aceitação ou rejeição. Um problema
parcialmente solucionável pode permanecer em estado de processamento
indefinidamente.

Diferentes algoritmos geram diferentes implementações, com diferentes tempos

de respostas e complexidade. Algoritmo polinomiais são mais fáceis de ser
implementados e mais rápidos do que algoritmos exponenciais por exemplo. Existe
uma gama imensa de classes de complexidade de problemas decidíveis, cada um
com suas peculiaridades e facilidade de implementação ou não, bem como a sua
rapidez de processamento. Ex: Problemas exponenciais, lineares, logarítmicos,
etc...

Uma taxa de crescimento de bactérias por exemplo segue um padrão

logarítmico, enquanto o cálculo da velocidade de um carro com base na distância
percorrida e no tempo segue um padrão linear. Mesmo os algoritmos de
organização de vetores possuem complexidade distintas entre si.

4. Um problema não decidível ou de complexidade de tempo não

polinomial ainda pode ser resolvido por um computador ?

Um problema é dito não decidível se não existe um algoritmo que solucione o

problema para qualquer entrada. Em se tratando de um problema de complexidade
de tempo não polinomial, apenas valores baixos podem ser considerados
aceitáveis. Logo, um problema não decidível não pode ser resolvido por um
computador, pois precisa ter um função de computabilidade que o resolva, porém,
como vimos, nem todo valor de entrada de um problema não decidível pode ser
resolvido, o mesmo vale para problemas de complexidade de tempo não polinomial.

Resumindo, sabemos que alguns problemas não decidíveis ou de complexidade

de tempo não polinomial são PARCIALMENTE solucionáveis, contudo os problemas
não decidíveis COMPLETAMENTE não possuem algoritmo que os resolva, não
podendo ser assim resolvidos por um computador.