Ciencias de la computación teórica

¿Cuáles son los problemas estándar que podemos reducir para probar los límites inferiores de ?Ω(nlogn)Ω(nlog⁡n)\Omega(n\log n) Por supuesto, otros problemas de estado además de la clasificación y la distinción de elementos.

12 cc.complexity-theory  lower-bounds 

Me pregunto cuáles son los avances recientes en la teoría de bases de datos relacionales y dominios relacionados. Estoy interesado en nuevos enfoques, lenguajes de consulta (alternativas a SQL y / o extensiones), productos (propietarios y de código abierto, aunque estoy mucho más interesado en el código abierto) y proyectos …

12 db.databases  relational-structures 

El SAT único es el problema bien conocido: dada una fórmula CNF , ¿es cierto que F tiene exactamente un modelo?FFFFFF Estoy interesado en el problema «Exactamente -SAT»: dada una fórmula F de CNF y un entero m > 1 , ¿es cierto que F tiene exactamente m modelos?mmmFFFm>1m>1m>1FFFmmm Ambos …

12 cc.complexity-theory  reference-request  np-hardness  sat  reductions 

En el capítulo 10 de HAC (10.4.2) , vemos el conocido protocolo de identificación Feige-Fiat-Shamir basado en una prueba de conocimiento cero que utiliza la (presunta) dificultad de extraer el módulo de raíces cuadradas de un compuesto que es difícil de factorizar. Daré el esquema en mis propias palabras (y …

12 cr.crypto-security  proofs  zero-knowledge 

Por lo general, la entropía de Shannon se usa para probar los resultados de la codificación del canal. Incluso para los resultados de separación del canal fuente se utiliza la entropía de shannon. Dada la equivalencia entre las nociones de información de Shannon (global) frente a Kolmogorov (local), ¿ha habido …

12 it.information-theory  kolmogorov-complexity  shannon-entropy 

Versión rápida ¿Existen modelos de la decoherencia cuántica para la caminata en la línea de tal manera que podemos sintonizar el pie de propagación como para cualquier 1 / 2 ≤ k ≤ 1 ?Θ ( tk)Θ(tk)\Theta(t^k)1 / 2 ≤ k ≤ 11/2≤k≤11/2 \leq k \leq 1 Motivación Las caminatas …

12 quantum-computing  random-walks  quantum-walk 

A C0 0AC0AC^0 es la clase de circuitos de tamaño polinomial de profundidad constante con compuertas NO y compuertas AND y OR de ventilador sin límites, donde las entradas y las puertas también tienen un fanout sin límites. Ahora considere una nueva clase, que es como pero para la cual …

12 cc.complexity-theory  circuit-complexity 

Sea una fórmula 2CNF yk un número entero no negativo. En este documento se demuestra que el problema de decidir si uno puede eliminar a lo sumo k cláusulas para hacer φ satisfactorio, es manejable con parámetros fijos, donde k es el parámetro. Mi pregunta es si hay algún trabajo …

12 parameterized-complexity  csp  fixed-parameter-tractable 

Si es un gráfico con el máximo grado 3 y es un menor de H , entonces es un menor topológica de .solGGHHHHsolGGHHH Wikipedia cita este resultado de la "teoría de grafos" de Diestel. Está listado como la Proposición 1.7.4 en la última versión del libro. El libro carece de …

12 reference-request  graph-theory  co.combinatorics  graph-minor 

Dada una secuencia de números, ¿se puede ordenar con O ( n ln n ) comparaciones y O ( n ) intercambios / movimientos? Cualquier puntero a publicaciones sobre ese tema o contraargumentos que muestren un límite inferior Ω ( n ln n ) ayudaría.nnnO(nlnn)O(nln⁡n)O(n \ln n)O(n)O(n)O(n)Ω(nlnn)Ω(nln⁡n)\Omega(n \ln n)

12 cc.complexity-theory  ds.algorithms 

Podemos pensar en la complejidad de Kolmogorov de una cadena xxx como la longitud del programa más corto PPPy la entrada yyy tal que x=P(y)x=P(y)x = P(y) . Por lo general, estos programas se extraen de un conjunto completo de Turing (como PPP podría ser la descripción de una máquina …

12 reference-request  computability  kolmogorov-complexity 

Estoy buscando lógicas modales, que están axiomatizadas por un conjunto finito de axiomas de profundidad de anidamiento modal uno, y cuyo problema de satisfacción / derivabilidad es poco probable que esté en PSPACE. Sin la restricción en la profundidad de anidamiento modal, esto no es un problema, ver por ejemplo …

12 cc.complexity-theory  lo.logic  modal-logic 

En el algoritmo de cifrado minúsculo : Se usan diferentes múltiplos de una constante mágica para evitar ataques simples basados ​​en la simetría de las rondas. La constante mágica, 2654435769 o 9E3779B9 16 se elige para ser , donde ϕ es la proporción áurea.232/ϕ232/ϕ2^{32}/ \phi ¿Qué propiedades tiene 232/ϕ232/ϕ2^{32}/ \phi …

12 cr.crypto-security 

¿Hay una encuesta (de papel, capítulo de libro, tutorial, enlaces, ...) de la semántica de varias características del lenguaje de programación? Originalmente estaba abrumado por las características de D aquí http://www.digitalmars.com/d/2.0/comparison.html Me gustaría ver qué podría obtener de aquí, aunque he hecho una pregunta similar sobre stackoverflow y entiendo que …

12 reference-request  pl.programming-languages  survey 

Hay varias nociones en competencia de un "gráfico disperso". Por ejemplo, un gráfico empotrable en la superficie podría considerarse escaso. O un gráfico con densidad de borde acotada. O un gráfico con gran circunferencia. Un gráfico con gran expansión. Un gráfico con ancho de árbol acotado. (Incluso dentro del subcampo …

12 ds.algorithms  graph-theory  graph-algorithms  big-picture