Preguntas etiquetadas con cc.complexity-theory

Considere la siguiente tarea computacional: Queremos muestrear una fórmula 3-SAT de variables (una variante: n variables m cláusulas) con respecto a la distribución de probabilidad uniforme, condicionada a que la fórmula sea satisfactoria:nortennnortennmetromm P1: ¿Se puede lograr esto de manera eficiente con una computadora clásica (con bits aleatorios)? P2: ¿Se …

23 cc.complexity-theory  quantum-computing  sample-complexity 

Actualmente estoy tratando de encontrar problemas completos de EXPSPACE (principalmente para encontrar inspiración para una reducción), y estoy sorprendido por la pequeña cantidad de resultados que se presentan. Hasta ahora, encontré estos, y tengo problemas para expandir la lista: universalidad (u otras propiedades) de expresiones regulares con exponenciación. problemas relacionados …

23 cc.complexity-theory  reference-request  big-list 

Considere los problemas de optimización de la siguiente forma. Sea f(x)f(x)f(x) una función computable en tiempo polinómico que mapea una cadena xxx en un número racional. El problema de optimización es este: ¿cuál es el valor máximo de f(x)f(x)f(x) sobre cadenas de nnn bits xxx ? Digamos que tal problema …

23 cc.complexity-theory  graph-algorithms  complexity-classes  optimization  linear-programming 

Es posible que algunos de ustedes hayan estado siguiendo esta pregunta , que se cerró debido a que no tenía nivel de investigación. Entonces, estoy extrayendo la parte de la pregunta que está a nivel de investigación. Más allá de las técnicas "más simples", como reducir a la clasificación o …

23 cc.complexity-theory  reference-request  fl.formal-languages  time-complexity  reductions 

Recientemente he visto varios artículos sobre arxiv que se refieren a un sistema de prueba llamado suma de cuadrados. ¿Alguien puede explicar qué es una prueba de suma de cuadrados y por qué esas pruebas son importantes / interesantes? ¿Cómo se relacionan con otros sistemas de prueba algebraica? ¿Son algún …

23 cc.complexity-theory  lo.logic  algebraic-complexity  proof-complexity  sum-of-squares 

Claramente, hay una reducción de CLIQUE a k-Color porque ambos son NP-Complete. De hecho, puedo construir uno componiendo una reducción de CLIQUE a 3-SAT con una reducción de 3-SAT a k-Color. Lo que me pregunto es si existe una reducción directa razonable entre estos problemas. Digamos, una reducción que podría …

23 cc.complexity-theory  graph-theory  np-hardness  reductions 

Se sabe que el ciclo hamiltoniano (jamón para abreviar) tiene NP completo y que el ciclo de jamón planar tiene NP completo. La prueba para Planar Ham Cycle no es de Ham Cycle. ¿Hay un buen dispositivo que, dado un gráfico G, reemplazará todos los cruces con algún dispositivo plano …

23 cc.complexity-theory  np-hardness  planar-graphs  hamiltonian-paths 

¿Alguien puede sugerir una encuesta buena y reciente sobre problemas de conteo y / o problemas que son #P.

23 cc.complexity-theory  reference-request  counting-complexity 

En la encuesta "Circuitos cuánticos de pequeña profundidad" de D. Bera, F. Green y S. Homer (p. 36 de ACM SIGACT News, junio de 2007 vol. 38, no. 2) , leí la siguiente oración: La versión clásica de (en la que las compuertas A N D y O R tienen …

23 cc.complexity-theory  circuit-complexity 

¿Qué se sabe sobre la complejidad de encontrar circuitos mínimos que computan SAT hasta una longitud nnn ? Más formalmente: ¿cuál es la complejidad de una función que, dado como entrada, genera un circuito mínimo tal que para cualquier fórmula φ con , ?1n1n1^{n}CCCφφ\varphi|φ|≤n|φ|≤n|\varphi| \leq nC(φ)=SAT(φ)C(φ)=SAT(φ)C(\varphi) = SAT(\varphi) (Estoy específicamente …

23 cc.complexity-theory  sat 

El ancho del árbol mide qué tan cerca está un gráfico de un árbol. Es NP-difícil calcular el ancho del árbol. El algoritmo de aproximación más conocido logra factor.O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) El teorema de Courcelle establece que cualquier propiedad de gráficos definibles en lógica monádica de segundo orden (MSO2) se puede decidir …

23 cc.complexity-theory  ds.algorithms  graph-theory  space-bounded  treewidth 

Esta pregunta está relacionada con una respuesta que publiqué en respuesta a otra pregunta. El problema de 3 particiones es el siguiente: Instancia : enteros positivos a 1 , ..., a n , donde n = 3m y la suma de los n enteros es igual a mB, de modo …

23 cc.complexity-theory  np-hardness 

Estoy tratando de entender la relación entre el isomorfismo gráfico y el problema oculto de subgrupos. ¿Hay una buena referencia para esto?

23 cc.complexity-theory  reference-request  quantum-computing  graph-isomorphism 

Ha pasado más de un año desde su retracción y corrección de enero de 2017. ¿Hay novedades? Si no, ¿es normal que la validación demore tanto? Esperaría que recibiera mucha atención. ¿Alguien notable ha hablado para apoyar / dudar del resultado cuasi polinomial?

23 cc.complexity-theory  graph-isomorphism  proofs 

Motivado por el comentario de Fortnow en mi publicación, Evidencia de que el problema del isomorfismo gráfico no es NPNPNP -completo , y por el hecho de que GIGIGI es un candidato principal para NPNPNP -problema intermedio (no NPNPNP -completo ni en PPP ), estoy interesado en evidencias conocidos que …

23 cc.complexity-theory  graph-isomorphism