EDITAR (v2): se agregó una sección al final sobre lo que sé sobre el problema. EDITAR (v3): discusión agregada sobre el grado de umbral al final. Pregunta Esta pregunta es principalmente una solicitud de referencia. No sé mucho sobre el problema. Quiero saber si ha habido trabajo previo sobre...
Está claro que cualquier problema que sea decidible en el espacio de registro determinista ( ) se ejecuta en la mayoría de los casos de polinomios ( ). Hay una gran cantidad de clases de complejidad entre y . Los ejemplos incluyen , , , , , . Se cree ampliamente que .P L P N L L o g C F L N C i S A...
Existe una rica literatura y al menos un libro muy bueno que establece la dureza conocida de los resultados de aproximación para problemas NP-duros en el contexto de error multiplicativo (por ejemplo, la aproximación 2 para la cobertura de vértices es óptima suponiendo UGC). Esto también incluye...
Editar: Primero formulé mal mi restricción (2), ahora está corregida. También agregué más información y ejemplos. Con algunos colegas, estudiando alguna otra pregunta algorítmica, pudimos reducir nuestro problema al siguiente problema interesante, pero no pudimos resolver la cuestión de su...
Esto está relacionado con la pregunta ¿Ya se conoce el tamaño de membresía de los testigos para cada idioma de NP? Algunos problemas naturales (-completos) tienen testigos de longitud lineal: una asignación satisfactoria para , una secuencia de vértices para , etc. S A T H A M P A T...
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...
Subhash Khot 's juegos únicos conjetura es una de las áreas de investigación activos en teoría de la complejidad. ¿Qué evidencia tenemos de ello? ¿Qué evidencia tenemos en
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?...
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 para que tenga...
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 que cada a i satisface B / 4 <a i <B / 2....
¿Cuáles son las razones de peso para creer ? L es la clase de algoritmos de espacio logarítmico con punteros a la entrada.L≠PL≠PL\neq P Supongamos que L = P por el momento. ¿Cómo sería un algoritmo de espacio logarítmico para un problema P-completo en sus esquemas
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...
Actualmente, bitcoin tiene un sistema de prueba de trabajo (PoW) que usa SHA256. Otras funciones hash utilizan una prueba de gráficos de uso del sistema de trabajo, inversión parcial de la función hash. ¿Es posible usar un problema de Decisión en la teoría de nudos como el reconocimiento de nudos...
¿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|...
El problema No todos iguales -SAT (NAE k -SAT), dado un conjunto C de cláusulas sobre un conjunto X de variables booleanas de modo que cada cláusula contenga como máximo k literales, pregunta si existe una asignación de verdad de las variables de manera que cada cláusula contiene al menos un...
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...
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 como máximo un despliegue constante) es...
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...
Sé que trivialmente la función OR en nortenn variables X1, ... , xnortex1,…,xnx_1,\ldots, x_n puede representarse exactamente por el polinomio p ( x1, ... , xnorte)p(x1,…,xn)p(x_1,\ldots,x_n) como tal: p ( x1, ... , xnorte) = 1 - ∏nortei = 1( 1 - xyo)p(x1,…,xn)=1−∏i=1n(1−xi)p(x_1,\ldots,x_n) =...
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 un...