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 de Turing, o...
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(nlnn)O(n \ln
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 prueba o cita. ¿Se conoce...
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 que generalice este...
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 las entradas...
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 aleatorias clásicas...
Sabemos que si entonces todo el PH colapsa. ¿Qué pasa si la jerarquía polinómica se colapsa parcialmente? (¿O cómo entender que el PH podría colapsar por encima de cierto punto y no por debajo?)PAG= NPAGP=NPP=NP En palabras más cortas, ¿cuáles serían las consecuencias de y P ≠ N P ?nortePAG= c o...
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...
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...
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...
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...
¿Cuáles son los problemas estándar que podemos reducir para probar los límites inferiores de ?Ω(nlogn)Ω(nlogn)\Omega(n\log n) Por supuesto, otros problemas de estado además de la clasificación y la distinción de elementos.
En mi trabajo surge el siguiente problema: ¿Existe un algoritmo conocido que se aproxime al número cromático de un gráfico sin un conjunto independiente de orden 65? (Por lo tanto, se conoce alfa (G) <= 64 y | V | / 64 es un límite inferior trivial, | V | un límite superior trivial. ¿Pero...
Encontré un problema en la prueba de reducción de sujetos de Barendregt (Thm 4.2.5 de cálculos Lambda con tipos ). El último paso de la prueba (página 60) dice: "y, por lo tanto, según el Lema 4.1.19 (1), Γ , x : ρ ⊢ P: σ′Γ,x:ρ⊢P:σ′\quad\Gamma,x:\rho\vdash P:\sigma' ". Sin embargo, de acuerdo...
Considere el siguiente problema de prueba de membresía de subgrupo abelian . Entradas: Un grupo abeliano finito G=Zd1×Zd1…×ZdmG=Zd1×Zd1…×ZdmG=\mathbb{Z}_{d_1}\times\mathbb{Z}_{d_1}\ldots\times\mathbb{Z}_{d_m} con arbitrariamente grande didid_i . Un generador de conjunto...
Como es bien sabido, los problemas de optimización de NP-hard pueden tener muchas relaciones de aproximación diferentes, que van desde tener un PTAS hasta no ser aproximable dentro de ningún factor. En el medio, tenemos varias constantes, , p o l y ( n ) , etc.O ( logn )O(logn)O(\log n)p o l y( n...
Estoy buscando un lenguaje L con las siguientes propiedades: L no debe estar libre de contexto. El complemento de L no debe estar libre de contexto. (Todo lo que ves en los libros de texto como ejemplos principales de lenguajes sin contexto parece fallar en este segundo requisito). No debería ser...
El peso El | x ||x||x|de una cadena binaria x ∈ { 0 , 1 }nortex∈{0,1}nx\in\{0,1\}^n es el número de unos en la cadena. ¿Qué sucede si estamos interesados en calcular una función monótona en entradas con pocas? Sabemos que decidir si un gráfico tiene una kkk -clique es difícil para los circuitos...
Dado un endofunctor , podemos definir funciones de observación como funciones que son polimórficos para cualquier F -coalgebra, es decir o b s se define para cualquier F -coalgebra ⟨ A , C : A → F A ⟩ . o b s : ∀ ⟨ A , c ⟩ . A → B Otra forma de ver las funciones de observación es como funciones de...
Por lo general, es más simple razonar sobre el cálculo donde la limitación es la finitud de la computación en lugar de un umbral como "computable en una cantidad de tiempo polinómica". En la teoría de los lenguajes formales, por ejemplo, en lugar de usar para caracterizar un monoïd aperiódico, es...