Preguntas etiquetadas con cc.complexity-theory

Desde el punto de sentido común de vista, es fácil creer que la adición de no determinismo a se extiende significativamente su potencia, es decir, N P es mucho mayor que P . Después de todo, el no determinismo permite el paralelismo exponencial, que sin duda parece muy poderoso. PP\mathsf{P}NPNP\mathsf{NP}PP\mathsf{P} …

33 cc.complexity-theory  complexity-classes  big-picture 

"Sabemos" que lleva el nombre de Steve Cook y N C lleva el nombre de Nick Pippenger. Si no me equivoco, Steve Cook nombró a NC en honor a Nick Pippenger, y me dijeron que lo contrario también es cierto. Sin embargo, no he podido encontrar ninguna evidencia de este …

33 cc.complexity-theory  ho.history-overview 

Considere el siguiente problema de conteo (o el problema de decisión asociado): dados dos enteros positivos codificados en binario, calcule su máximo divisor común (mcd). ¿Cuál es la clase de complejidad más pequeña en la que se encuentra este problema? ¿Me puede proporcionar una referencia? En esta pregunta, no estoy …

33 cc.complexity-theory  reference-request  complexity-classes  nt.number-theory 

Una vez tomé una clase sobre computabilidad y lógica. El material incluía una correlación entre las clases de complejidad / computabilidad (R, RE, co-RE, P, NP, Logspace, ...) y la lógica (cálculo de predicados, lógica de primer orden, ...). La correlación incluyó varios resultados en un campo, que se obtuvieron …

33 cc.complexity-theory  lo.logic  computability 

En "Sobre determinismo versus no determinismo y problemas relacionados" (Proc. IEEE FOCS, páginas 429–438, 1983), Paul, Pippenger, Szemerédi y Trotter demostraron que NTIME(n)≠DTIME(n)NTIME(n)≠DTIME(n)\mathsf{NTIME}(n)\neq\mathsf{DTIME}(n) . Esto responde a mi pregunta con k = 1. ¿Se sabe algo sobre un resultado similar para otra k fija?

33 cc.complexity-theory 

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 booleana, o sigue siendo más bien una curiosidad matemática?

33 cc.complexity-theory  lower-bounds  circuit-complexity  boolean-functions 

Sabemos que si tiene una máquina PSPACE, es lo suficientemente potente como para proporcionar una prueba interactiva de cualquier nivel de la jerarquía polinómica. (Y si recuerdo bien, todo lo que necesita es #P.) Pero suponga que desea dar una prueba interactiva de membresía en un idioma . ¿Es suficiente …

33 cc.complexity-theory  interactive-proofs 

Como aficionado de TCS, estoy leyendo material muy introductorio sobre informática cuántica. Aquí están los pocos datos elementales que he aprendido hasta ahora: No se sabe que las computadoras cuánticas resuelvan problemas NP-completos en tiempo polinómico. "La magia cuántica no será suficiente" (Bennett et al. 1997): si descarta la estructura …

33 cc.complexity-theory  complexity-classes  quantum-computing  conditional-results  physics 

El problema central de la teoría de la complejidad es posiblemente vs .PAGSPAGSPnortePAGSnortePAGSNP Sin embargo, dado que la naturaleza es cuántica, parecería más natural considerar las clases (es decir, problemas de decisión que una computadora cuántica puede resolver en tiempo polinómico, con una probabilidad de error de 1/3 como máximo …

33 cc.complexity-theory  complexity-classes  quantum-computing 

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 promedio.nortePAGSnortePAGSNPPAGS≠ NPAGSPAGS≠nortePAGSP \ne NP 3- Pessiland: existen problemas …

33 cc.complexity-theory  conditional-results  average-case-complexity 

Esta pregunta trata sobre problemas para los cuales existe una gran brecha de complejidad abierta entre el límite inferior conocido y el límite superior, pero no debido a problemas abiertos en las propias clases de complejidad. Para ser más precisos, digamos que un problema tiene clases de brecha (con A …

32 cc.complexity-theory  complexity-classes  big-list 

Defina LOGLOG como la clase de lenguajes que se pueden calcular en el espacio O (loglog n) mediante una máquina de Turing determinista (con acceso bidireccional a la entrada). De manera similar, defina NLOGLOG como la clase de lenguajes que se pueden calcular en el espacio O (log log n) …

32 cc.complexity-theory  reference-request  space-bounded 

En el artículo The Random Oracle Hypothesis Is False , los autores (Chang, Chor, Goldreich, Hartmanis, Håstad, Ranjan y Rohatgi) discuten las implicaciones de la hipótesis del oráculo aleatorio . Argumentan que sabemos muy poco acerca de las separaciones entre clases de complejidad, y la mayoría de los resultados implican …

32 cc.complexity-theory  complexity-classes  big-list  complexity-assumptions 

Es imposible escribir un lenguaje de programación que permita todas las máquinas que se detienen en todas las entradas y no en otras. Sin embargo, parece fácil definir dicho lenguaje de programación para cualquier clase de complejidad estándar. En particular, podemos definir un lenguaje en el que podamos expresar todos …

32 cc.complexity-theory  computability  pl.programming-languages 

En esta pregunta, una fórmula 3CNF significa una fórmula CNF donde cada cláusula involucra exactamente tres variables distintas . Para una constante 0 < s <1, Gap-3SAT s es el siguiente problema prometedor: Gap-3SAT s Instancia : fórmula φ A 3CNF. Sí, prometo : φ es satisfactoria. Sin promesa : …

32 cc.complexity-theory  sat  approximation-hardness