Un circuito booleano no determinista tiene, además de las entradas ordinarias , un conjunto de entradas "no deterministas" y = ( y 1 , ... , y m ) . Un circuito no determinista C acepta la entrada x si existe y tal que la salida del circuito 1 está activada ( x , y ) . Análogo a P / p o l y(la clase de idiomas que se puede decidir mediante circuitos de tamaño polinómico), se puede definir como la clase de idiomas que se puede decidir mediante circuitos no deterministas de tamaño polinómico. Se cree ampliamente que los circuitos no deterministas son más potentes que los circuitos deterministas, en particular N P ⊂ P / p o l y implican que la jerarquía polinómica se colapsa.
¿Existe un ejemplo explícito (e incondicional) en la literatura que muestre que los circuitos no deterministas son más poderosos que los circuitos deterministas?
En particular, ¿conoce una familia de funciones computable por circuitos no deterministas de tamaño c n , pero no computable por circuitos deterministas de tamaño ( c + ϵ ) n ?
fuente
Respuestas:
Si este problema no tiene progreso, tengo una respuesta.
-
También he considerado este problema desde mi artículo COCOON'15 (antes de su pregunta).
Ahora, tengo una estrategia de prueba, e inmediatamente, se da el teorema siguiente: Hay una función booleana tal que el determinista T 2 complejidad -Circuito de f es como máximo de 2 n + O ( n ) y el determinista T 2 -Circuito La complejidad de f es 3 n - o ( n ) .F U2 F 2 n + o ( n ) U2 F 3 n - o ( n )
Pido disculpas por no haber escrito el documento. El bosquejo de prueba a continuación podría ser suficiente para explicar mi estrategia de prueba. Mi objetivo es escribir el documento con más resultados antes de la fecha límite de STACS (1 de octubre).
[Bosquejo de prueba]
DejeF= ∨norte√- 1i = 0PAGa r i t ynorte√( xnorte√⋅ i + 1, ... , xnorte√⋅ i + n√)
La prueba determinista de límite inferior se basa en un método de eliminación de puerta estándar con una pequeña modificación.
La prueba de límite superior no determinista es una construcción de dicho circuito no determinista.
fuente