Reg⊆NC1Reg⊆NC1\mathsf{Reg} \subseteq \mathsf{NC^1}RegReg\mathsf{Reg}TC0⊈RegTC0⊈Reg\mathsf{TC^0} \not\subseteq \mathsf{Reg}Reg⊆TC0Reg⊆TC0\mathsf{Reg} \subseteq \mathsf{TC^0}NC1⊈TC0NC1⊈TC0\mathsf{NC^1}\not\subseteq\mathsf{TC^0}Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0} ¿Hay un...
El kkk -ésimo polinomio simétrico elemental Snk(x1,…,xn)Skn(x1,…,xn)S_k^n(x_1,\ldots,x_n) es la suma de todos los productos de distintas variables. Estoy interesado en la complejidad del circuito aritmético monótono de este polinomio. Un algoritmo de programación dinámica simple (así como la Fig. 1...
Deje que sea la familia de todos los idiomas más Σ que satisfacen la propiedad de bombeo de lenguajes regulares. A saber: para cada L ∈ L , hay una N ∈ N st cada palabra w ∈ L , | w | > N se puede escribir en la forma w = x y z donde: 1. | y | > 0 , 2. | x y | ≤ N , 3. x y i...
¿Puede el no determinismo acelerar el cálculo determinista? Si es así, ¿cuánto? Al acelerar el cálculo determinista por el no determinismo me refiero a los resultados de la forma: DTime(f(n))⊆NTime(n)DTime(f(n))⊆NTime(n)\mathsf{DTime}(f(n)) \subseteq \mathsf{NTime}(n) Por ejemplo, algo...
Let ser un lenguaje, entonces definimos la congruencia sintáctica como u ~ v : ⇔ ∀ x , y ∈ X * : x T y ∈ L ↔ x v y ∈ L y el cociente monoid X * / ~ L es llamado el monoide sintáctica de L .L⊆X∗L⊆X∗L \subseteq X^{\ast}u∼v:⇔∀x,y∈X∗:xuy∈L↔xvy∈Lu∼v:⇔∀x,y∈X∗:xuy∈L↔xvy∈L u \sim v :\Leftrightarrow...
¿Hay problemas interesantes que están en pero no se sabe que están en N C 2 ? En el documento 'Una taxonomía de problemas con algoritmos paralelos rápidos', Cook menciona que se sabía que MIS solo estaba en N C 5, pero esto se ha reducido a N C 2 . Me pregunto si hay otros problemas con los...
¿Qué impide que ghc traduzca Haskell a un lenguaje de programación concatenante como la lógica combinatoria y luego simplemente use la asignación de pila para todo? Según Wikipedia, la traducción del cálculo lambda a la lógica combinatoria es trivial y, además, los lenguajes de programación...
¿Hay alguna jerarquía "agradable" conocida L0⊆L1⊆L2⊆…L0⊆L1⊆L2⊆…L_0 \subseteq L_1 \subseteq L_2 \subseteq \dots (puede ser finita) dentro de la clase de lenguajes regulares LLL ? Por bueno aquí, las clases en cada jerarquía capturan diferente expresividad / poder / complejidad. Además, la membresía...
He estado pensando en estas preguntas: ¿Existe un cálculo lambda mecanografiado que sea consistente y Turing completo? /cs/65003/if-%CE%BB-xxx-has-a-type-then-is-the-type-system-inconsistent ¡y ya hay algunas preguntas relacionadas difíciles de responder en la configuración sin tipo ! Más...
Para una teoría de tipos, por consistencia, quiero decir que tiene un tipo que no está habitado. De la fuerte normalización del cubo lambda, se deduce que el sistema y el sistema son consistentes. Los tipos inductivos MLTT + también tienen una prueba de normalización. Sin embargo, todos estos...
¿Ha habido algún trabajo en encontrar el mínimo número de operaciones aritméticas elementales necesarios para calcular el determinante de una nnn por nnn matriz para la pequeña y fija nnn ? Por ejemplo, n=5n=5n=5
Recientemente estuve leyendo un artículo muy bueno de Valiant y Vazirani que muestra que si , entonces no puede haber un algoritmo eficiente para resolver SAT incluso bajo la promesa de que es insatisfactorio o tiene una solución única. De este modo, se demuestra que SAT no admite un algoritmo...
La semántica de un gran subconjunto de OCaml, llamada OCamllight , fue formalizada en HOL por Owens hace varios años. Más recientemente, Kreitz, Hayden y Hickey implementaron una semántica teórica tipo de un subconjunto más pequeño de OCaml en Nuprl . ¿Hay algún desarrollo similar en...
¿Existe , un lenguaje completo NP o P que tiene una familia de grupos de simetría (o grupoide , pero luego las preguntas algorítmicas se vuelven más abiertas) actuando (en tiempo polinómico) en conjuntos tal que hay pocas órbitas, es decir, tal que para suficientemente grande...
BPPBPP\mathbf{BPP}PP\mathbf{P}polypoly\mathrm{poly} ( min , + )(max,+)(max,+)(\max,+)(min,+)(min,+)(\min,+) Deje ser un semired. Un patrón cero de una secuencia de polinomios en es un subconjunto para el que existen y tal que para todo , si y sólo si . Es decir, las gráficas de exactamente esos...
¿Cuál es la complejidad del siguiente problema? Entrada : HHH un camino hamiltoniano en KnKnK_n R⊆[n]2R⊆[n]2R \subseteq [n]^2 un subconjunto de pares de vértices un entero positivo kkk Consulta : ¿hay una M coincidente tal que para cada ( v , u ) ∈ R , d G ( v , u ) ≤ k ? (donde G = ( [ n ] ,...
Sea la función que mapea un circuito -gate en bits y una cadena -bit a . Suponga que los circuitos están codificados como una secuencia acíclica de asignaciones donde son etiquetas de cable.C i r c u i t E v a ls , nCyorCtuyotmivunls,norte\mathsf{CircuitEval}_{s, n}sssCCCnortenortennortenortenXXxC(...
Teniendo en cuenta los temas tratados en una conferencia como STOC, ¿hay algún algoritmo o investigador de complejidad que use activamente COQ o Isabelle? Si es así, ¿cómo lo usan en su investigación? Supongo que la mayoría de la gente no usaría tales herramientas porque las pruebas serían de un...
En el capítulo 1 y el Apéndice A del libro de Hott , se presentan varias familias de tipos primitivos (tipos de universo, tipos de funciones dependientes, tipos de pares dependientes, tipos de coproductos, tipo vacío, tipo de unidad, tipo de número natural y tipos de identidad) para formar la base...
Considere el siguiente modelo de circuito monótono simple: cada puerta es solo un OR binario. ¿Cuál es la complejidad de una función f ( x ) = A xf(x)=Axf(x)=Ax donde AAA es una matriz booleana n × nn×nn \times n con O ( n )O(n)O(n) 0? ¿Se puede calcular mediante circuitos OR de tamaño lineal? Más...