Preguntas etiquetadas con cc.complexity-theory

Shiva Kintali acaba de anunciar un resultado (¡genial!) De que el isomorfismo gráfico para gráficos de ancho de árbol acotado de ancho es -hard≥4≥4\geq 4⊕L⊕L\oplus L . Informalmente, mi pregunta es: "¿Qué tan difícil es eso?" Sabemos que no uniformemente , vea las respuestas a esta pregunta . También sabemos …

26 cc.complexity-theory  complexity-classes  logspace 

El estudio de la representación sucinta de gráficos fue iniciado por Galperin y Wigderson en un artículo de 1983, donde demuestran que para muchos problemas simples como encontrar un triángulo en un gráfico, la versión sucinta correspondiente en -completa. Papadimitriou y Yanakkakis amplían esta línea de investigación, y demuestran que …

26 cc.complexity-theory  reference-request  complexity-classes 

Una máquina PHPHPH tiene acceso oracle a una función booleana aleatoria f:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f:\{0,1\}^n \to \{ -1,1 \} y dos espectros de Fourier ggg y hhh . El espectro de Fourier de una función fff se define como F:{0,1}n→RF:{0,1}n→RF:\{0,1\}^n \to R : F(s)=∑x∈{0,1}n(−1)(s⋅xmod 2)f(x)F(s)=∑x∈{0,1}n(−1)(s⋅xmod 2)f(x)F(s)=\sum_{x\in\{0,1\}^n} (-1)^\left( s\cdot x \mod\ 2 \right) f(x) …

26 cc.complexity-theory  lg.learning  boolean-functions  fourier-analysis 

¿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 #P = FP implica P …

26 cc.complexity-theory  ds.algorithms  complexity-classes  counting-complexity  ai.artificial-intel 

Es bien sabido que la conectividad st dirigida es -completa. Consecuencia del avance Reingold mostró que no dirigido st-conectividad está en L . Planar dirigida st-conectividad es conocido por ser en U L ∩ c o U L . Cho y Huynh definen un problema de la mochila parametrizada y …

26 cc.complexity-theory  space-bounded 

¿Hay algún problema natural en que no se sabe (se sabe que se cree) en ?NP∩coNPNP∩coNPNP \cap coNPUP∩coUPUP∩coUPUP \cap coUP Obviamente, el más grande que todos conocen en es la versión de decisión de factoring (no tiene un factor de tamaño como máximo k), pero eso es de hecho en …

26 cc.complexity-theory  complexity-classes  np 

¿El siguiente problema es NP-hard? Dada una configuración de tablero para borradores internacionales , encuentre un solo movimiento legal.n×nn×norten\times n El problema correspondiente para damas estadounidenses (también conocido como borradores en inglés) se puede resolver trivialmente en tiempo polinómico. Hay tres diferencias principales entre estos dos juegos.n ×nn×norten\times n La …

26 cc.complexity-theory  np-hardness  open-problem  board-games 

Considere el problema de cobertura de conjunto mínimo con las siguientes restricciones: cada conjunto contiene como máximo kkk elementos y cada elemento del universo se produce en la mayoría de los conjuntos fff . Ejemplo: el caso k = 4k=4k = 4 y F= 2f=2f = 2 es equivalente al …

26 cc.complexity-theory  reference-request  approximation-algorithms  set-cover  np-hardness 

Para una fórmula 3CNF dejó sea el máximo número de cláusulas satisfechos en cualquier asignación a . Se sabe que Max-3SAT es difícil de aproximar (sujeto a P ≠ NP), es decir, no existe un algoritmo de polytime cuya entrada es una fórmula 3CNF , y cuya salida es el …

26 cc.complexity-theory  sat 

Para cualquier , digo que una secuencia s de enteros en { 1 , ... , n } es n -completa si, para cada permutación p de { 1 , ... , n } , se escribe como una secuencia de enteros distintos por pares p 1 , ... , …

25 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

¿Existe un lenguaje NP (preferiblemente natural) completo , de modo que por cada n ≥ 1 | L ∩ { 0 , 1 } n | = 2 n - 1 retenciones? En otras palabras, L contiene precisamente la mitad de todas las instancias de n bits.L ⊆ { 0 …

25 cc.complexity-theory  np  np-complete 

Una característica bien conocida de las instancias -SAT es la relación del número de cláusulas m sobre el número de variables n , es decir, el cociente ρ = m / n . Para cada k , hay un valor umbral α st \ para ρ ≪ α , la …

25 cc.complexity-theory  sat  random-k-sat  phase-transition 

Según D. den Hertog, Enfoque de punto interior para la programación lineal, cuadrática y convexa, 1994 , un programa lineal con variables, n restricciones y precisión L se puede resolver en el tiempo O ( n 3 L ) . ¿Se ha mejorado eso?nnnnnnLLLO(n3L)O(n3L)O(n^3L)

25 cc.complexity-theory  reference-request  linear-programming 

¿Conoces consecuencias interesantes de conjeturas (estándar) en la teoría de la complejidad en otros campos de las matemáticas (es decir, fuera de la informática teórica)? Preferiría respuestas donde: la conjetura de la teoría de la complejidad es lo más general y estándar posible; También estoy de acuerdo con las consecuencias …

25 cc.complexity-theory  conditional-results 

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 en la complejidad del circuito y que podemos decidir si la …

25 cc.complexity-theory  complexity-classes  circuit-complexity  gct  barriers