Para el jueves 1 de noviembre de 2012.
M es una MT determinística con 1 cinta de trabajo corriendo en tiempo t: ℕ ↦ ℕ . Dar una cota superior del tamaño del grafo de configuración de M con input x ∈ {0, 1} * , GM, x.
¿Porqué una máquina de Turing determinística decidiendo un lenguaje L en espacio s: ℕ ↦ ℕ tiene un tiempo de ejecución acodato?
Sea SUBSTRING el lenguaje siguiente: SUBSTRING = {⌊α, β⌋ ∣ β es una substring de α}. Por ejemplo ⌊abracadabra, rac⌋ pertenece a SUBSTRING, ⌊abracadabra, cadac⌋ no pertenece a SUBSTRING. Mostrar que SUBSTRING ∈ L.
(Sipser 8.11) Mostrar que si todo lenguaje NP difícil es tambien PSPACE difícil, entonces PSPACE=NP.
(Abhijit Das) Sea RL la versión de la clase RP pero con cota espacial logarítmica. Sea UPATH la versión no dirigida de PATH (ie, el problema de la conectividad en un grafo no dirigido). Un camino aleatorio en un grafo G es una secuencia de pasos tal que en cada paso se elige un vecino al azar. En 1979, Aleliunas et al. mostraron que un camino aleatorio partiendo de s y de 8 ⋅ ∣V(G)∣ ⋅ ∣E(G)∣ (ie O(m3) con m = ∣V(G)∣) pasos visita t con probabilidad ≥ 1 / 2. Describir un algoritmo en RL para UPATH usando ese resultado.