Preguntas etiquetadas con cc.complexity-theory

¿Existe un problema gráfico de -completo natural , que sigue siendo N P -completo incluso cuando está restringido a cualquier clase de gráfico reconocible en tiempo polinómico? Para evitar casos degenerados, consideremos solo clases de gráficos densos , en los que el número de gráficos no isomórficos ≤ n- vértice …

8 cc.complexity-theory  graph-theory  graph-algorithms  np-complete  graph-classes 

Una forma de probar NP coNP es mostrar que para cada sistema de prueba proposicional f computable en tiempo polinómico, existe una familia de tautologías para las cuales f requiere longitudes de prueba súper polinomiales (wrt la longitud de la tautología que se está probando). Resultados como el de Haken …

8 cc.complexity-theory  proof-complexity 

Considere el siguiente problema: Entrada: (G1, G2) donde G1 y G2 son gráficos no dirigidos Pregunta: ¿El tamaño del conjunto independiente máximo de G1 es al menos tan grande como el tamaño del conjunto independiente máximo de G2? Parece una pregunta bastante natural, y, sin embargo, no he podido encontrar …

8 cc.complexity-theory 

¿Cuál es el algoritmo más rápido conocido para factorizar polinomios con nnn variables y grado total ≤d≤d\leq d ? Aquí, nnn está creciendo ddd está arreglado. La mayoría del trabajo parece considerar el caso cuando ddd está creciendo nnn es fijo. Me interesan los resultados tanto en campos finitos como …

8 cc.complexity-theory  algebra  factoring 

Estoy buscando una referencia sobre 'reducir' las reducciones de Turing a muchas reducciones. Tengo en mente una declaración de la siguiente forma (declaraciones suficientemente similares también me satisfarían): Teorema. Si , entonces .A ≤ 2 f m B t tA ≤FTsiA≤TfB\mathsf{A}\leq_T^f \mathsf{B}A ≤2Fmetrosit tA≤m2fBtt\mathsf A\leq_m^{2^f}\mathsf B^{tt} donde " " y …

8 cc.complexity-theory  reference-request  complexity-classes 

(Publiqué esta pregunta en CS hace diez días, sin respuesta desde entonces, así que la publico aquí). Cualquier fórmula CNF se puede transformar en tiempo polinómico en una fórmula 3-CNF mediante el uso de nuevas variables. No siempre es posible si no se permiten nuevas variables (tome por ejemplo la …

8 cc.complexity-theory  complexity-classes  sat 

Dado un gráfico , ¿cuál es el número mínimo de bordes de que necesitamos eliminar para liberar el triángulo del gráfico? Para mi ojo inexperto, esto parece ser un problema difícil.solsolGsolsolG ¿Se sabe que este problema es NP completo? ¿Qué pasa con el análogo para gráficos orientados (es decir, dígrafos …

8 cc.complexity-theory  graph-algorithms  np-hardness 

Mientras hojeaba publicaciones antiguas de CStheory.se , me encontré con una fascinante publicación de blog sobre el problema de la mortalidad matricial . A menos que haya malinterpretado el problema, establece que dada una colección finita de 3 x 3 matrices con entradas enteras para cada valor de matriz, uno …

8 cc.complexity-theory  matrix-product 

Estoy interesado en cómo se prueba que una oración se relativiza. Por supuesto, probar que una oración no se relativiza es simple, como se ve en el resultado de Baker-Gill-Solovay; pero ¿cómo se prueba que una oración se relativiza, es decir, que es verdadera en relación con cualquier oráculo? ¿Existen …

8 cc.complexity-theory  reference-request  relativization 

Definamos el problema SAT de : dado F 3 , una fórmula satisfactoria de 3-CNF, y F 2 , una fórmula de 2-CNF ( F 3 y F 2 se definen en las mismas variables). ¿Es F 3 ∧ F 2 satisfactoria?( 3 , 2 )s(3,2)s(3,2)_sF3F3F_3F2F2F_2F3F3F_3F2F2F_2F3∧F2F3∧F2F_3 \wedge F_2 ¿Cuál es …

8 cc.complexity-theory  reference-request  np-hardness  sat 

Sé que, en general, la satisfacción polinómica multivariada es equivalente a 3-SAT; Sin embargo, me pregunto si hay buenas técnicas en el caso cuadrático, específicamente si hay una solución de tiempo polinomial. Supongo que la pregunta más general sería: ¿hay alguna clase de polinomios multivariados para los que el problema …

8 cc.complexity-theory  polynomials  polynomial-time  quadratic 

Mientras discutíamos la pregunta que había hecho aquí , @NealYoung y yo encontramos otro problema, que es juzgar la complejidad del problema a continuación: Dado un gráfico conectado no dirigido, encontrar un subconjunto de tamaño máximo de los bordes de modo que cada vértice tenga grado como máximo dos. He …

8 graph-theory  np-hardness  cc.complexity-theory 

La teoría de la complejidad parece estar construida alrededor de problemas de decisión más que de funciones. ¿Quién introdujo esto primero y cuál es la razón de esta elección? Por ejemplo, el papel de "Caminos, árboles y flores" de Edmonds se acredita generalmente como la fuente de la noción de …

8 cc.complexity-theory  reference-request 

Respuesta aceptada La respuesta de Scott Aaronson ha sido "aceptada" (¡principalmente porque es la única respuesta!) Resumen de respuesta de una oración Las generalizaciones plausiblemente naturales de la pregunta P versus NP no son obviamente más fáciles de resolver que P versus NP en sí. Una obstrucción a una respuesta …

8 cc.complexity-theory  decidability 

En el documento "Codificación eficiente de CNF para seleccionar 1 de N objetos", los autores presentan su técnica de "variable comandante" para codificar la restricción, y luego hablan sobre el problema del casillero. Dado que mi error puede existir en la comprensión de nivel inferior, permítame declarar lo que creo …

8 cc.complexity-theory  sat  proof-complexity