Ciencias de la computación teórica

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 

Necesito un libro de teoría de autómatas finito con muchos ejemplos que pueda usar para el autoaprendizaje y para prepararme para los exámenes.

32 reference-request  automata-theory  fl.formal-languages 

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 

Ocasionalmente he escuchado a personas hablar sobre algoritmos cuánticos y sobre estados y la capacidad de considerar múltiples posibilidades a la vez, pero nunca he logrado que alguien explique el modelo computacional detrás de esto. Para ser claros, no estoy preguntando cómo se construyen físicamente las computadoras cuánticas, sino cómo …

32 quantum-computing  big-picture 

¿Existe una estructura de datos de cola prioritaria que admita las siguientes operaciones? Insertar (x, p) : agrega un nuevo registro x con prioridad p StableExtractMin () : devuelve y elimina el registro con prioridad mínima, rompiendo los lazos por orden de inserción . Por lo tanto, después de Insertar …

32 ds.data-structures 

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 

Sé que el problema de la detención es indecidible en general, pero hay algunas máquinas de Turing que obviamente se detienen y otras que obviamente no. De todas las máquinas de turing posibles, ¿cuál es la más pequeña donde nadie tiene una prueba de si se detiene o no?

31 halting-problem 

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 

En el prefacio de sus libros muy influyentes Automata, Languages ​​and Machines (Volúmenes A, B), Samuel Eilenberg prometió tentadoramente que los Volúmenes C y D se ocupan de "una jerarquía (llamada la jerarquía racional) de los fenómenos no racionales ... utilizando relaciones racionales como una herramienta para la comparación. Los …

31 soft-question  fl.formal-languages  automata-theory  regular-language  context-free 

He estado leyendo algunos artículos sobre tipos dependientes y contratos de programación. De la mayoría de lo que he leído, parece que los contratos se comprueban dinámicamente y los tipos dependientes se comprueban estáticamente. Ha habido algunos documentos que me han hecho pensar que es posible tener contratos que están …

31 pl.programming-languages  type-theory  program-verification  dependent-type 

Estoy bastante confundido por la literatura de optimización continua y la literatura de TCS sobre qué tipos de programas matemáticos (continuos) (MP) se pueden resolver de manera eficiente y cuáles no. La comunidad de optimización continua parece afirmar que todos los programas convexos se pueden resolver de manera eficiente, pero …

31 ds.algorithms  optimization  linear-programming  semidefinite-programming  polynomial-time 

¿Existe un límite inverso de Chernoff que limita que la probabilidad de la cola sea al menos tanto? es decir, si son variables aleatorias binomiales independientes y . Entonces, ¿podemos probar para alguna función .X1,X2,…,XnX1,X2,…,XnX_1,X_2,\ldots,X_nμ=E[∑ni=1Xi]μ=E[∑i=1nXi]\mu=\mathbb{E}[\sum_{i=1}^n X_i]Pr[∑ni=1Xi≥(1+δ)μ]≥f(μ,δ,n)Pr[∑i=1nXi≥(1+δ)μ]≥f(μ,δ,n)Pr[\sum_{i=1}^n X_i\geq (1+\delta)\mu]\geq f(\mu,\delta,n)fff

31 pr.probability  chernoff-bound 

Soy nuevo en el campo de CS y he notado que en muchos de los artículos que leo, no hay resultados empíricos (sin código, solo lemas y pruebas). ¿Porqué es eso? Teniendo en cuenta que la informática es una ciencia, ¿no debería seguir el método científico?

31 soft-question  research-practice  writing 

Quiero codificar una máquina simple de Turing en las reglas de un juego de cartas. Me gustaría convertirlo en una máquina universal de Turing para demostrar su integridad. Hasta ahora, he creado un estado de juego que codifica la máquina Turing de 2 estados y 3 símbolos de Alex Smith …

31 computability  turing-machines  universal-computation 

¿Hay un ejemplo interesante de un algoritmo aleatorio para un problema de búsqueda que siempre genera la misma respuesta (correcta), independientemente de su aleatoriedad interna, pero que explota la aleatoriedad para que su tiempo de ejecución esperado sea mejor que el tiempo de ejecución del más rápido conocido algoritmo determinista …

31 ds.algorithms  randomized-algorithms