Oraculos

El lenguaje S se extiende:
I

Logica y Computabilidad

tiene entradas X1 , . . . , Xn N (como antes) y una entrada

especial
V N

Computabilidad - clase 9 - Opcional

que se llama oraculo.

un nuevo termino (para leer la nueva entrada V )
(
1 si i V
V [i] =
0 sino

Oraculos - Reducibilidad de Turing - Jerarqua aritmetica - Problema

de Post

Todo se puede aritmetizar como antes. Existe un programa

universal:

2 cuatrimestre 2009

Departamento de Computaci
on - FCEyN - UBA

A
e (x1 , . . . , xn ) =

salida del e-esimo programa

con entrada x1 , . . . , xn y oraculo V = A

Tienen mas poder de computo

Reducibilidad de Turing
Para A, B N, decimos que A T B cuando se puede calcular el
conjunto A con oraculo B, i.e. existe p tal que

Por ejemplo, hay un programa que calcula el halting problem

K = {x : x (x) }

B
p =A

Pero claro... con oraculo K .

o sea, para todo x N

Por ejemplo, hay un programa p tal que

I

A
p = A para todo A

A
p = A para todo A

K
p = {x : dom x = }

B
p (x)

{x : x es total}

{x : K
x (x) }

si x A
sino

Tambien se dice que A es B-computable

Sin embargo, hay problemas que no se pueden resolver aun

teniendo el oraculo K :
I

(
1
= A(x) =
0

A T A para todo A

A T A para todo A

{x : dom x = } T K

{x : x es total} 6T K

{x : K
x (x) } 6T K
4

Conjuntos T

El salto
Para A N se define el salto de A como
A0 = {x : A
x (x) }

Por ejemplo,
0

= {x : x (x) } =
0
I 00 = {x :
x (x) }
00
I 000 = {x :
x (x) }
(n1)
I (n) = {x : x
(x)
I

A es r.e. sii

{x : x (x) } = K

existe e tal que A = dome

existe R p.r. tal que A(x) = 1 sii

(y ) R(x, y )

A sii A es computable sii

I

Decimos A <T B cuando A T B y B 6T A.

(y ) P(x, y )

A es co-r.e. sii A es r.e. sii

I

existe e tal que A = dome

existe P p.r. tal que A(x) = 1 sii

A es r.e. y co-r.e.
existen P y R p.r. tal que
A(x) = 1 sii (y ) P(x, y )

sii

(y ) R(x, y )

En general, para cualquier A N

A <T A0 <T A00 <T A000 . . .
6

Conjuntos T 0

Conjuntos T 00
I

A es 00 -r.e. sii
00

A es 0 -r.e. sii

I
I

A es
I
I

existe e tal que A = dome

existe P p.r. tal que A(x) = 1

0 -co-r.e.

sii A es

0 -r.e.

sii

(y )(z) P(x, y , z)

sii

00

sii

(y )(z) R(x, y , z)

A 0 sii A es 0 -computable sii

I
I

A es 00 -co-r.e. sii A es 00 -r.e. sii

I

0
dome

existe e tal que A =

existe R p.r. tal que A(x) = 1

existe e tal que A = dome

existe P p.r. tal que
A(x) = 1 sii (y )(z)(w ) P(x, y , z, w )

A es 0 -r.e. y 0 -co-r.e.
existen P y R p.r. tal que
A(x) = 1 sii (y )(z) P(x, y , z)

A 00 sii A es 00 -computable sii

I
I

sii

existe e tal que A = dome

existe R p.r. tal que
A(x) = 1 sii (y )(z)(w ) R(x, y , z, w )
A es 00 -r.e. y 00 -co-r.e.
existen P y R p.r. tal que

(y )(z) R(x, y , z)
A(x) = 1

sii

(y )(z)(w ) P(x, y , z, w )

sii

(y )(z)(y ) R(x, y , z, w )

La jerarqua aritmetica
I

Problema de Post

A es (n) -r.e. sii

Ejemplos de conjuntos r.e.

(n)

I
I

A es
I
I

existe e tal que A = dome

existe P p.r. tal que
A(x) = 1 sii (y )(z)(w ) . . . P(x, y , z, w , . . . ) con n
alternancias de cuantificadores (empezando con )

(n) -co-r.e.

sii A es

(n) -r.e.

sii

(n)
dome

existe e tal que A =

existe R p.r. tal que
A(x) = 1 sii (y )(z)(w ) . . . R(x, y , z, w , . . . ) con n
alternancias de cuantificadores (empezando con )

A (n) sii A es (n) -computable sii

I
I

A es (n) -r.e. y (n) -co-r.e.

existen P y R p.r. tal que
A(x) = 1

sii

(y )(z)(w ) . . . P(x, y , z, w , . . . )

sii

(y )(z)(y ) . . . R(x, y , z, w , . . . )

K = {x : x (x) } T 0

{hx, y i : x (y ) } T 0

{x : x es primo} T

{hx, hy , zii : x (y ) = z} T 0

N T

{x : dom x 6= } T 0

{x : x (x) tarda mas de 10 pasos en terminar} T

{x : 0 dom x } T 0

Decimos A T B cuando A T B y B T A.
Problema de Post (1944): Existe un A r.e. tal que <T A <T 0 ?

con n alternancias de cuantificadores.

9

Solucion al problema de Post

[Muchnik (1956), Friedberg (1957)]

Construir un conjunto A r.e. tal que

1. A es low: A0 T 0
esto garantiza
A <T A0 T 0
2. A es simple: A es infinito y A no contiene ning
un conjunto
infinito r.e.
no puede ser A T . Si lo fuera, A sera r.e. e infinito.

11

10