Preguntas etiquetadas con cc.complexity-theory

¿Cómo se puede demostrar que relación existe entre "Conjetura de juegos únicos" y "Teorema de PCP"? ¿Cómo se explica "La conjetura de juegos únicos" es una forma más fuerte de "teorema de PCP"?

17 cc.complexity-theory  pcp  unique-games-conjecture 

Rompecabezas Dado que el problema es largo aquí hay un caso especial que captura su sentido. Problema: Sea A un algoritmo detrminístico para 3-SAT. Es el problema de simular completamente el algoritmo A (en cada instancia del problema). P-Space duro? (Más precisamente, ¿hay razones para creer que esta tarea es …

17 cc.complexity-theory  big-picture  structural-complexity 

Como es bien sabido, PARITY no se puede hacer en circuitos de profundidad constante de tamaño polivinílico, y de hecho, los circuitos const-dept requieren un número EXP de compuertas. ¿Qué pasa con los circuitos QUANTUM? a) ¿Se puede hacer PARITY con un circuito cuántico que tiene una profundidad constante y …

17 cc.complexity-theory  quantum-computing  circuit-complexity 

He estado tratando de leer " Diseño de Algoritmo Funcional de Perlas " y, posteriormente, " El Álgebra de la Programación ", y existe una correspondencia obvia entre los tipos de datos definidos recursivamente (y polinomialmente) y los objetos combinatorios, que tienen la misma definición recursiva y posteriormente conducen a …

17 cc.complexity-theory  co.combinatorics  functional-programming  ct.category-theory 

Es fácil ver que cualquier problema que sea decidible en el espacio de registro determinista ( ) se ejecuta en la mayoría de los casos de polinomios ( P ). Muchos algoritmos de espacio de registro conocidos (por ejemplo: conectividad st no dirigida, isomorfismo de gráfico plano) se ejecutan en …

17 cc.complexity-theory  space-bounded  space-time-tradeoff 

Estoy tratando de averiguar si hay resultados generales o ejemplos sobre la completitud NP del problema de encontrar una segunda solución a un problema NP-completo. Más precisamente, estoy interesado en cualquier problema de la siguiente forma: Dada una solución a una instancia I de un problema NP-completo, ¿hay una solución …

17 cc.complexity-theory  reference-request  np-hardness  unique-solution 

Según tengo entendido, todos saben que las reglas de pivote deterministas para algoritmos simplex tienen entradas específicas en las que el algoritmo requiere tiempo exponencial (o al menos no polinomial) para encontrar el óptimo. Llamemos a estas instancias 'patológicas' ya que generalmente (es decir, en la mayoría de las entradas) …

17 cc.complexity-theory  reference-request  linear-programming  simplex 

Se dice que una distribución ϵ -engaña una función f si | E x ∈ U ( f ( x ) ) - E x ∈ D ( f ( x ) ) | ≤ ϵ . Y se dice que engaña a una clase de funciones si engaña a …

17 cc.complexity-theory  derandomization  space-bounded  pseudorandomness 

Encontré el libro Pairwise Independence and Derandomization sobre el tema, pero está más orientado a la investigación que al tutorial. Soy nuevo en el tema de "Desrandomización" y, como tal, quería saber de qué referencia comenzar. Prefiero uno que discuta literatura e historia, así como los detalles técnicos.

17 cc.complexity-theory  derandomization  randomized-algorithms 

Deje 0≤p≤10≤p≤10\le p\le 1 y considere el problema de decisión CLIQUE p de entrada: número entero s , gráfico G con t vértices y bordes Pregunta: no contiene un clique sobre al menos vértices?pp_p sssGGGttt⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil GGGsss Una instancia de CLIQUE contiene una proporción de todos los bordes posibles. …

17 cc.complexity-theory  np  parameterized-complexity  clique 

Es bien sabido que el conjunto de lenguajes que tienen sistemas de prueba interactivos de dos probadores, en los que el verificador se ejecuta en tiempo polinómico (MIP), es NEXP. ¿Pero hay límites conocidos en el poder de tales pruebas interactivas cuando los probadores tienen un poder restringido? Por ejemplo, …

17 cc.complexity-theory  interactive-proofs 

Por lo general, los algoritmos eficientes tienen un tiempo de ejecución polinómico y un espacio de solución exponencialmente grande. Esto significa que el problema debe ser fácil en dos sentidos: primero, el problema puede resolverse en un número polinómico de pasos y, en segundo lugar, el espacio de la solución …

17 cc.complexity-theory 

Suponga que se le da un gráfico H, simple, conectado y no dirigido. El problema del corte sin H se define de la siguiente manera: Dado un gráfico simple, no dirigido G, ¿hay un corte (partición de vértices en dos conjuntos no vacíos, L, R) de tal manera que los …

17 cc.complexity-theory  reference-request  graph-theory  np-hardness 

En el "último párrafo" de la "primera página" del siguiente documento: Vikraman Arvind , Johannes Köbler , Uwe Schöning , Rainer Schuler , "Si NP tiene circuitos de tamaño polinómico, entonces MA = AM", Ciencias de la computación teóricas, 1995. Encontré una afirmación algo contraintuitiva: (ΣP2∩ΠP2)NP=ΣP3∩ΠP3(Σ2P∩Π2P)NP=Σ3P∩Π3P(\Sigma^P_2 \cap \Pi^P_2)^{NP} = \Sigma^P_3 …

17 cc.complexity-theory  complexity-classes 

Nosotros sabemos (por ahora unos 40 años, gracias a Adleman, Bennet y Gill) que la inclusión BPP ⊆⊆\subseteq P / poli, y un aún más fuerte BPP / poli ⊆⊆\subseteq P / retención poli. El "/ poly" significa que trabajamos de manera no uniforme (un circuito separado para cada longitud …

16 cc.complexity-theory  circuit-complexity  machine-learning  derandomization