Ciencias de la computación teórica

Supongamos que tenemos una variable aleatoria que toma valores no numéricos a, b, c y queremos cuantificar cómo la distribución empírica de nnn muestras de esta variable se desvía de la distribución verdadera. La siguiente desigualdad (de Cover & Thomas ) se aplica en este caso. Teorema 12.4.1 (Teorema de …

9 pr.probability  chernoff-bound 

La multiplicación de matrices usando Regular - técnica (fila columna interna producto) realiza multiplucations y adiciones. Sin embargo, suponiendo entradas de igual tamaño (número de bits en cada entrada de ambas matrices que se multiplican) de tamaño bits, la operación de suma en realidad ocurre en bits.O ( n 3 …

9 cc.complexity-theory  algebraic-complexity 

Sea un alfabeto, es decir, un conjunto finito no vacío. Una cadena es cualquier secuencia finita de elementos (caracteres) de . Como ejemplo, es el alfabeto binario y es una cadena para este alfabeto.Σ { 0 , 1 } 0110ΣΣ\SigmaΣΣ\Sigma{ 0 , 1 }{0,1} \{0, 1\}011001100110 Por lo general, siempre …

9 big-list  encoding  examples 

Me refiero específicamente a las familias de idiomas que admiten cadenas arbitrariamente largas, no conjunciones sobre n bits o listas de decisiones o cualquier otro lenguaje "simple" contenido en {0,1} ^ n. Estoy preguntando acerca de los lenguajes regulares "autómatas-teóricos" en lugar de los "lógicos-teóricos": algo así como los lenguajes …

9 automata-theory  machine-learning  lg.learning 

IP (2pfa) y AM (2pfa) son las clases de lenguajes reconocidos con error acotado por versiones de monedas públicas y privadas, respectivamente, de sistemas de prueba interactivos con verificadores que son autómatas finitos probabilísticos con un cabezal de entrada de dos vías. ¿Se conocen propiedades de cierre de estas clases?

9 cc.complexity-theory  interactive-proofs 

La pregunta es la siguiente. En general, cuando se tiene un término como , podemos eliminar el principio aplicando este término a un tipo, como instancia .( Λ X . t ) [ T ] → t [ X : = T ]Λ X. tΛX.t\Lambda X.t( Λ X. t ) …

9 type-theory  polymorphism  type-inference 

Estoy (lentamente) escribiendo una reseña del Manual de Algoritmos de Quimioinformática para SIGACT News. Un capítulo analiza las implementaciones de software actuales, y las búsquedas en la base de datos (y otras aplicaciones) no parecen aprovechar tanta información sobre los gráficos como podrían. Por otro lado, quizás los algoritmos más …

9 reference-request 

Así que tengo un problema al que me enfrento con respecto a la agrupación con datos en vivo y de transmisión continua. Como tengo un conjunto de datos cada vez mayor, no estoy seguro de cuál es la mejor manera de ejecutar clustering eficiente y efectivo. He encontrado algunas posibles …

9 ds.algorithms  clustering  online-algorithms  data-streams 

¿Hay resultados conocidos que demuestren que la existencia (o la no existencia) de gráficos finitos con propiedades computables específicas implican ciertos resultados de complejidad (como P = NP)? Aquí hay un resultado completamente hipotético : si existe un gráfico finito con bordes distingos A, B, C y D, de modo …

9 cc.complexity-theory 

Conocemos y amamos un montón de clases anidadas de conceptos de solución: PN: equilibrio de Nash puro MN: Equilibrio de Nash mixto CE: equilibrio correlacionado CCE: Curso de equilibrio correlacionado. La relación entre estos conjuntos es: Podemos considerar el precio de la anarquía sobre cualquiera de estos conceptos de solución: …

9 gt.game-theory 

Me preguntaba si se sabe que la tarea de buscar colores planos 3 es de complejidad O(cn√)O(cn)O\left(c^{\sqrt{n}}\right)o inferior? Parece que sería una consecuencia intuitiva basada en los resultados del separador plano, pero enwikipediasolo menciona conjuntos independientes, árboles Steiner, ciclos hamiltonianos y TSP. A continuación incluyo un razonamiento que creo que …

9 cc.complexity-theory  graph-algorithms  planar-graphs  graph-colouring 

Contexto : Hay varios documentos que estudian las implicaciones de las curvas cerradas de tiempo (CTC) para la complejidad cuántica. En 2008, Aaronson y Watrous publicaron su famoso artículo sobre este tema que muestra que ciertas formas de viaje en el tiempo pueden hacer que la computación clásica y cuántica …

9 cc.complexity-theory  quantum-computing  big-picture 

Estoy buscando escribir una encuesta sobre el método de representar la dinámica de la computación basada en el estado en el marco de las coalgebras. Hasta ahora, he logrado encontrar documentos sobre representaciones de coalgebra de DFA, NFA, máquinas Mealy, máquinas Moore, gramáticas libres de contexto e incluso sistemas cuánticos …

9 automata-theory  turing-machines  algebra  automated-theorem-proving 

Este resultado de Tavenas, Koiran y otros muestran que cualquier polinomio calculado por un circuito de tamaño sss se calcula por un circuito homogéneo de profundidad 4 de tamaño sd√sds^{\sqrt{d}} . ¿Hay resultados similares para los circuitos booleanos o sabemos por qué tal cosa no es posible?

9 cc.complexity-theory  circuit-complexity  arithmetic-circuits 

Somos capaces de demostrar teoremas un parametricity gratis sobre funciones como ? Se supone que indica que f toma una lista y siempre devuelve una permutación de la misma.f:∀A.[A]⊸[A]f:∀A.[A]⊸[A]f : \forall A . [A] ⊸ [A]fff Otro ejemplo: probar que la función siempre devolverá una lista permutada con exactamente un …

9 linear-logic  parametricity