Ciencias de la computación teórica

Como saben, hay muchas anomolias para las máquinas de Turing de cinta única cuando el tiempo es : simulación de TM de cinta múltiple, simulación de alfabeto de cinta más grande con solo , capacidad de construcción de tiempo, teorema de la falta de rigidez del tiempo, ...o(n2)o(n2)o(n^2){0,1,b}{0,1,b}\{0,1,b\} También resulta …

18 cc.complexity-theory  turing-machines 

He buscado por todas partes tales aplicaciones y la mayoría de las veces me he quedado corto. Puedo encontrar muchas aplicaciones de topología y estructuras similares en conjuntos contables (o incontables), pero rara vez encuentro conjuntos incontables como objeto de estudio por parte de científicos informáticos y, por lo tanto, …

18 co.combinatorics  big-picture 

Creo que sería una buena idea hacer una lista de teoremas que indiquen que P no es igual a NP si y solo si tales y tales salidas, alguna clase de complejidad está contenida en otra clase de complejidad y así sucesivamente.

18 cc.complexity-theory  big-list  p-vs-np 

Veo mucha investigación sobre la hipercomputación en la década de 1990, pero en los últimos años parece haber poco trabajo sobre el tema. ¿Es cierto que la investigación en esta área ha disminuido? Si es así, ¿cuáles podrían ser los motivos? ¿Se demostró convincentemente que esta área no era prometedora?

18 reference-request  computability  hypercomputation 

IP = PSPACE aparece como el ejemplo canónico de un resultado no relativizante, y la prueba de esto es que existe un oráculo tal que , mientras que {\ sf CONP} ^ O \ subseteq {\ sf PSPACE} ^ O para todos los oráculos O .c o N P O …

18 cc.complexity-theory  interactive-proofs  relativization 

Sea una fórmula CNF satisfactoria con n variables y m cláusulas. Sea S F 1 el espacio de solución de F 1 .F1F1F_1nortennmetrommSF1SF1S_{F_1}F1F1F_1 Considere el problema de determinar, dado , otra Fórmula CNF F 2 con el mismo conjunto de variables que F 1 , con S F 2 = …

18 cc.complexity-theory  co.combinatorics  sat  formulas 

¿Hay algún algoritmo para la resolución SAT que no esté basado en DPLL? ¿O todos los algoritmos utilizados por los solucionadores SAT están basados ​​en DPLL?

18 ds.algorithms  reference-request  sat 

¿La prueba automática de teoremas y la búsqueda de pruebas son más fáciles en lógicas subestructurales lineales y otras proposicionales que carecen de contracción? ¿Dónde puedo leer más sobre la demostración automática de teoremas en estas lógicas y el papel de la contracción en la búsqueda de pruebas?

18 reference-request  lo.logic  survey  automated-theorem-proving  linear-logic 

La operación de votación mayoritaria aparece con bastante frecuencia en la tolerancia a fallas (y sin duda en otros lugares), donde la función genera un bit igual al valor que aparece con mayor frecuencia en el valor de los bits de entrada. Para simplificar, supongamos que cada vez que la …

18 co.combinatorics 

¿Qué se sabe sobre la complejidad exacta del problema de supercuerdas más corto? ¿Se puede resolver más rápido que O∗(2n)O∗(2n)O^*(2^n) ? ¿Existen algoritmos conocidos que resuelvan la supercadena más corta sin reducir a TSP? UPD: suprime los factores polinomiales.O∗(⋅)O∗(⋅)O^*(\cdot) El problema de la supercuerda más corta es un problema cuya …

18 cc.complexity-theory  ds.algorithms  graph-theory  tsp  exp-time-algorithms 

Solo por curiosidad, si la computación clásica se trata de matrices de permutación y la computación cuántica se trata de matrices unitarias (de las cuales las matrices de permutación son un subgrupo), ¿habrá algún paradigma de computación más allá de las matrices unitarias?

18 quantum-computing  philosophy 

Hay una multitud de algoritmos que pueden analizar una gramática libre de contexto en tiempo . Usando la multiplicación de matrices, incluso se puede ir asintóticamente más rápido que eso.O ( n3)O(n3)O(n^3) Sin embargo, todos los algoritmos para analizar CFG arbitrarios que conozco tienen un uso de espacio en el …

18 ds.algorithms  fl.formal-languages  space-bounded  parsing  context-free 

XORification es la técnica para hacer que una función o fórmula booleana sea más difícil al reemplazar cada variable por el XOR de k ≥ 2 variables distintas x 1 ⊕ ... ⊕ x k . xxxk≥2k≥2k\geq 2x1⊕…⊕xkx1⊕…⊕xkx_1 \oplus \ldots \oplus x_k Soy consciente de los usos de esta técnica …

18 cc.complexity-theory  reference-request  boolean-functions  proof-complexity 

Soy un físico de corazón, por lo que creo que la computación cuántica unidireccional es brillante. En particular, la computación cuántica basada en la medición del estado gráfico (MBQC) ha sido un desarrollo realmente agradable en la investigación de la computación cuántica, originada por Raussendorf & Briegel . Uno solo …

18 quantum-computing 

¿Cuál es la complejidad (en la RAM entera estándar) de calcular la transformada discreta estándar de Fourier de un vector de enteros?nnn El algoritmo clásico para transformaciones rápidas de Fourier , atribuidas inapropiadamente [1] a Cooley y Tukey, generalmente se describe como funcionando en tiempo . Pero la mayoría de …

18 ds.algorithms  time-complexity  computing-over-reals  computable-analysis