Preguntas etiquetadas con cc.complexity-theory

Hace poco me recordaron el problema vs. como lo explicó Stephen A. Cook en el Clay Mathematics Institute.N PPAGP\mathsf{P}N PNP\mathsf{NP} Ha despertado mi interés y me gustaría aprender más al respecto. El primer paso sería obtener una comprensión más profunda del problema y una comprensión del área en general. ¿Me …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

Deje que G sea un gráfico conectado. ¿Cuál es la complejidad de contar todos los subgrafos conectados si G es de los siguientes tipos? G es general. G es plano. G es bipartito. No me importan las estructuras o ... ¡solo necesito contar todas las subgrafías conectadas! También estoy interesado …

12 cc.complexity-theory  graph-theory  counting-complexity 

Al contar los argumentos, se puede mostrar que existen polinomios de grado n en 1 variable (es decir, algo de la forma que tienen complejidad de circuito n. Además, uno puede mostrar que un polinomio como x n requiere al menos log 2 n multiplicaciones (lo necesita solo para obtener …

12 cc.complexity-theory  circuit-complexity  polynomials  algebraic-complexity 

Mientras trabajaba en un proyecto algo no relacionado para Suresh, recientemente me encontré con un trabajo realizado por Page y Opper sobre sistemas componibles por el usuario y una parte de su trabajo discutió brevemente problemas que no pueden verificarse en el tiempo polinómico. No he podido encontrar mucha información …

12 cc.complexity-theory  complexity-classes 

Lo que me pregunto específicamente es si existe una condición interesante en el porcentaje de asignaciones que satisfacen una fórmula 3SAT para garantizar que tales problemas sean manejables. Supongamos, por ejemplo, la clase de problemas 3SAT que de las 2 n asignaciones posibles satisfacen la fórmula booleana; ¿podemos encontrar eficientemente …

12 cc.complexity-theory  ds.algorithms  sat  np 

El resultado de Baker-Gill-Solovay mostró que la pregunta P = NP no se relativiza, en el sentido de que ninguna prueba relativizante (insensible a la presencia de un oráculo) puede resolver la pregunta P = NP. Mi pregunta es: ¿Hay un resultado similar para la pregunta "¿Existe un problema de …

12 cc.complexity-theory  complexity-classes 

Por http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Si es un lenguaje de PSPACE completa, P A = N P A .UNAAPAGUN= NPAGUNPA=NPAP^{A}=NP^{A} Si es un oráculo de tiempo polinómico determinista, P B ≠ N P B (suponiendo P ≠ N P ).siBBPAGsi≠ NPAGsiPB≠NPBP^{B}\ne NP^{B}PAG≠ NPAGP≠NPP\ne NP es la clase de problemas de decisión análogos para …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

De nuevo, un problema de partición de bordes cuya complejidad me causa curiosidad, motivado por una pregunta anterior mía . Entrada: un gráfico cúbico G=(V,E)G=(V,E)G=(V,E) Pregunta: ¿hay una partición de en E 1 , E 2 , ... , E s , de modo que el subgrafo inducido por cada …

12 cc.complexity-theory  graph-theory  np-hardness  co.combinatorics 

Una formulación equivalente del teorema de PCP es: para Max 3-SAT es -duro distinguir entre fórmulas satisfactorias y fórmulas donde, como máximo, la fracción r de las cláusulas es satisfactoria (para algunos r < 1 ).nortePAGNPNPrrrr < 1r<1r\lt 1 ¿Existe algún teorema de dicotomía conocido que clasifique todos los CSP …

12 cc.complexity-theory  pcp  csp 

El papel Lauri Hella y José María Turull-Torres, Cálculo de consultas con lógicas de orden superior , TCS 355 197–214, 2006. doi: 10.1016 / j.tcs.2006.01.009 propone lógica VO, lógica de orden variable. Esto permite la cuantificación sobre los pedidos sobre las variables. VO es bastante poderoso y puede expresar algunas …

12 cc.complexity-theory  complexity-classes  lo.logic  computability  descriptive-complexity 

Sea { 0 , . . . , N - 1 } y ∘ : S × S → S . Quiero calcular la complejidad de la comunicación al decidir si ∘ es asociativo.S=S=S=0 , . . . , n - 10,...,n−10,...,n-1∘ : S× S→ S∘:S×S→S\circ : S \times S …

12 cc.complexity-theory  communication-complexity 

¿Qué otros problemas de idiomas diferentes al isomorfismo de gráficos hay en ? ¿Puedes dar algunas referencias?nortePAG∩ c o A MNP∩coAMNP\cap coAM Actualización: Olvidé mencionar que estoy interesado en idiomas que no se sabe que están en .c o NPAGcoNPcoNP

12 cc.complexity-theory  reference-request  complexity-classes  graph-isomorphism 

Estoy leyendo la prueba desde aquí y me topé con un problema técnico (pero crucial). Sé que esto es bastante específico y el contexto es problemático, pero no pude resolverlo yo mismo. En las páginas 51 y 55, después de presentar los verificadores "estándar", se vuelven a modificar los verificadores …

12 cc.complexity-theory  pcp 

Una observación fácil es que si un problema es decidible por un programa de no determinista en tiempo polinómico utilizando O ( log n ) bits de no deterministas (es decir, todos los testigos son logarítmicas de longitud), entonces A ∈ P .UNAAAO ( logn )O(log⁡n)O(\log n)A∈PA∈PA \in \mathsf{P} Si …

12 cc.complexity-theory 

¿Cuáles son algunas afirmaciones (no conocidas) de que si es cierto, el PH debe colapsar? Se agradecen las respuestas que contienen una afirmación corta de alto nivel con referencia (s). Traté de hacer una búsqueda inversa sin mucha suerte.

12 cc.complexity-theory  complexity-classes  big-list