Teoria da Computabilidade

Subseção 3

Redutibilidade

Seção 5.1 do livro

Introdução à Teoria da Computação
Michael Sipser

INF/UFG – TC 2012/2 – Humberto Longo Redutibilidade (189 – 219 de 759)

 Redutibilidade

I Redução:
I Esquema de conversão de um problema em algum outro, de
modo que a solução deste segundo problema possa ser
utilizada para resolver o primeiro.
I Se A é redutível a B, resolver A não pode ser mais difícil do
que resolver B.
I Uma solução para B fornece uma solução para A.

se A é redutível a B
dificuldade (A) <= dificuldade (B)

I Se A é redutível a B e B é decidível, então A é decidível.

I Se A é redutível a B e A não é decidível, então B não é

decidível.

INF/UFG – TC 2012/2 – Humberto Longo Redutibilidade (190 – 219 de 759)

 Redutibilidade

Esquema da Redução

Problema A B

Solução SA SB
podemos usar uma solução para B para resolver A

Como provar que um problema não é decidível?

I Mostrar que algum problema não decidível é redutível ao
problema em questão.

INF/UFG – TC 2012/2 – Humberto Longo Redutibilidade (191 – 219 de 759)

 Problema da Parada

Lhalt = {hM, wi | Máquina de Turing M pára com entrada w}.

Teorema 3.18
A linguagem Lhalt não é decidível.

S(〈M,w〉)

R(〈M,w〉)

〈M,w〉∈Lhalt 〈M,w〉∉Lhalt

aceita rejeita

M(〈w〉)

aceita rejeita

aceita rejeita rejeita

INF/UFG – TC 2012/2 – Humberto Longo Redutibilidade (192 – 219 de 759)

 Problema da Parada

Esquema da Prova
I Usar o problema da aceitação por MT ’s para provar a
indecidibilidade de Lhalt .
I Usar a indecidibilidade de L MT para provar a indecidibilidade
de Lhalt .
I L
MT = {hM, wi | Máquina de Turing M aceita a cadeia w}.
I Fazer a redução de L MT para Lhalt .

INF/UFG – TC 2012/2 – Humberto Longo Redutibilidade (193 – 219 de 759)

 Problema da Parada

Esquema da Prova
I Supor que Lhalt é decidível e mostrar que a linguagem L MT é
decidível (contradição).
I Supor que máquina de Turing R decide Lhalt .
I Máquina S usa R como subrotina para decidir L MT :
I R recebe a entrada hM, wi e simula M .
I Se R indica que M não pára com w, S rejeita pois

hM, wi < L MT .
I Se R indica que M pára com w, simulação pode continuar.

I Se R existe, L MT é decidível (contradição).

INF/UFG – TC 2012/2 – Humberto Longo Redutibilidade (194 – 219 de 759)

 Problema da Parada

Lhalt = {hM, wi | Máquina de Turing M pára com entrada w}.

Teorema 3.18
A linguagem Lhalt não é decidível.

Demonstração.
I Supor que máquina de Turing R decide Lhalt .
I Máquina de Turing S que decide L MT :
1. S chama a máquina R com a codificação hM, wi.
2. Se R rejeita, S rejeita.
3. Se R aceita, simular M com w até M parar.
4. Se M aceitou, S aceita. Se M rejeitou, S rejeita.
I Se R decide Lhalt , então S decide L MT .
I Como L MT não é decidível, Lhalt também não pode ser
decidível.
⇤
INF/UFG – TC 2012/2 – Humberto Longo Redutibilidade (195 – 219 de 759)
 Problemas indecidíveis

L MT; = {hMi | M é uma MT e L(M) = ;}.

Teorema 3.19
A linguagem L MT ; não é decidível.

S(〈M,w〉)

M'(〈x〉) R(〈M'〉)

x≠w x=w L(M')=∅ L(M')≠∅

M(〈w〉) aceita rejeita

?
rejeita aceita w∉L(M') w∈L(M')

rejeita aceita w∉L(M) w∈L(M)

rejeita aceita

INF/UFG – TC 2012/2 – Humberto Longo Redutibilidade (196 – 219 de 759)

 Problemas indecidíveis

Esquema da Prova:
I Supor que L MT ; é decidível e mostrar que a linguagem L MT
é decidível (contradição).
I Supor que máquina de Turing R decide L MT ; .
I Máquina S usa R como subrotina para decidir L MT :
1. S recebe a entrada hM, wi.
2. R recebe a entrada hMi.
3. Se R aceita, L(M) = ; e M não aceita w.
4. Se R rejeita, L(M) , ; e M aceita alguma cadeia.
I M aceita a cadeia w??? Resposta indefinida!

INF/UFG – TC 2012/2 – Humberto Longo Redutibilidade (197 – 219 de 759)

 Problemas indecidíveis

Esquema da Prova:
I Supor que L MT ; é decidível e mostrar que a linguagem L MT
é decidível (contradição).
I Supor que máquina de Turing R decide L MT ; .
I Máquina S usa R como subrotina para decidir L MT :
1. S recebe a entrada hM, wi.
2. R recebe a entrada hM 0 i ( M 0 é uma versão modificada de M
que rejeita todas as cadeias, exceto w).
3. Usar R para testar se M 0 reconhece ; (L(M 0 ) , ; se e
somente se M 0 aceita w).

M' funciona normalmente sobre a entrada w

INF/UFG – TC 2012/2 – Humberto Longo Redutibilidade (198 – 219 de 759)

 Problemas indecidíveis

Esquema da Prova:
I Funcionamento de M 0 com a cadeia x:
1. Se x , w, M 0 rejeita.
2. Se x = w, chamar M com cadeia w. Se M aceita, M 0 aceita.

INF/UFG – TC 2012/2 – Humberto Longo Redutibilidade (199 – 219 de 759)

 Problemas indecidíveis

L MT; = {hMi | M é uma MT e L(M) = ;}.

Teorema 3.19
A linguagem L MT ; não é decidível.

Demonstração.
I Supor que máquina de Turing R decide L MT ; .
I Máquina S usa R como subrotina para decidir L MT .
I Funcionamento de S com a entrada hM, wi:
1. Usar a descrição de M e w para construir a máquina M 0 .
2. Chamar R com entrada hM 0 i.
3. Se R aceita, S rejeita. Se R rejeita, S aceita.
I Se R decidisse L MT ; , S decidiria L MT .
I Como L MT não é decidível, L MT ; também não é decidível.
⇤
INF/UFG – TC 2012/2 – Humberto Longo Redutibilidade (200 – 219 de 759)