Preguntas etiquetadas con cc.complexity-theory

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 interés general.

9 cc.complexity-theory  ds.algorithms 

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 …

9 cc.complexity-theory  graph-theory  co.combinatorics  optimization 

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, …

9 cc.complexity-theory  graph-algorithms 

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, …

9 cc.complexity-theory  universal-computation  kolmogorov-complexity  universal-turing-machines 

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 …

9 cc.complexity-theory  approximation-hardness  pcp  max-cut  unique-games-conjecture 

¿Cuál es el algoritmo de isomorfismo gráfico no dirigido más rápido conocido?

9 cc.complexity-theory  reference-request  graph-algorithms  graph-isomorphism 

¿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 complejidad de este …

9 cc.complexity-theory  linear-equations 

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 formalizar …

9 cc.complexity-theory  it.information-theory  polynomial-time 

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: { …

9 cc.complexity-theory  co.combinatorics  circuit-complexity  boolean-functions 

¿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ón⁡norteIniciar sesión⁡Iniciar sesión⁡norte)\theta(n\log n \log\log n)θ ( n logn …

9 cc.complexity-theory  circuit-complexity 

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 …

9 cc.complexity-theory  graph-algorithms  counting-complexity  graph-isomorphism  homomorphism 

¿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 computacional?

9 cc.complexity-theory  reference-request  communication-complexity  books 

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 sik>n−−√k>nortek > \sqrt{n} y conjeturado duro …

9 cc.complexity-theory  approximation-algorithms  approximation-hardness 

Todos sabemos que la complejidad mínima de un algoritmo de clasificación basado en la comparación es la comparación de . Estoy tratando de hacer una clasificación a ciegas , es decir, dado un número salida de un circuito (con puertas booleanas, aritméticas y de "comparación") que ordena una lista de …

9 cc.complexity-theory  terminology  sorting 

¿ Las pruebas naturales , la relativización y la algebrización también afectan la separación de otras clases de complejidad como etc.?L ≠ NL ≠ NPAGS≠ c o NPAGS≠ PH≠ PSPAGSA CmiL≠NL≠NP≠coNP≠PH≠PSPACEL\neq NL\neq NP\neq coNP \neq PH\neq PSPACE Por ejemplo, la barrera de pruebas naturales debería afectar cualquier prueba de ya …

9 cc.complexity-theory  barriers