Ciencias de la computación teórica

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 

He estado leyendo " Semántica con aplicaciones " de Nielson & Nielson , y realmente me gusta el tema. Me gustaría tener un libro más sobre semántica del lenguaje de programación, pero realmente solo puedo obtener uno. Eché un vistazo al libro de Turbak / Gifford , pero es demasiado …

31 reference-request  pl.programming-languages  semantics  denotational-semantics  books 

Uno de los santos griales del diseño de algoritmos es encontrar un algoritmo fuertemente polinómico para la programación lineal, es decir, un algoritmo cuyo tiempo de ejecución está limitado por un polinomio en el número de variables y restricciones y es independiente del tamaño de la representación de los parámetros …

31 ds.algorithms  conditional-results  linear-programming  computing-over-reals  simplex 

El número aproximado de coloraciones parece ser fácil en gráficos con exclusión menor utilizando el algoritmo de Jung / Shah. ¿Cuáles son otros ejemplos de problemas que son difíciles en gráficos generales pero fáciles en gráficos excluidos menores? Actualización 10/24 Parece seguir los resultados de Grohe de que la fórmula …

31 ds.algorithms  graph-theory  graph-minor 

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 

¿Alguien se atreve a intentar aclarar cuál es la relación de estos campos de estudio o tal vez incluso dar una respuesta más concreta a nivel de problemas? Como cuál incluye cuál asumiendo algunas formulaciones ampliamente aceptadas. Si entendí esto correctamente, cuando pasas de SAT a SMT básicamente estás entrando …

30 soft-question  sat  terminology 

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 

Richard J. Lipton ha sido seleccionado como el ganador del Premio Knuth 2014 "por Introducción de nuevas ideas y técnicas". ¿Cuáles son para usted las principales ideas y técnicas nuevas que desarrolló Lipton? Nota. Esta pregunta se convertirá en wiki de la comunidad, por favor ponga una idea, técnica o …

30 big-list 

Es bien sabido que una caminata aleatoria en la cuadrícula bidimensional volverá al origen con probabilidad 1. También se sabe que la misma caminata aleatoria en TRES dimensiones tiene una probabilidad estrictamente menor que 1 de regresar al origen . Mi pregunta es: ¿Hay algo en el medio? Por ejemplo, …

30 pr.probability  random-walks  markov-chains 

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