Es posible que algunos de ustedes hayan estado siguiendo esta pregunta , que se cerró debido a que no tenía nivel de investigación. Entonces, estoy extrayendo la parte de la pregunta que está a nivel de investigación.
Más allá de las técnicas "más simples", como reducir a la clasificación o un problema completo EXPTIME, ¿qué técnicas se han utilizado para demostrar límites inferiores para la complejidad temporal de un problema?
En particular:
- ¿Cuáles son las técnicas "de vanguardia" que se han desarrollado en la última década?
- ¿Se pueden aplicar técnicas de álgebra abstracta, teoría de categorías u otras ramas de las matemáticas típicamente "puras"? (Por ejemplo, a menudo escucho mencionar la "estructura algebraica" de la clasificación, sin ninguna explicación real de lo que esto significa).
- ¿Cuáles son los resultados significativos pero menos conocidos para la complejidad de límite inferior?
Respuestas:
Límites inferiores para circuitos algebraicos
En la configuración de los circuitos algebraicos, donde un límite inferior en el tamaño del circuito es análogo a un límite inferior en el tiempo, se conocen muchos resultados, pero solo hay unas pocas técnicas centrales en los resultados más modernos. Sé que solicitó límites inferiores de tiempo, pero creo que en muchos casos la esperanza es que los límites inferiores algebraicos algún día conduzcan a límites inferiores de la máquina booleana / de Turing. Estos resultados a menudo usan técnicas más profundas de "matemática pura" como lo expresas.
I. El grado obligado.
Strassen demostró que el logaritmo del grado de una cierta variedad algebraica asociada a una (conjunto de) funciones es un límite inferior en el tamaño del circuito algebraico de calcular esas funciones.
II Componentes conectados (o más generalmente la dimensión de cualquier grupo de homología superior).
Ben-Or demostró que el tamaño de un árbol de decisión algebraico real que decide pertenecer a un conjunto (semi-algebraico) es al menos donde C es el número de componentes conectados de ese conjunto. Ben-Or usó esto para demostrar un límite inferior Ω ( n log n ) en la clasificación (bueno, la distinción de elementos, pero la distinción de elementos se reduce a la clasificación) en el modelo de árbol de decisión algebraico real. Yao extendió esto de los componentes conectados a la suma de los números de Betti y demostró límites inferiores óptimos para otros problemas (como k -equals)). En otro documento, Yao extendió esto a los árboles de decisión algebraicos sobre los enteros.Iniciar sesióndo do Ω ( n logn ) k
III. Derivadas parciales.
Este ha sido el caballo de batalla de muchos de los límites inferiores del circuito algebraico moderno. Creo que las derivadas parciales se usaron por primera vez para demostrar un límite inferior por Baur-Strassen, donde demostraron que calcular todos los primeros parciales de se puede hacer en tamaño 5 s, donde s es el tamaño necesario para calcular f . Combinado con el límite de grado de Strassen, esto le dio a Ω ( n log n ) límites inferiores en varias funciones, que siguen siendo los límites inferiores más fuertes en el tamaño de los circuitos aritméticos sin restricciones para una función explícita.F 5 s s F Ω ( n logn )
El uso más reciente de derivadas parciales parece provenir de un artículo de Nisan en el que demostró límites inferiores en circuitos no conmutativos al considerar la dimensión del espacio de todas las derivadas parciales. Esto se usó para probar los límites inferiores en tipos restringidos de circuitos de profundidad 3 por Nisan-Wigderson, y Raz utilizó ideas similares para probar límites inferiores en el tamaño de fórmula multilineal (y modelos relacionados por Raz y colaboradores). Los últimos límites inferiores de profundidad 4 y profundidad 3 de Gupta, Kayal, Kamath y Saptharishi utilizan una generalización de esta idea, para contar la dimensión del espacio de "derivadas parciales desplazadas", donde puede tomar derivadas parciales y luego multiplicar por cualquier monomio de un grado dado. ) puede "simplemente" ser una cuestión de comprender mejor el ideal generado por los menores permanentes (ver la conjetura al final de su artículo).V P ≠ V N P
IV. Definición de ecuaciones para variedades.
La idea aquí es asociar a "funciones fáciles" una cierta variedad algebraica, encontrar ecuaciones que desaparezcan en esta variedad y mostrar que estas ecuaciones no desaparecen en su "función difícil". (Por lo tanto, demuestra que su función difícil no está en la variedad de funciones fáciles, por lo que es realmente difícil). Especialmente útil en los límites inferiores de la multiplicación de matrices. Vea Landsberg - Ottaviani en arXiv para obtener lo último y referencias a límites inferiores anteriores.
(De hecho, I, II y III anteriores pueden verse como casos especiales de encontrar ecuaciones definitorias para ciertas variedades, aunque las pruebas que usan I, II, III nunca se expresan de esa manera, ya que en realidad no hubo Necesitar.)
V. Teoría de la representación, esp. como en la teoría de la complejidad geométrica.
En realidad, también utilizado por Landsberg - Ottaviani para encontrar algunas ecuaciones para una cierta variedad. También utilizado por Burgisser-Ikenmeyer para obtener una prueba teórica de representación "puramente" de un límite inferior ligeramente más débil en la multiplicación de matrices. Conjeturado por Mulmuley y Sohoni (cf. "Geometric Complexity Theory I & II") como útil para resolver vs V N P y finalmente N P vs. P / p o l y .V P V N P N P P / p o l y
fuente
Kaveh ha sugerido suavemente en su respuesta que debería decir algo. No tengo mucho más para contribuir a esta lista de respuestas agradablemente completa. Puedo agregar algunas palabras genéricas sobre cómo los límites inferiores de "complejidad estructural" han evolucionado en los últimos diez años más o menos. (Utilizo el nombre "complejidad estructural" simplemente para distinguirlo de algebraico, complejidad de comunicación, etc.)
Los enfoques actuales todavía se basan en gran medida en la diagonalización y, en particular, en el siguiente paradigma básico: Comience suponiendo lo contrario del límite inferior. Esto le da un buen algoritmo para algún problema. Intente utilizar ese algoritmo para contradecir algún teorema de jerarquía basado en la diagonalización, como la jerarquía de tiempo o la jerarquía espacial. Como los argumentos de diagonalización por sí solos no son suficientes para probar nuevos límites inferiores, se agregan otros ingredientes a la mezcla para obtener la receta contradictoria.
Debo decir que también se puede decir que muchos argumentos de los años 70 y 80 siguen el patrón anterior; La principal diferencia hoy en día son los "otros ingredientes": hay muchos ingredientes para elegir, y las formas en que los ingredientes pueden aplicarse parecen estar limitadas solo por su propia creatividad. A veces, cuando no sabes cómo mezclar ingredientes particulares para obtener una receta mejor, pero entiendes muy bien cómo se pueden mezclar, es útil codificar un programa de computadora que te sugiera nuevas recetas.
fuente
Aquí hay algunos métodos directos básicos para probar los límites inferiores en la teoría de la complejidad computacional para los modelos más generales de computación (máquinas y circuitos de Turing).
I. Contando:
Idea: Mostramos que hay más funciones que algoritmos.
Ej: Hay funciones que requieren circuitos exponencialmente grandes.
El problema con este método es que es un argumento existencial y no proporciona ninguna función explícita ni ningún límite superior sobre la complejidad del problema que se ha demostrado que es difícil.
II Combinatorio / Algebraico:
Idea: Analizamos los circuitos y mostramos que tienen una propiedad particular, por ejemplo, las funciones calculadas por ellos pueden ser aproximadas por alguna clase agradable de objeto matemático, mientras que la función objetivo no tiene esa propiedad.
El problema con este método es que en la práctica solo ha funcionado para clases pequeñas y relativamente fáciles de analizar. También existe la barrera de pruebas naturales de Razborov-Rudich, que de alguna manera formaliza por qué las propiedades simples por sí mismas es poco probable que sean suficientes para probar los límites inferiores del circuito más general.
El artículo de Razborov " Sobre el método de aproximación " argumenta que el método de aproximación está completo para probar límites inferiores en cierto sentido.
III. Diagonalización
Idea. Diagonalizamos contra las funciones en la clase más pequeña. La idea se remonta a Gödel (e incluso a Cantor).
Ex. Teoremas de la jerarquía del tiempo , Teorema de la jerarquía del espacio , etc.
También tenemos la barrera de relativización (que se remonta a Baker, Gill y Solovay) y la barrera de algebraización (de Aaronson y Wigderson) que establecen que tipos particulares de argumentos de diagonalización se transferirán a otros entornos donde el resultado es demostrablemente falso.
Tenga en cuenta que estas barreras no se aplican a argumentos de diagonalización más generales. De hecho, según el artículo de Dexter Kozen " Indexación de clases subrecursivas ", la diagonalización está completa para probar los límites inferiores.
Como probablemente haya notado, existe una fuerte relación entre encontrar buenos simuladores universales para una clase de complejidad y separar esa clase de complejidad de las clases más grandes (para una declaración formal, consulte el documento de Kozen).
Trabajos recientes
Para avances recientes, consulte los documentos recientes de Ryan Williams . No los discuto en esta respuesta, ya que espero que el propio Ryan escriba una respuesta.
fuente
Árboles de decisión algebraicos
Esta no es una técnica reciente, pero sí bastante poderosa para ciertos problemas.
¡Hurra por los resultados doblemente negativos!
fuente
Manindra Agrawal tiene un bonito artículo "Probar límites más bajos a través de generadores psuedorandom". Esto podría considerarse un "caballo oscuro" en la carrera para demostrar límites inferiores, pero el documento es interesante.
fuente
Esta es una encuesta de 32p que acaba de aparecer sobre el tema y se centra en el ángulo de los límites inferiores del circuito (hay una fuerte superposición en el contenido con otras respuestas aquí).
fuente