Ciencias de la computación teórica

Hace veinte años, creé un paquete de expresiones regulares que incluía conversiones de expresiones regulares a una máquina de estados finitos (DFA) y soportaba una gran cantidad de operaciones de expresiones regulares cerradas (estrella de Kleene, concatenación, operaciones inversas, de configuración, etc.). No estaba seguro sobre el peor desempeño de …

16 dfa  regular-expressions  bounds 

El siguiente problema aparece en la lista de Aaronson Diez desafíos grandes para la teoría de la computación cuántica . Es B Q P = B P PB Q N CsiQPAG=siPAGPAGsiQnorteC\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} En otras palabras, ¿se puede comprimir la parte "cuántica" de cualquier algoritmo cuántico a profundidad de p o l …

16 cc.complexity-theory  quantum-computing  circuit-complexity  quantum-information  circuit-depth 

Cualquier lenguaje que no esté completo no puede escribir un intérprete para sí mismo. No tengo idea de dónde lo leí, pero lo he visto varias veces. Parece que esto da lugar a una especie de lenguaje completo "Turing" no Turing completo; la (s) que solo puedenser interpretado por una …

16 computability  turing-machines 

¿Existen aplicaciones prácticas para los modelos de programación que no sean de von Neumann? ¿Cuáles son los lenguajes de programación no von von Neumann más ampliamente adoptados?

16 universal-computation  logic-programming 

La normalización débil para el cálculo lambda simple mecanografiado se puede probar (Turing) por inducción en . Un cálculo lambda extendido con recursores en números naturales (Gentzen) tiene una estrategia de normalización débil por inducción en .ω2ω2\omega^2ϵ0 0ϵ0 0\epsilon_0 ¿Qué pasa con el Sistema F (o más débil)? ¿Hay una …

16 lo.logic  type-theory  lambda-calculus  proof-theory  normalization 

¿Es el caso de los gráficos muy regulares el más difícil para las pruebas de GI? donde "más duro" se usa en algún sentido de "sentido común", o "en promedio", por así decirlo. Wolfram MathWorld menciona algunos "gráficos patológicamente difíciles". ¿Qué son? Mi conjunto de muestras de 25 pares de …

16 ds.algorithms  graph-isomorphism 

LogCFL es el conjunto de todos los idiomas que son logspace reductibles a un lenguaje sin contexto. Del mismo modo, LogDCFL es el conjunto de todos los lenguajes que son espacio de registro reducible a un lenguaje determinista sin contexto. Vea este artículo de Wikipedia para algunos problemas naturales completos …

16 cc.complexity-theory  complexity-classes 

¿Qué debo leer para entender este problema? El poder de los circuitos cuánticos de pequeña profundidad. ¿Es ? En otras palabras, ¿se puede comprimir la parte "cuántica" de cualquier algoritmo cuántico a la profundidad de polylog (n), siempre que estemos dispuestos a realizar un posprocesamiento clásico en tiempo polinómico? (Se …

16 cc.complexity-theory  reference-request  quantum-computing 

¿Existen casos interesantes de algoritmos que se hayan publicado con límites probados y donde se hayan publicado límites estrictamente mejores más adelante? No mejores algoritmos con mejores límites, ¡obviamente eso ha sucedido! Pero un mejor análisis conduce a un mejor límite en un algoritmo existente Pensé que la multiplicación de …

16 ho.history-overview  analysis-of-algorithms 

En "Computación cuántica e información cuántica" de Mike e Ike, el algoritmo de Grover se explica con gran detalle. Sin embargo, en el libro, y en todas las explicaciones que he encontrado en línea para el algoritmo de Grover, parece que no se menciona cómo se construye el Oráculo de …

16 quantum-computing  quantum-information  oracles  search-problem  black-box 

Todos sabemos que mostrar tiene barreras. Todos hemos estudiado estas barreras porque creemos que .PAG≠ NPAGPAG≠nortePAGP\ne NPPAG≠ NPAGPAG≠nortePAGP\ne NP Sin embargo, suponga y hay personas sabias que creen que existe la posibilidad . Si este es realmente el caso, el hecho de que no hayamos visto ningún buen algoritmo indica …

15 p-vs-np  barriers 

Espero que la respuesta sea no, pero en realidad no pude construir un contraejemplo. La diferencia es que en , es posible que no podamos elegir un algoritmo uniforme en .∩ε>0DTIME(O(n2+ε))∩ε>0DTIME(O(n2+ε))∩_{ε>0} \mathrm{DTIME}(O(n^{2+ε}))O(n2+ε)O(n2+ε)O(n^{2+ε})εεε Mediante un argumento de cola de milano (por ejemplo, vea esta pregunta ), si hay un conjunto ce …

15 cc.complexity-theory  time-complexity 

Encuentro algunos libros sobre computadoras, pero todos tratan sobre tecnología. Quiero algo más vinculado a la teoría.

15 reference-request  soft-question  philosophy 

O con otras palabras, ¿tenemos eso para cada idioma y B , A ≤ p B o ?UNUNAsisiBA ≤pagsiUN≤pagsiA \leq_p BB ≤pagUNsi≤pagUNB \leq_p A

15 reductions  complexity 

Hice esta pregunta hace 10 días en cs.stackexchange aquí, pero no tenía ninguna respuesta. En un artículo muy famoso (en la comunidad de redes), Wang y Crowcroft presentan algunos resultados de -completitud del cálculo de ruta bajo varias restricciones aditivas / multiplicativas. El primer problema es el siguiente:N PnortePAG\mathsf{NP} Dado …

15 np-hardness  reductions