Preguntas etiquetadas con cc.complexity-theory

¿Alguien sabe acerca de un resultado de completitud NP para el problema DOMINATORIO SET en gráficos, restringido a la clase de gráficos bipartitos planos de grado máximo 3? Sé que es NP completo para la clase de gráficos planos de grado máximo 3 (ver el libro de Garey y Johnson), …

18 cc.complexity-theory  graph-theory 

Defina la complejidad gaussiana de una matriz como el número mínimo de operaciones elementales de fila y columna requeridas para llevar la matriz a la forma triangular superior. Esta es una cantidad entre 0 y n 2 (a través de Gaussian elemination). La noción tiene sentido sobre cualquier campo.n×nn×nn \times …

18 cc.complexity-theory  lower-bounds  matrices 

Parity-P es el conjunto de lenguajes reconocidos por una máquina de Turing no determinista que solo puede distinguir entre un número par o un número impar de rutas de "aceptación" (en lugar de un número cero o no cero de rutas de aceptación). Por lo tanto Paridad-P es básicamente PP …

18 cc.complexity-theory  complexity-classes  np 

Estoy interesado en una función booleana explícita con la siguiente propiedad: si es constante en algún subespacio afín de , entonces la dimensión de este subespacio es .f:0,1n→0,1f:0,1n→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\}fff0,1n0,1n\\{0,1\\}^no(n)o(n)o(n) No es difícil demostrar que una función simétrica no satisface esta propiedad considerando un subespacio . Cualquier tiene …

18 cc.complexity-theory  circuit-complexity  derandomization  linear-algebra 

Es bien sabido que las computadoras cuánticas son estrictamente más poderosas que sus contrapartes clásicas en términos de complejidad de consulta . ¿Existen otros modelos (naturales o artificiales) que estén estrictamente entre lo cuántico y lo clásico en términos de complejidad de consulta? La separación puede estar en problemas específicos: …

18 cc.complexity-theory  quantum-computing  query-complexity 

Acabo de leer la pregunta " ¿Es la factorización entera un problema NP-completo? " ... así que decidí gastar algo de mi reputación :-) haciendo otra pregunta teniendo :QQQPAG( Q es trivial ) ≈ 1PAG(Q es trivial)≈1P(\text{Q is trivial}) \approx 1 Si es un oráculo que resuelve la factorización de …

18 cc.complexity-theory  oracles  factoring 

¿Cuáles son algunos de los principales problemas de complejidad computacional abierta que surgen de los lenguajes de programación, especialmente el análisis y la compilación de programas? Estoy buscando problemas en las líneas de "la complejidad temporal de la inferencia de tipo Hindley-Milner" o "la complejidad temporal de 0CFA" (aunque ambos …

17 cc.complexity-theory  pl.programming-languages  big-list  open-problem 

¿Es posible convertir un CNF CC\mathcal C en otro CNF modo queΨ(C)Ψ(C)\Psi(\mathcal C) La función se puede calcular en tiempo polinómico a partir de algún parámetro aleatorio secreto .ΨΨ\Psirrr Ψ(C)Ψ(C)\Psi(\mathcal C) tiene una solución si y solo si tiene una solución.CC\mathcal C Cualquier solución de se puede convertir eficientemente en …

17 cc.complexity-theory  cr.crypto-security  one-way-function  cryptojacking 

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á …

17 cc.complexity-theory  circuit-complexity  nondeterminism 

Antecedentes Se sabe que existe un oráculo AAA tal que, P S P A C E A ≠ P H APSPACEA≠PHAPSPACE^A \neq PH^A . Incluso se sabe que la separación es relativa a un oráculo aleatorio. Informalmente, uno puede interpretar que esto significa que hay muchos oráculos para los cuales …

17 cc.complexity-theory  oracles  relativization  pspace  structural-complexity 

Es bien sabido que muchos problemas NP-completos exhiben transición de fase. Estoy interesado aquí en la transición de fase con respecto a la contención en el lenguaje, en lugar de la dureza de la entrada, en relación con un algoritmo. Para que el concepto no sea ambiguo, definamos formalmente lo …

17 cc.complexity-theory  phase-transition 

Se sabe que el tamaño mínimo de los U_2 que calculan la función de paridad es exactamente igual a . La prueba de límite inferior se basa en el método de eliminación de puerta.U2U2U_23(n−1)3(n−1)3(n-1) Recientemente, noté que el método de eliminación de compuerta funciona bien también para U_2 no deterministas …

17 cc.complexity-theory  reference-request  circuit-complexity 

Dado el grupo de simetría y dos subgrupos y , ¿se mantiene ? G , H ≤ S n π ∈ S n G π ∩ H = ∅SnorteSnorteS_nG , H≤ Snortesol,H≤SnorteG, H\leq S_nπ∈ Snorteπ∈Snorte\pi\in S_nG π∩ H= ∅solπ∩H=∅G\pi\cap H=\emptyset Hasta donde yo sé, el problema se conoce como el …

17 cc.complexity-theory  graph-isomorphism  gr.group-theory 

Considere este problema: dada una lista de conjuntos finitos, busque un orden s1,s2,s3,…s1,s2,s3,…s_1, s_2, s_3, \ldots que minimice |s1|+|s1∪s2|+|s1∪s2∪s3|+…|s1|+|s1∪s2|+|s1∪s2∪s3|+...|s_1| + |s_1 \cup s_2| + |s_1 \cup s_2 \cup s_3| + \ldots . ¿Hay algoritmos conocidos para esto? ¿Cuál es su complejidad? Todavía no he podido pensar en un algoritmo óptimo …

17 cc.complexity-theory  ds.algorithms  optimization 

El artículo "Algoritmos subcuadráticos para 3SUM", de Ilya Baran, Erik D. Demaine, Mihai Patrascu tiene la siguiente complejidad para el Problema 3SUM: dada una lista LLL de enteros si hay tal quex , y , z ∈ L x + y = z .nnnx,y,z∈Lx,y,z∈Lx,y,z \in Lx+y=z.x+y=z.x+y=z. w−w−w-O(n2/max{wlogw,logn(loglogn)2})O(n2/max{wlog⁡w,log⁡n(log⁡log⁡n)2})O(n^2/ \max\{w \log w, …

17 cc.complexity-theory  ds.algorithms