Mi pregunta es ¿por qué los límites inferiores para los circuitos booleanos de profundidad 3 con puertas "y" y "xor" para determinante no implican los mismos límites inferiores para los circuitos aritméticos sobre ?ZZ\mathbb{Z} Lo que está mal con el siguiente argumento: Sea un determinante...
Estoy buscando referencias sobre la complejidad del problema de equilibrio de la fórmula booleana . En particular, ¿Se sabía que las fórmulas booleanas se pueden equilibrar en ?AC0AC0\mathsf{AC^0} ¿Hay alguna prueba simple de que el equilibrio de la fórmula booleana esté en...
Deje que la clase BPNC (la combinación de y ) sean algoritmos paralelos de profundidad logarítmica con probabilidad de error limitada y acceso a una fuente aleatoria (no estoy seguro si este tiene un nombre diferente). Defina la clase DBPNC de manera similar, excepto que todos los procesos tienen...
En una charla de Razborov, se publica una pequeña y curiosa declaración. Si FACTORING es difícil, entonces el pequeño teorema de Fermat no es demostrable en S12S21S_{2}^{1} . ¿Qué es S12S21S_{2}^{1} y por qué las pruebas actuales no están en S12S21S_{2}^{1} ?
BPPBPP\mathsf{BPP} yZPPZPP\mathsf{ZPP} son dos de las clases básicas de complejidad probabilística. BPPBPP\mathsf{BPP} es la clase de lenguajes decididos por algoritmos probabilísticos de tiempo de polinomio de Turing donde la probabilidad de que el algoritmo devuelva una respuesta incorrecta está...
En la complejidad de la comunicación, la conjetura de log-rank establece que cc(M)=(logrk(M))O(1)cc(M)=(logrk(M))O(1)cc(M) = (\log rk(M))^{O(1)} Donde cc(M)cc(M)cc(M) es la complejidad de comunicación de M(x,y)M(x,y)M(x,y) y rk(M)rk(M)rk(M) es el rango de MMM (como una matriz) sobre los...
La clase de complejidad se define de la siguiente manera (de Wikipedia ):SP2S2P\textrm{S}_2^\textrm{P} Un lenguaje está en si existe un predicado de tiempo polinómico tal queLLLSP2S2PS_2^PPPP Si , entonces existe una tal que para todo ,x∈Lx∈Lx \in LyyyzzzP(x,y,z)=1P(x,y,z)=1P(x,y,z)=1 Si ,...
¿Es el isomorfismo gráfico (el problema de decisión) en ? Aquí es la clase de problemas de decisión aceptados por una máquina de Turing inequívoca (ver el zoológico de complejidad ).UP∩coUPUP∩coUP\mathsf{UP}\cap
Estaba tratando de entender estas clases pero siempre me confundí ... las preguntas son: ¿Cuál es la relación entre y , en particular, es una pregunta abierta?# PFnortePAGFNPFNP# P#P\#P ¿Cuál es la relación de y ? esta pregunta abierta?N P⊕ P⊕P\oplus PnortePAGNPNP ¿Qué pasa con la relación...
Un árbol de expansión de un gráfico se llama árbol de integridad si el conjunto de sus hojas induce una subgrafía completa en el gráfico de host. Dado un gráfico y un entero k , ¿cuál es la complejidad de decidir si G contiene un árbol de completitud con, como máximo, k hojas?GGGkkkGGGkkk Una...
Dado un conjunto de puntos en el espacio euclidiano d dimensional, el problema es determinar si el casco convexo contiene la bola unitaria centrada en el origen.nortenortenrered ¿Es este problema en NP? Está en co-NP, ya que uno puede dar un punto en la pelota fuera del casco convexo como...
Tengo el siguiente problema: Entrada: dos conjuntos de intervalos y T (todos los puntos finales son enteros). Consulta: ¿hay una biyección monótona f : S → T ?SSSTTTF: S→ Tf:S→Tf:S \to T La biyección es monótona wrt el conjunto para su inclusión en y T . ∀ X ⊆ Y ∈ S , f ( X ) ⊆ f ( Y )SSSTTT∀ X⊆...
Si podemos demostrar que , ¿implica que ?N L = N PL = PL=P\mathsf{L}=\mathsf{P}N L = N PNL=NP\mathsf{NL}=\mathsf{NP} Pensé que era el caso, pero no puedo probarlo (también por el
Dado un gráfico dirigido, queremos decidir si contiene un ciclo dirigido de longitud par. Este artículo de 1997 de YUSTER y ZWICK afirma que no se sabe que el problema esté en ni que se sepa que es completo.PAGPAGPnortePAGnortePAGNP ¿Hay algún resultado reciente que resuelva la complejidad del...
Me topé con un problema abierto planteado por David Eppstein y estoy interesado en su estado de complejidad. Conjeturó que es NP-completo. Entrada: por n matriz de 0 y 1, secuencia de n 2 0 y 1nortenortennortenortennorte2norte2n^2 Pregunta: ¿Hay una ruta a través de las entradas de matriz...
Llamemos un idioma NP escasamente certificado si y solo si:L∈L∈L \in Existe un polinomio tal que para cada entrada de tamaño , si entonces el conjunto de certificados que verifican que tiene un tamaño polinómico, es decir .p:N→Np:N→Np : \mathbb{N} \rightarrow \mathbb{N}x∈Σ∗x∈Σ∗x \in...
¿Cuál es la definición estándar de Planar 3-SAT? He visto varias definiciones diferentes. ¿Cuál fue el documento original que lo definió y demostró que era NP
En Temas avanzados en tipos y lenguajes de programación se menciona, en el capítulo sobre sistemas de tipos subestructurales, que un cálculo lambda afín "cuidadosamente elaborado" con un combinador de recursión para listas solo puede escribir términos que tienen tiempo de ejecución polinómico (no...
¿Hay algún problema que se pueda resolver en el tiempo polinomial solo si P! = NP, y de otra manera se puede resolver en (digamos) tiempo?O(2n)O(2n)O(2^n) Un ejemplo simple sería: Si P! = NP, calcule una prueba de primalidad para un número aleatorio de n bits, de lo contrario, evalúe una posición...
Usando el modelo real-RAM / BSS, tenemos la clase NP , (donde un BSS es el modelo Blum-Shub-Smale de una computadora con operaciones sobre reales). Tenemos problemas completos de NP . Entonces, la pregunta es ¿hay un análogo de la conjetura de Berman Hartmanis para la clase NP ? Por supuesto, la...