¿Cuáles son algunas de las mejores fuentes (libros y documentos) para motivar y aprender la complejidad de la comunicación por sí misma y en relación con su relación con la teoría de la complejidad
¿Cuáles son algunas de las mejores fuentes (libros y documentos) para motivar y aprender la complejidad de la comunicación por sí misma y en relación con su relación con la teoría de la complejidad
En el problema de la camarilla plantada, uno debe recuperar una kkk camarilla plantada en un gráfico aleatorio Erdos-Renyi ( n , p )G(n,p)sol(norte,pags)G(n,p) . Esto se ha visto principalmente para p=12pags=12p=\frac{1}{2} , en cuyo caso se sabe que puede resolverse en tiempo polinómico...
Un homomorfismo de un gráfico a un gráfico G ′ = ( V ′ , E ′ ) es un mapeo f de V a V ′ tal que si x e y son adyacentes en E entonces f ( x ) y f ( y ) son adyacentes en E ' . Un endomorfismo de un gráfico GG=(V,E)G=(V,E)G = (V, E)G′=(V′,E′)G′=(V′,E′)G' = (V',...
¿Cuál es el mejor resultado para el número de puertas en un circuito que multiplica dos enteros de n bits? El método obvio genera puertas . Hay mejores enfoques con puertas y .θ ( n2)θ(norte2)\theta(n^2)θ ( n logn logIniciar sesiónn )θ(norteIniciar sesiónnorteIniciar sesiónIniciar...
Digamos que tenemos una función booleana y aplicamos restricción aleatoria δ en f . Además, supongamos que el árbol de decisión T que calcula f se reduce al tamaño O ( 1 ) como resultado de la restricción aleatoria. ¿Esto implica que f tiene una influencia total muy baja?F: { - 1 , 1 }norte→ { - 1...
Pido disculpas, esta es una pregunta un poco "blanda". La teoría de la información no tiene un concepto de complejidad computacional. Por ejemplo, una instancia de SAT, o una instancia de SAT más un bit que indica la satisfacción lleva la misma cantidad de información. ¿Hay alguna forma de...
¿Qué se sabe sobre la complejidad de resolver un sistema de ecuaciones lineales sobre un campo finito? Sé que existe un algoritmo (Gauss) que calcula una solución y que para sistemas dispersos hay algoritmos aún mejores. Sin embargo, me preguntaba si había alguna caracterización teórica de la...
¿Cuál es el algoritmo de isomorfismo gráfico no dirigido más rápido
Estoy estudiando la Conjetura de juegos únicos y la famosa reducción a Max-Cut de Khot et al. Desde su artículo y en otras partes de Internet, la mayoría de los autores usan (lo que para mí es) una equivalencia implícita entre la reducción MAX-CUT y la construcción de pruebas particulares para...
Arreglemos una codificación de máquinas de Turing y una máquina universal de Turing, U, que en la entrada (T, x) emite cualquier salida de T en la entrada x (posiblemente ambas funcionando para siempre). Defina la complejidad de Kolmogorov de x, K (x), como la longitud del programa más corto, p, de...
Instancia: un gráfico no dirigido solGGcon dos vértices distinguidos s ≠ ts≠ts\neq t , y un entero k ≥ 0k≥0k\geq 0 . Pregunta: ¿Existe una ruta s - ts−ts-t en solGG , de modo que la ruta se cruce en la mayoría de los triángulos kkk ? (Para este problema, se dice que una ruta se cruza con un...
Dado un gráfico y un δ > 0, uno quiere calcular h ( G , δ ) = m i n | S | ≤ δ | V | ϕ ( S ) . ( ϕ ( S ) = E ( S , ˉ S )G = ( V, E)G=(V,E)G=(V,E)δ> 0δ>0\delta > 0h ( G , δ) = m i nEl | SEl | ≤ δEl | VEl |ϕ ( S)h(G,δ)=min|S|≤δ|V|ϕ(S)h(G,\delta)=min_{\vert S\vert \leq \delta \vert V \vert }...
Deje ser un gráfico. Un conjunto de vértices se llama crítico si y no vértice en es adyacente a exactamente un vértice en . El problema es encontrar un conjunto de vértices de tamaño mínimo tal que para cada conjunto crítico .X ⊆ V X ≠ ∅ V ∖ X X S ⊆ V S ∩ X ≠ ∅ XG = ( V, E)G=(V,E)G=(V,E)X⊆...
Si solo consideramos los problemas en P, ¿hay grandes diferencias entre el algoritmo de palabra-RAM más rápido conocido y el algoritmo de máquina de Turing más rápido conocido para problemas particulares? Estoy particularmente interesado si existen grandes lagunas para los problemas naturales de...
¿Alguien ha explorado cuál es la complejidad del circuito de los problemas de decisión clásicos como Primes o Graph-Isomorphism para un tamaño de entrada pequeño ?NNN Si bien la mayoría de la gente está interesada en cómo va la escala según , creo que también sería interesante ver cómo crece esto...
El problema estándar 1-en-3 SAT (o XSAT o X3SAT) es: Instancia : una fórmula CNF con cada cláusula que contiene exactamente 3 literales Pregunta : ¿existe una asignación satisfactoria que establezca exactamente 1 literal por cláusula verdadera? El problema es NP-completo y sigue siendo difícil...
Problema clásico: Deje que se dé un número . El problema -clique es el siguiente.kkkkkkk Dado un gráfico , ¿existe un subconjunto de vértices para que dos vértices de sean adyacentes?S k SGGGSSSkkkSSS Problema de hipergrafía: Deje que se den los números y . El problema -hiperclique es el...
Este es un seguimiento de la aceleración no determinista del cálculo determinista . ¿Es plausible que el no determinismo (o una alternancia más general) permitiría una aceleración cuadrática general de la computación determinista? ¿O hay consecuencias inverosímiles conocidas para algo como...
La siguiente noción de un algoritmo de destilación proviene de "En problemas sin núcleos polinomiales". Deje que se le dé una lenguaUn algoritmo de destilación para toma una lista dada de cadenas de entrada y calcula una cadena de salida tal que:L { x i } i ∈ [ t ] yLLLLLL{ xyo}i ∈ [ t...
Deje que sea un alfabeto de tamaño , y considere los DFA mínimos cuyo tamaño está limitado como máximo por . Supongamos que denota el número de diferentes DFA mínimos de este tipo.2 m f ( m )ΣΣ\Sigma222metrommF( m )f(m)f(m) ¿Podemos encontrar una fórmula de forma cerrada para ?F( m...