Lista de exercícios #15 – Soluções1

Prof. Jorge C. Lucero

3 de maio de 2021

8.2 O jogador × joga na esquina superior esquerda. Se o jogador joga na casa central superior, então o
jogador ×
joga na casa central direita e ganha. Se o jogador não joga na casa central superior, então
o jogador ×joga nessa casa e ganha.

8.3 O Jogador I inicia a partir do nó 1, e a única escolha para sua primeira jogada é o nó 2. Se o Jogador II
escolhe o nó 3, então o Jogador I escolhe o 6 e o Jogador II perde. Por outro lado, se o Jogador II escolhe
4, então o Jogador I deve escolher 5; logo, o Jogador II escolhe 6 e o Jogador I perde. Assim, o Jogador I
não tem uma estratégia vencedora, mas o Jogador II sim (i.e., escolher o nó 4, e na próxima jogada, o 6).

8.4 i. Sejam L1 , L2 ∈ PSPACE, e M1 e M2 MTs determinísticas que as decidem em espaço O(nk ) e O(nℓ ),
respectivamente. A seguinte MT determinística decide L1 ∪ L2 :
M = “Sobre a entrada w:
1. Rode M1 sobre w. Se aceita, aceite.
2. Rode M2 sobre w. Se aceita, aceite; se rejeita, rejeite.”
Ambos os passos 1 e 2 são de espaço O(nk ) e O(nℓ ), respectivamente. Se o passo 2 reutiliza o espaço
do passo 1, então M roda em espaço O(nr ), onde r = max(k, ℓ), e, portanto, M roda em espaço
polinomial.
ii. Seja L1 ∈ PSPACE, e M1 uma MT determinística que a decide em espaço polinomial. A seguinte
MT determinística decide L1 :
M = “Sobre a entrada w:
1. Rode M1 sobre w. Se aceita, rejeite; se rejeita, aceite.”
O passo 1 é de espaço polinomial, portanto, M roda em espaço polinomial.
iii. Seja L1 ∈ PSPACE, e M1 uma MT determinística que a decide em espaço polinomial. A seguinte
MT não-determinística decide L∗1 :
M = “Sobre a entrada w:
1. Não deterministicamente, selecione uma subdivisão possível de w na forma w = w1 w2 · · · wk ,
com k = 1, 2, . . . , |w| (se w = ε, faça k = 1 e w1 = ε).
2. Para i = 1, 2, . . . , k, faça:
3. Rode M1 sobre cada wi . Se rejeita, rejeite.
4. Aceite.”
O passo 3 é de espaço polinomial. Em cada iteração do loop no passo 2, M reutiliza o mesmo espaço
e, portanto, M roda em espaço polinomial. Assim, L∗1 ∈ NPSPACE = PSPACE.

8.6 Se L é uma linguagem PSPACE-difícil, então, para toda linguagem A ∈ PSPACE, A ≤p L. Em particular,
NP ⊆ PSPACE; portanto, para toda linguagem B ∈ NP, B ≤p L, e então L é NP-difícil.

8.9 A seguinte MT não-determinística decide ESCADAAFD :

N = “Sobre a entrada hM, s, ti, onde M é um AFD, e s, t são cadeias sobre Σ (alfabeto de M ):
1. Se |s| =
6 |t|, rejeite.
2. Faça w = s.
3. Para i = 1, 2, . . . , |Σ||s| − 1, faça:
4. Não-deterministicamente, selecione uma cadeia x que difira de w em exata-
mente um símbolo.
5. Simule M sobre x. Se a simulação não termina em um estado de aceitação,
rejeite.
6. Se t = x, aceite.
7. Faça w = x.
8. Rejeite.”
1 Este texto é para uso exclusivo nas minhas aulas da disciplina Autômatos e Computabilidade do Departamento de Ciência da

Computação da Universidade de Brasília. Está proibida sua divulgação fora do âmbito dessas aulas e sem a minha autorização.
Por favor, informar erros a lucero@unb.br
 No loop dos passos 3-7, N percorre uma escada de cadeias partindo da cadeia s, selecionadas não-
deterministicamente. Se existe uma escada tal que cada cadeia esteja em L(M ) e atinja à cadeia t,
M aceita sua entrada. Dada uma cadeia s, a quantidade de possíveis cadeias a explorar é finita (existem
exatamente |Σ||s| cadeias de comprimento |s|), o que garante que N sempre pare.
A simulação de M pode ser realizada como explicado no Teorema 4.1, em espaço linear (polinomial). A
quantidade de cadeias a explorar aumenta exponencialmente com |s|; no entanto, em cada iteração do
loop, N só precisa armazenar a última cadeia analisada. Assim, N roda em espaço polinomial e, portanto,
ESCADAAFD ∈ NPSPACE = PSPACE.

8.11 Fazemos uma demonstração por contradição. Suponha que toda linguagem NP-difícil é também PSPACE-
difícil, mas PSPACE 6= NP.
Sabemos que NP ⊆ PSPACE. Se PSPACE 6= NP, então existe uma linguagem L ∈ PSPACE e L ∈ / NP.
Escolha uma linguagem NP-completa qualquer, e.g., SAT. Toda linguagem NP-completa também é NP-
difícil, então, pela suposição inicial, SAT é PSPACE-difícil. Assim, L ≤p SAT. No entanto, a mesma
redução implica que podemos decidir L não-deterministicamente em tempo polinomial: para decidir se uma
cadeia w ∈ L, compute a redução (em tempo polinomial) para obter f (w), e logo decida se f (w) ∈ SAT
usando a MT não-determinística de tempo polinomial que decide SAT. Portanto, L ∈ NP, o que gera uma
contradição.