Preguntas etiquetadas con cc.complexity-theory

Defina como la clase de idiomas que puede aceptar una máquina de Turing (multitapa) en el tiempo f ( n ) + 1 . (El " + 1 " es simplemente para simplificar la notación y evitar confusiones). Observe que no hay O ( ⋅ ) alrededor de f ( …

12 cc.complexity-theory  time-complexity  turing-machines  time-hierarchy 

ETH afirma que SAT no se puede resolver en el peor de los casos en tiempo subexponencial. ¿Qué pasa con el caso promedio? ¿Hay problemas naturales en NP que se supone que son exponencialmente difíciles en el caso promedio? Tome el caso promedio como el tiempo promedio de ejecución con …

12 cc.complexity-theory  np  average-case-complexity 

Sabemos que si entonces todo el PH colapsa. ¿Qué pasa si la jerarquía polinómica se colapsa parcialmente? (¿O cómo entender que el PH podría colapsar por encima de cierto punto y no por debajo?)PAG= NPAGP=NPP=NP En palabras más cortas, ¿cuáles serían las consecuencias de y P ≠ N P ?nortePAG= …

12 cc.complexity-theory  complexity-classes  conditional-results  polynomial-hierarchy 

La siguiente pregunta utiliza ideas de criptografía aplicadas a la teoría de la complejidad. Dicho esto, es una pregunta puramente teórica de la complejidad, y no se requiere ningún conocimiento criptográfico para responderla. Deliberadamente escribo esta pregunta de manera informal. A falta de detalles, posiblemente se indique un poco incorrectamente. …

12 cc.complexity-theory  complexity-classes  np-hardness  p-vs-np 

Tengo parte de un intento de prueba de . El intento de prueba consiste en una reducción de Karp desde -complete problem 3-REGULAR VERTEX COVER a SAT. ⊕ P ⊕⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}⊕P⊕P\oplus \mathbf{P}⊕⊕\oplus Dado un gráfico cúbico , la reducción genera una fórmula CNF que tiene las dos propiedades …

12 cc.complexity-theory  graph-theory  complexity-classes  sat  counting-complexity 

Desde el teorema de la jerarquía espacial se sabe que si fff es construible en el espacio, entonces DSPACE ( 2f(n)2f(n)2f(n) ) no es igual a DSPACE ( f(n))f(n))f(n)) . Aquí, por DSPACE ( f(n))f(n))f(n)) me refiero a la clase de todos los problemas que se pueden resolver en el …

11 cc.complexity-theory  complexity-classes 

Pregunta general ¿El teorema de la jerarquía espacial se generaliza a la computación no uniforme? Aquí hay algunas preguntas más específicas: ¿Es ?L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Para todas las funciones construibles en el espacio f(n)f(n)f(n) , ¿es DSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly \subsetneq DSPACE(f(n))/poly ? Para qué funciones h(n)h(n)h(n) se sabe que: para todo el …

11 cc.complexity-theory  space-bounded  space-complexity  advice-and-nonuniformity  hierarchy-theorems 

Estoy interesado en el problema clásico INCLUSIÓN DE IDIOMAS REGULARES. Dada una expresión regular , denotamos por L ( E ) el lenguaje regular asociado a ella. (Las expresiones regulares están en un alfabeto fijo Σ , con la unión de operaciones, Kleene-star y concatenación).miEEL ( E)L(E)L(E)ΣΣ\Sigma Entrada: Dos expresiones …

11 cc.complexity-theory  reference-request  regular-language  parameterized-complexity  regular-expressions 

En general, decidir si una ecuación de diofantina tiene alguna solución entera es equivalente al problema de detención. Creo que decidir si una ecuación de diofantina cuadrática tiene alguna solución es NP-completo. ¿Existe una restricción adicional en las ecuaciones involucradas que produce un problema P-completo?

11 cc.complexity-theory  linear-algebra  polynomials 

Deje que sea un gráfico acíclico dirigido , y dejar que λ ser una función de etiquetado mapear cada vértice v ∈ V a una etiqueta λ ( v ) en algunos finito alfabeto L . Escribiendo n : = | V | , un tipo topológico de G es …

11 cc.complexity-theory  sorting  directed-acyclic-graph  partial-order 

Recientemente me encontré con un artículo de Coudron y Yuen sobre la expansión de la aleatoriedad utilizando dispositivos cuánticos. El principal resultado del trabajo es que es posible generar aleatoriedad "infinita" a partir de un número constante de fuentes (es decir, el número de bits aleatorios generados depende solo del …

11 cc.complexity-theory  quantum-information 

En una fórmula CNF de lectura dos veces opuesta, cada variable aparece dos veces, una vez positiva y otra negativa. Estoy interesado en el problema , que consiste en calcular la paridad del número de asignaciones satisfactorias de una fórmula CNF de lectura dos veces opuesta.⊕Rtw-Opp-CNF⊕Rtw-Opp-CNF\oplus\text{Rtw-Opp-CNF} No pude encontrar ninguna …

11 cc.complexity-theory  ds.algorithms  counting-complexity 

En resumen, la pregunta es: en qué medida, la capacidad computacional para tareas difíciles realmente lo ayuda a resolver tareas fáciles. (Podría haber varias formas de hacer esta pregunta interesante y no trivial, y aquí hay uno de esos intentos). Pregunta 1: Considere un circuito para resolver SAT para una …

11 cc.complexity-theory  dc.parallel-comp 

Hay teoría algorítmica de grafos / teoría de números / combinatoria / teoría de la información / teoría de juegos. ¿Existe un análisis matemático algorítmico? Según wiki, el análisis matemático incluye las teorías de diferenciación, integración, medida, límites, series infinitas y funciones analíticas. Está bien centrarse en el análisis real …

11 cc.complexity-theory  reference-request  soft-question  computability 

Estaba pensando a qué clase pertenece este lenguaje: es un gráfico, es un número natural es el número cromático deL={⟨G,k⟩∣GL={⟨G,k⟩∣GL =\{ \langle G,k \rangle \mid G kkkkkkG}G}G\} Pensé en como (1) "no hay coloración de k-1 colores" y (2) "hay coloración de colores". Ahora, (1) es coNP y (2) tiene …

11 cc.complexity-theory  np-hardness  complexity-classes