Preguntas etiquetadas con cc.complexity-theory

A menudo se cita una justificación filosófica para creer que P! = NP incluso sin pruebas. Otras clases de complejidad tienen evidencia de que son distintas, porque si no, habría consecuencias "sorprendentes" (como el colapso de la jerarquía polinómica). Mi pregunta es, ¿cuál es la base para creer que la …

32 cc.complexity-theory  complexity-classes  gt.game-theory  conditional-results 

Dejar L = { n : el nt h dígito binario de π es 1 }L={n:the nth binary digit of π is 1}L = \{ n : \text{the }n^{th}\text{ binary digit of }\pi\text{ is }1 \} (donde se considera codificado en binario). Entonces, ¿qué podemos decir sobre la complejidad computacional …

31 cc.complexity-theory  na.numerical-analysis 

ST-conectividad es el problema de determinar si existe un camino dirigido entre dos vértices distinguidos y t en un gráfico dirigido G ( V , E ) . Si este problema se puede resolver en el espacio de registro, es un problema abierto de larga data. Esto se llama el …

31 cc.complexity-theory  graph-theory  space-bounded  treewidth  logspace 

Existen toneladas de problemas NP-completos y fuentes que los recopilan, por ejemplo, vea el libro de Garey y Johnson. Me interesaría ver una lista de problemas NEXP-complete también. ¿Hay uno disponible? Como supongo que no hay, abro esta pregunta (¿se supone que es una wiki comunitaria? No sé sobre esto). …

31 cc.complexity-theory  complexity-classes  big-list  nexp 

Estaba (y todavía estoy) realmente interesado en la respuesta a esta pregunta, porque esta es una variación interesante sobre la complejidad de los juegos que no se ha resuelto, así que ofrecí una recompensa. Pensé que la pregunta original era muy difícil, así que publiqué tres preguntas relacionadas que también …

31 cc.complexity-theory  gt.game-theory  interactive-proofs 

Pensé en compartir esta pregunta, ya que podría ser interesante para otros usuarios aquí. Suponga que una función que está en una clase uniforme (como ) también está en una pequeña clase no uniforme (como A C 0 / p o l y , es decir, no uniforme A C …

31 cc.complexity-theory  circuit-complexity  uniformity 

En esta publicación invitada de Josh Grochow en el complejo weblog, informa sobre un taller reciente dedicado a GCT que se celebró en Princeton en julio. Varios de los asistentes argumentaron que deberíamos usar GCT para atacar problemas más fáciles que vs. N P para construir la intuición y ver …

31 cc.complexity-theory  gct 

Decidir si una fórmula booleana cuantificada como ∀ x1∃ x2∀ x3⋯ ∃ xnorteφ ( x1, x2, ... , xnorte) ,∀X1∃X2∀X3⋯∃Xnorteφ(X1,X2,...,Xnorte),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), siempre se evalúa como verdadero es un problema clásico completo de PSPACE. Esto puede verse como un juego entre …

31 cc.complexity-theory  sat  gt.game-theory  pspace 

Defina ioioio - SUBEXPSUBEXPSUBEXP como la clase de lenguajes LLL modo que haya un lenguaje L′∈∩ε>0TIME(2nε)L′∈∩ε>0TIME(2nε)L' \in \cap_{\varepsilon > 0} TIME(2^{n^{\varepsilon}}) y para infinitamente nnn , LLL y L′L′L' estén de acuerdo en todos los casos de longitud nnn . (Es decir, esta es la clase de lenguajes que se …

30 cc.complexity-theory  sat  oracles 

No determinismo Bounded asocia una función con una clase de las lenguas aceptadas por las máquinas de Turing deterministas-delimitada de recursos, para formar una nueva clase - . Esta clase consta de aquellos lenguajes que son aceptados por alguna máquina de Turing no determinista obedece a los mismos límites de …

30 cc.complexity-theory  graph-theory  graph-isomorphism  nondeterminism 

¿Cuáles serían las desagradables consecuencias de NP = PSPACE? Me sorprende no haber encontrado nada sobre esto, dado que estas clases se encuentran entre las más famosas. En particular, ¿tendría alguna consecuencia en las clases bajas?

30 cc.complexity-theory  complexity-classes  conditional-results 

Dado un entero de longitud bits, ¿qué tan difícil es generar el número de factores primos (o alternativamente el número de factores) de ?NNNnnnNNN Si supiéramos la factorización principal de , entonces esto sería fácil. Sin embargo, si supiéramos el número de factores primos, o el número de factores generales, …

30 cc.complexity-theory  counting-complexity  nt.number-theory  factoring 

Muchos expertos creen que la conjetura es cierta y la utilizan en sus resultados. Mi preocupación es que la complejidad depende en gran medida de la conjetura P ≠ N P.P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Entonces mi pregunta es: Mientras no se pruebe la conjetura , ¿se puede / se …

30 cc.complexity-theory  soft-question  big-picture  p-vs-np  physics 

Citando Wikipedia , "[El juego de la vida de Conway] tiene el poder de una máquina universal de Turing: es decir, cualquier cosa que se pueda calcular algorítmicamente se puede calcular dentro del Juego de la vida de Conway". ¿Se extienden dichos resultados a las versiones ruidosas de Conway's Game …

30 cc.complexity-theory  pr.probability  cellular-automata  fault-tolerance 

Cualquier número natural puede considerarse como una secuencia de bits, por lo que ingresar un número natural es lo mismo que ingresar una secuencia 0-1, por lo que obviamente existen problemas de NP completo con entradas naturales. Pero, ¿hay algún problema natural, es decir, uno que no utilice codificación e …

30 cc.complexity-theory  np-hardness  nt.number-theory  combinatorial-game-theory