En la década de 1980, Razborov demostró que hay funciones booleanas monótonas explícitas (como la función CLIQUE) que requieren exponencialmente muchas puertas AND y OR para computar. Sin embargo, la base {AND, OR} sobre el dominio booleano {0,1} es solo un ejemplo de un conjunto de puertas interesante que no es universal. Esto lleva a mi pregunta:
¿Hay algún otro conjunto de puertas, interesantemente diferente de las puertas monótonas, para las cuales se conocen límites inferiores exponenciales en el tamaño del circuito (sin profundidad u otras restricciones en el circuito)? Si no, ¿hay algún otro conjunto de puertas que sea un candidato plausible para tales límites inferiores --- límites que no necesariamente requerirían romper la barrera de las Pruebas Naturales, como el resultado de los circuitos monótonos de Razborov no lo hizo?
Si existe tal conjunto de compuertas, entonces ciertamente estará sobre un alfabeto k-ary para k≥3. La razón es que, sobre un alfabeto binario, el
(1) puertas monótonas ({AND, OR}),
(2) puertas lineales ({NOT, XOR}), y
(3) puertas universales ({AND, OR, NOT})
básicamente agota las posibilidades interesantes, como se desprende del teorema de clasificación de Post. (Tenga en cuenta que supongo que las constantes --- 0 y 1 en el caso binario --- siempre están disponibles de forma gratuita.) Con las puertas lineales, cada función booleana f: {0,1} n → {0,1} que es computable en absoluto es computable por un circuito de tamaño lineal; con un conjunto universal, por supuesto, nos enfrentamos a Natural Proofs y las otras terribles barreras.
Por otro lado, si consideramos los conjuntos de compuertas sobre un alfabeto de 3 o 4 símbolos (por ejemplo), entonces se abre un conjunto más amplio de posibilidades --- y al menos que yo sepa, esas posibilidades nunca se han delineado completamente desde el punto de vista de la teoría de la complejidad (corríjame si me equivoco). Sé que los posibles conjuntos de puertas se estudian ampliamente bajo el nombre de "clones" en álgebra universal; Desearía estar más familiarizado con esa literatura para saber qué significan los resultados de esa área para la complejidad del circuito.
En cualquier caso, no parece descabellado que haya otros límites inferiores del circuito dramático maduros para la prueba, si simplemente expandimos la clase de conjuntos de puertas sobre alfabetos finitos que estamos dispuestos a considerar. Si me equivoco, ¡por favor dime por qué!
fuente
Respuestas:
(Movido de los comentarios como sugirió Suresh. Tenga en cuenta que algunos errores en el comentario se corrigen aquí).
Gracias a Scott por una gran pregunta.
Scott parece sugerir que la razón de la dificultad de los límites inferiores puede ser el lenguaje restringido de las operaciones en el caso booleano. El argumento de conteo de Shannon que muestra que la mayoría de los circuitos debe ser grande se basa en la brecha entre el poder expresivo contable y muchos circuitos. Esta brecha parece desaparecer cuando el alfabeto tiene al menos 3 símbolos.
Para el tamaño del alfabeto 2 (el caso booleano), la red de clones es infinitamente contable y se llama red de Post .
La red de Post también deja en claro por qué solo hay unas pocas bases de operaciones interesantes para el caso booleano.
Para el tamaño del alfabeto 3 o mayor, la red de clones es incontable. Además, la red no satisface ninguna identidad de red no trivial, por lo que parece imposible proporcionar una descripción completa de la red. Para el tamaño del alfabeto 4 o mayor, la red de clones en realidad contiene cada red finita como una sub red. Entonces, hay infinitas bases de operaciones posiblemente interesantes para considerar cuando el alfabeto tiene 3 o más símbolos.
Scott preguntó además: ¿la red de clones sigue siendo incontable si asumimos que las constantes están disponibles de forma gratuita?
La respuesta es que sí, ver por ejemplo
aunque aparentemente esto fue publicado anteriormente:
Una buena declaración específica es de:
Para concluir, no conozco ningún trabajo sobre el uso de clones no booleanos para los límites inferiores del circuito. Parece que vale la pena investigarlo con más profundidad. Dado lo relativamente poco que se sabe sobre la red de clones, puede haber bases interesantes de operaciones que esperan ser descubiertas.
Más vínculos entre la teoría de los clones y la informática probablemente también sean de gran interés para los matemáticos que trabajan en álgebra universal. Un ejemplo previo de este tipo de interacción surgió cuando Peter Jeavons demostró que las álgebras podrían estar asociadas con lenguajes de restricción, de una manera que permite traducir los resultados de trazabilidad a las propiedades del álgebra. Andrei Bulatov usó esto para demostrar la dicotomía para CSP con tamaño de dominio 3. En el otro sentido, ha habido un resurgimiento en el interés por la teoría de la congruencia domesticada como resultado de la aplicación informática. Me pregunto qué seguiría de un vínculo entre la teoría de los clones y la complejidad de los circuitos no booleanos.
fuente
Esto se mueve de los comentarios, como sugirió Suresh.
Edición 2. El obstáculo principal es que no tenemos ningún método para probar los límites inferiores no lineales, incluso para puertas lineales, que yo sepa (para los límites inferiores lineales uno puede usar la eliminación de la puerta, es muy poco probable que no -límites lineales). Aunque parece que algunos métodos de álgebra lineal realmente deben ser útiles. Así que encontrar candidatos es bueno, pero de todos modos se necesitan algunos métodos nuevos.
fuente
En circuitos con puertas XOR. Aquí incluso el caso de la profundidad está ampliamente abierto. Los límites inferiores más altos para las transformaciones lineales explícitas sobre tienen la forma . Probar un límite como para una constante , incluso en profundidad e incluso si solo se permiten puertas XOR, es un desafío.2 y=Ax GF(2) nlog3/2n n1+c c>0 2
fuente