Preguntas etiquetadas con cc.complexity-theory

Mientras buscaba en el Sistema de información sobre clases de gráficos y sus inclusiones , encontré varias clases de gráficos para las cuales el problema del Ciclo Hamiltoniano es NP completo, mientras que la complejidad de los problemas del Camino Hamiltoniano NO se conoce. Algunas de esas clases son gráficos …

17 cc.complexity-theory  graph-theory 

Siguiendo la sugerencia de Josh Grochow, estoy convirtiendo mi comentario de una pregunta anterior en una nueva pregunta. ¿Qué evidencia tenemos para ?U P ≠ N PUP≠NP\mathsf{UP} \neq \mathsf{NP} Aquí, U PUPAG\mathsf{UP} es la clase de lenguajes reconocibles por las máquinas de Turing no deterministas de tiempo polinómico que tienen …

17 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

Supongamos que considero la siguiente variante de BPP, que nos permite llamar E (xact) BPP: un lenguaje está en EBPP si hay un TG polinomial aleatorio que acepta cada palabra del idioma con exactamente 3/4 de probabilidad y cada palabra no en el lenguaje con exactamente 1/4 de probabilidad. Obviamente, …

17 cc.complexity-theory  complexity-classes  randomized-algorithms 

Estoy haciendo una revisión de la literatura sobre el problema del isomorfismo gráfico. La mayoría de los trabajos que estoy leyendo están escritos por EM Luks y Laszlo Babai. Estos documentos utilizan el conocimiento de alto nivel de la teoría de grupos y la teoría de la complejidad. Como soy …

17 cc.complexity-theory  graph-isomorphism 

Considere el siguiente problema QQQ : Se nos da un número entero , y k intervalos [ l i , r i ] con 1 ≤ l i ≤ r i ≤ 2 n . También se nos dan 2 n enteros d 1 , ... , d 2 n …

17 cc.complexity-theory  np-hardness 

Al tratar de convencer a los economistas de la relevancia de la teoría de la complejidad en forma impresa, ¿hay alguna referencia estándar para citar? Estoy familiarizado con la publicación del blog de Noam Nisan , la encuesta de Tim Roughgarden y el capítulo 11 del ensayo de Scott Aaronson …

17 cc.complexity-theory  reference-request  application-of-theory  ho.history-overview  ce.computational-finance 

Recientemente, me he encontrado con la siguiente variante de coloración de bordes. Dado un gráfico conectado no dirigido, encuentre una coloración de los bordes que use la cantidad máxima de colores al tiempo que satisface la restricción de que, para cada vértice , los bordes incidentes a usan como máximo …

17 cc.complexity-theory  np-hardness  complexity-classes  graph-colouring 

Una cosa que las computadoras cuánticas pueden hacer (posiblemente incluso con solo circuitos cuánticos de profundidad logarítmica BPP +) es aproximar-muestrear la transformada de Fourier de una función de valor booleano en P.± 1±1\pm 1 Aquí y más abajo, cuando hablo de probar la transformada de Fourier, me refiero a …

17 cc.complexity-theory  quantum-computing  pr.probability  randomized-algorithms  sample-complexity 

Estoy buscando ejemplos naturales de algoritmos eficientes (es decir, en tiempo polinómico) st su corrección y eficiencia pueden demostrarse de manera constructiva (p. ej., en o ), peroPAGR APAGRUNPRAHUNHUNHA no se conoce ninguna prueba que utilice solo conceptos eficientes (es decir, no sabemos cómo demostrar su corrección y eficiencia en …

17 cc.complexity-theory  reference-request  lo.logic  proof-complexity  constructive-mathematics 

La complejidad del circuito de profundidad limitada es una de las principales áreas de investigación dentro de la teoría de la complejidad del circuito. Este tema tiene su origen en resultados como "la función de paridad no está en AC0AC0AC^{0} " y "la función mod no es calculada por ", …

17 cc.complexity-theory  circuit-complexity  lower-bounds  dc.parallel-comp  gct 

Hoy enseñé los límites inferiores de , y uno de los estudiantes preguntó por la razón del nombre . La explicación oficial es que la "A" significa "Alternancia".A C0 0AC0AC^0A CACAC Recuerdo vagamente que me dijeron hace muchos años que Nick Pippenger Steve Cook nombró a después de Nick Pippenger …

17 cc.complexity-theory  reference-request  ho.history-overview 

Version corta. La prueba original de que # 2-SAT es # P- completo muestra, de hecho, que esas instancias de # 2-SAT son monótonas (no implican negaciones de ninguna variable) y bipartitas (el gráfico formado por las cláusulas sobre el variables es un gráfico bipartito) son #P -duro. Por lo …

17 cc.complexity-theory  sat  counting-complexity 

Las gráficas planas tienen género cero. Los gráficos que se pueden insertar en un toro tienen un género como máximo 1. Mi pregunta es simple: ¿Hay algún problema que sea polinomialmente solucionable en gráficos planos pero NP-duro en gráficos del género uno? En términos más generales, ¿hay algún problema que …

17 cc.complexity-theory  ds.algorithms  graph-theory  planar-graphs 

Recientemente leí una prueba que tenía la intención de mostrar que un problema era fuertemente NP-duro, simplemente reduciéndolo (en tiempo polinómico) a partir de un problema fuertemente NP-duro. Esto no tenía ningún sentido para mí. Pensé que tendrías que demostrar que cualquier número utilizado en la reducción y las instancias …

17 cc.complexity-theory  np-hardness  reductions 

El método negativo del adversario ( ) es un SDP que caracteriza la complejidad de la consulta cuántica. Es una generalización del método adversario ampliamente utilizado ( A D V ) y supera las dos barreras que obstaculizaron el método adversario:ADV±ADV±ADV^\pmADVADVADV La barrera de la prueba de propiedad: si todas …

17 cc.complexity-theory  reference-request  quantum-computing  query-complexity  property-testing