Professional Documents
Culture Documents
1 Clases de Lenguajes
Nos abocaremos ahora a la tarea de denir mas formalmente ciertos conceptos so-
bre los cuales descansa la criptografa moderna. Por ello, algunos conceptos basicos de
complejidad como lenguajes y maquinas de Turing (determinsticas, no-determinsticas,
probabilsticas) se supondran conocidos. 1
1
1 CLASES DE LENGUAJES 2
Denicion 8 Decimos que un lenguaje Lesta en BPP si existe una maquina de Tur-
ing M ( ; ) y polinomios p y q tales que
Dem: Denotemos por BPP al conjunto denido en forma analoga a BPP , cam-
biando las constantes y por 1 y respectivamente.
2 1
0<<< . 1
Con ello, se sigue que existe una maquina de Turing M , tal que si x 2 L
2
P2f0;1gq( x ) [ M (x; )
j j = acepta] 1 :
1 CLASES DE LENGUAJES 4
= 1 k1 (1 )
( ) 1
2
2
=1
(donde denotamos por a k ).
1 (1
1
(2
)
)2
Si es constante, esta probabilidad puede hacerse arbitrariamente cercana a 1 al
aumentar k.
Analogamente, si x 62 L, entonces como Bin(k; ) tendremos que
P[ M 0 acepta ] P[ k2 ]
= P[ E () k ( 12 )]
k (Var)
2 1 2
2
= 1 (1 )
k( 1
2
) 2
=
1 CLASES DE LENGUAJES 5
L 2BPP .
2
constante 2 ( 0 ; 1 ).
Observacion 3 La denicion de coRP es analoga solo que exige que la probabilidad
de aceptar cuando x 2 Lsea igual a 1 y la probabilidad de aceptar cuando x 62 Lsea
menor o igual a 31 .
Denicion 10 Decimos que un lenguaje Lesta en ZPP si existe una maquina de
Turing probabilstica M ( ) y un polinomio p tal que
1. x 2 L si y solo si M ( x ) = acepta.
2. La esperanza del numero de pasos que M ejecuta en la entrada x es a lo mas
p( jxj ).
4 Un ejemplo de lenguaje que esta es BPP y no se sabe aun si esta en P es el lenguaje de todos los
enteros primos (esto es, vericar primalidad).