En 1995, Russell Impagliazzo propuso cinco mundos de complejidad: 1- Algoritmica: con todas las asombrosas consecuencias.PAGS= NPAGSPAGS=nortePAGSP=NP 2- Heuristica: los completos de son difíciles en el peor de los casos ( ) pero se pueden resolver de manera eficiente en el caso...
Hace unos años, Joel Friedman realizó algunos trabajos relacionados con los límites del circuito inferior a la cohomología de Grothendieck (ver documentos: http://arxiv.org/abs/cs/0512008 , http://arxiv.org/abs/cs/0604024 ) ¿Esta línea de pensamiento ha aportado nuevas ideas sobre la complejidad...
Pensé en compartir esta pregunta, ya que podría ser interesante para otros usuarios aquí. Suponga que una función que está en una clase uniforme (como ) también está en una pequeña clase no uniforme (como A C 0 / p o l y , es decir, no uniforme A C 0 ), ¿esto implica que la función está contenida...
Dado un entero de longitud bits, ¿qué tan difícil es generar el número de factores primos (o alternativamente el número de factores) de ?NNNnnnNNN Si supiéramos la factorización principal de , entonces esto sería fácil. Sin embargo, si supiéramos el número de factores primos, o el número de...
Deje que denote un problema (decisión) en NP y deje que # X denote su versión de conteo.XXXXXX ¿En qué condiciones se sabe que "X es NP-completo" ⟹⟹\implies ¿"#X es # P-completo"? Por supuesto, la existencia de una reducción parsimoniosa es una de esas condiciones, pero esto es obvio y la única...
Sea fff una función booleana y pensemos en f como una función desde {−1,1}n{−1,1}n\{-1,1\}^n hasta . En este lenguaje, la expansión de Fourier de f es simplemente la expansión de f en términos de monomios libres cuadrados. (Estos monomios forman una base para el espacio de funciones reales en . La...
Arreglemos una codificación sin prefijo de máquinas de Turing y una máquina universal de Turing que en la entrada (codificada como el código sin prefijo de seguido de ) emite salidas de en la entrada (posiblemente ambos corriendo para siempre). Defina la complejidad de Kolmogorov de , , como la...
La pregunta sobre la teoría " ¿Qué es NP restringido a testigos de tamaño lineal? " Pregunta sobre la clase NP restringida a testigos de tamaño lineal , peroO ( n )O(n)O(n) ¿Existen problemas naturales de NP completo en los que (sí) las instancias de tamaño requieren testigos de tamaño mayor que...
Arregle un entero nortenn alfabeto Σ = { 0 , 1 }Σ={0,1}\Sigma=\{0,1\} . Defina D FA ( n )DFA(n)DFA(n) como la colección de todos los autómatas de estado finito en nortenn estados con estado inicial 1. Estamos considerando todos los DFA (no solo los conectados, mínimos o no degenerados); por lo...
La complejidad del prefijo de Kolmogorov (es decir, K(x)K(x)K(x) es el tamaño del programa mínimo de auto delimitación que genera xxx ) tiene varias características agradables: Corresponde a una intuición de dar cadenas con patrones o estructura de menor complejidad que las cadenas sin ellas. Que...
En su libro, Boolean Function Complexity, Stasys Jukna menciona (página 564) que Kolmogorov creía que cada lenguaje en P tiene circuitos de tamaño lineal. No se menciona ninguna referencia y no pude encontrar nada en línea. ¿Alguien sabe más sobre
En la complejidad computacional, existe una distinción importante entre los cálculos monótonos y generales, y un famoso teorema de Razborov afirma que 3-SAT e incluso MATCHING no son polinomiales en el modelo de circuitos booleanos monótonos. Mi pregunta es simple: ¿hay un análogo cuántico para...
A menudo puede encontrar métodos de plano de corte, propagación variable, ramificación y encuadernación, aprendizaje de cláusulas, retroceso inteligente o incluso heurística humana tejida a mano en solucionadores SAT. Sin embargo, durante décadas, los mejores solucionadores de SAT se han basado en...
¿Cuál es la complejidad de decidir si un circuito con bits de entrada y bits de salida calcula una permutación de ? en otras palabras, si cada cadena de bits en es una salida del circuito para alguna entrada? Parece un problema que ha sido estudiado, pero no puedo encontrar ninguna referencia....
Supongamos que atenuamos el problema de contar las coloraciones adecuadas contando las coloraciones ponderadas de la siguiente manera: cada coloración adecuada obtiene el peso 1 y cada coloración incorrecta obtiene el peso donde es algo constante y es el número de aristas con puntos finales...
¿Cuáles serían las consecuencias de #P = FP? Me interesan las consecuencias prácticas y teóricas. Desde un punto de vista práctico, estoy particularmente interesado en las consecuencias sobre la Inteligencia Artificial. Punteros a papeles o libros son más que bienvenidos. Por favor no digas que...
Dado un gráfico no dirigido y no ponderado y un entero par , ¿cuál es la complejidad computacional de contar conjuntos de vértices tal que y el subgrafo de restringido al conjunto de vértices admite una combinación perfecta? ¿La complejidad # P-completa? ¿Hay alguna referencia para este problema?k...
Disculpas por hacer una pregunta que seguramente debe estar en muchas referencias estándar. Tengo curiosidad acerca de exactamente la pregunta en el título, en particular estoy pensando en los circuitos booleanos, sin límite de profundidad. Pongo "el más pequeño" entre comillas para permitir la...
Recientemente, Ryan Willams demostró que la constructividad en la prueba natural es inevitable para derivar una separación de clases de complejidad: y . NEXPNEXP\mathsf{NEXP}TC0TC0\mathsf{TC}^{0} La constructividad en la prueba natural es una condición que satisface todas las pruebas combinatorias...
Pregunta: ¿Cuál es el límite inferior de tamaño de fórmula más conocido para una función explícita en AC 0 ? ¿Existe una función explícita con un límite inferior ?Ω ( n2)Ω(n2)\Omega(n^2) Fondo: Como la mayoría de los límites inferiores, los límites inferiores del tamaño de la fórmula son...