Ciencias de la computación teórica

Los problemas han sido, en su conjunto, clasificados, gracias a la Complejidad Computacional. Pero, en ecuaciones diferenciales, ¿es posible clasificar las ecuaciones diferenciales en función de su estructura computacional? Por ejemplo, si una ecuación no homogénea de primer orden es comparativamente difícil de resolver que, por ejemplo, una ecuación homogénea …

10 cc.complexity-theory  complexity-classes  computability  dynamic-algorithms 

Deje ser una constante fija. Dado un número entero , queremos construir una permutación tal que:n σ ∈ S nk > 0k>0 0k>0nortenortenσ∈ Snorteσ∈Snorte\sigma \in S_n La construcción utiliza tiempo y espacio constantes (es decir, el preprocesamiento requiere tiempo y espacio constantes). Podemos usar la aleatorización. Dado , se puede …

10 cc.complexity-theory  ds.algorithms  cr.crypto-security  derandomization  k-wise-independence 

Hay un problema abierto en los idiomas formales conocido como el Problema de separación; que se indica brevemente como dadas dos cadenas distintas de longitud , qué tan grande de un DFA se requiere para "separarlas", lo que significa aceptar una cadena pero rechazar la otra.nnn Aquí hay algunos documentos …

10 fl.formal-languages  automata-theory 

Quizás la principal fuente de problemas de rendimiento en Haskell es cuando un programa sin darse cuenta acumula una cantidad de profundidad ilimitada, lo que provoca una pérdida de memoria y un desbordamiento potencial de la pila al evaluar. El ejemplo clásico se define sum = foldr (+) 0en Haskell. …

10 type-theory  functional-programming  program-verification 

Siguiendo las preguntas equivalentes sobre NP-Completeness (ver la pregunta de peso y la pregunta dirigida ), me preguntaba cómo los problemas parametrizados se ven afectados por estos atributos. ¿Qué gráficos duros son -Hard en gráficos dirigidos, pero parámetros fijos manejables en gráficos no dirigidos?NPNPNPW[1]W[1]W[1] ¿Qué gráficos duros son -Hard en …

10 cc.complexity-theory  graph-algorithms  parameterized-complexity  fixed-parameter-tractable 

Para una prueba de corrección, estoy buscando una noción utilizable de equivalencia de programa para los sistemas de tipo puro (PTS) de Barendregt; falta eso, para suficientes sistemas de tipos específicos. Mi objetivo es simplemente usar la noción, no investigarla por sí misma.≅≅\cong Esta noción debería ser " extensional ", …

10 pl.programming-languages  type-theory  operational-semantics 

Es un hecho bastante conocido que derivar una contradicción de una desigualdad (por ejemplo, ) en la teoría de tipo Martin-Loef requiere un universo.( 0 = 1 ) → ⊥(0=1)→⊥(0=1) \to \bot La prueba también es bastante sencilla: en ausencia de universos, podemos borrar las dependencias de cualquier tipo dependiente …

10 reference-request  lo.logic  pl.programming-languages  type-theory  dependent-type 

El problema del isomorfismo gráfico es uno de los problemas más antiguos que resistió la clasificación en problemas o N P- completos. Tenemos evidencias de que no puede ser N P- completo. En primer lugar, el isomorfismo gráfico no puede ser N P- completo a menos que la jerarquía polinómica …

10 cc.complexity-theory  graph-isomorphism 

La complejidad de la prueba es un área más básica de la teoría de la complejidad computacional. Un propósito final de esta área es probar , es decir, cualquier comprobador no puede dar una prueba de insatisfacción de la fórmula de entrada dada. nortePAG≠ c o NPAGNP≠coNPNP\neq coNP Un gráfico …

10 cc.complexity-theory  reference-request  graph-theory  np  proof-complexity 

En el artículo de 1965 " Sobre la complejidad computacional de los algoritmos " de Hartmanis y Stearns, los autores conjeturan que si una máquina de Turing en tiempo real calcula el número real en, por ejemplo, la base 10, entonces es un número racional o un número trascendentalrrrrrrr ¿Existe …

10 cc.complexity-theory  reference-request  examples 

De manera equivalente, ¿existe una semántica denotacional conocida para los lenguajes de programación funcional probabilísticos de orden superior? Específicamente, ¿existe un modelo de dominio de cálculo puro sin tipo extendido por una operación de elección binaria aleatoria simétrica.λλ\lambda Motivación Las categorías cerradas cartesianas proporcionan una semántica a los cálculos orden …

10 pr.probability  lambda-calculus  ct.category-theory  denotational-semantics  domain-theory 

Antecedentes: el procesamiento de transacciones ha sido un tema de investigación tradicional en la teoría de bases de datos. Hoy en día, las transacciones distribuidas se popularizan por los sistemas de almacenamiento distribuido a gran escala que generalmente implican la partición de datos (también llamada fragmentación) y la replicación de …

10 reference-request  big-list  dc.distributed-comp  db.databases 

Mi pregunta es sobre algoritmos cuánticos para cálculos de QED (electrodinámica cuántica) relacionados con las constantes de estructura fina. Tales cálculos (como se me explicó) equivalen a calcular series similares a Taylor donde α es la constante de estructura fina (alrededor de 1/137) y c k es la contribución de …

10 cc.complexity-theory  quantum-computing  physics 

¿Cuál es el enfoque estándar para minimizar Büchi-Automata (o también Müller-Automata)? Transferir la técnica habitual de palabras finitas, es decir, establecer dos estados para que sean iguales si las palabras "agotándose" de los estados aceptados son las mismas, no funcionará. Por ejemplo, considere que Büchi-Automoton acepta todas las palabras con …

10 fl.formal-languages  automata-theory 

La hipótesis de Riemann de más de ½ siglo de antigüedad tiene profundas implicaciones en las matemáticas y ahora se prueba condicionalmente un gran edificio de teoría matemática y numerosas variantes. Recientemente encontré una referencia a un resultado condicional en TCS basado en la hipótesis de Riemann. Por lo tanto, …

10 cc.complexity-theory  algebraic-complexity  arithmetic-circuits