Preguntas etiquetadas con complexity-classes

¿Existe un sistema de tipos que restrinja los términos lambda a los términos que se encuentran dentro de una clase de complejidad? ¿Como los términos tipificables en la teoría están estrictamente dentro de la clase de complejidad? ¿O no es posible en absoluto? Creo que hay muchos estudios sobre la …

8 complexity-classes  type-theory 

Problema general Supongamos que tenemos una función polinomial multivariada y varias funciones lineales . ¿Qué se sabe sobre la complejidad de resolver el siguiente problema de optimización?F( x )F(X)f(\mathbf{x})ℓyo( x )ℓyo(X)\ell_i(\mathbf{x}) MaximizarSujeto a: F( x )ℓyo( x ) ≤ 0 para todo iMaximizarF(X)Sujeto a: ℓyo(X)≤0 0 para todos yo\begin{align*} \text{Maximize} …

8 cc.complexity-theory  complexity-classes  time-complexity  linear-programming  polynomials 

Considere una máquina (es decir, un algoritmo probabilístico que usa espacio de registro y polinomialmente muchos bits aleatorios). Se sabe (Saks-Zhou) que B P L ⊆ D S P A C E ( l o g 1.5 ( n ) ) .B PLsiPAGSLBPLB PL ⊆ D SPAGSA Cmi( l o …

8 cc.complexity-theory  complexity-classes  derandomization  space-bounded  logspace 

¿Cuál es la complejidad del problema de satisfacción local para la lógica modal ? Aquí denotamos por la lógica modal sobre tramas euclidianas extendidas con modalidad inversa. ¿Podría darnos alguna referencia? ¿Está en ? I K 5 N PIK5IK5\mathit{IK5}IK5IK5IK5NPNPNP ¿Qué sé sobre el tema? Es fácil ver que está en …

8 cc.complexity-theory  complexity-classes  lo.logic  modal-logic 

Antecedentes Sabemos que .P#P⊆PSPACEP#P⊆PSPACEP^{\#P} \subseteq PSPACE Además, se conoce a partir del teorema de Toda que .PH⊆P#PPH⊆P#PPH \subseteq P^{\#P} Para obtener más información sobre , consulte aquí: https://en.wikipedia.org/wiki/Sharp-P#P#P\#P Pregunta ¿Existe un oráculo tal que ( P # P ) A ≠ P S P A C E A ?AAA(P#P)A≠PSPACEA(P#P)A≠PSPACEA(P^{\#P})^{A} \neq …

8 cc.complexity-theory  complexity-classes  oracles  relativization  pspace 

El lenguaje Critical SAT se define como el conjunto de fórmulas booleanas f tal que f ∈ U N S A T, pero eliminar cualquier cláusula de f lo hace satisfactorio. Se sabe que el SAT crítico es D P -completo. Me pregunto acerca de la siguiente variante: dada una …

8 cc.complexity-theory  complexity-classes  boolean-functions 

Las versiones no uniformes de P, NP y coNP son P / poly, NP / poly y coNP / poly. Del mismo modo, podemos definir una versión no uniforme para cada nivel en el PH. Por ejemplo: / poly consiste en problemas de la forma , donde C es un …

8 cc.complexity-theory  complexity-classes  polynomial-hierarchy 

¿Puede la intersección de dos idiomas en NP que no son NP completos ser NP completos? ¿Se puede completar la intersección de dos idiomas en coNP que no están completos en coNP? ¿Puede la intersección de dos idiomas uno en coNP pero no completo y otro en NP pero no …

8 complexity-classes  np 

En https://en.wikipedia.org/wiki/Geometric_complexity_theory se menciona que ".. Ketan Mulmuley cree que el programa, si es viable, es probable que tome alrededor de 100 años antes de que pueda resolver el problema P vs. NP". Parece indicar que el único programa actualmente viable podría enfrentar serios obstáculos. ¿Cuáles son algunos de los …

8 cc.complexity-theory  complexity-classes  lower-bounds  big-list  big-picture 

Estoy buscando más problemas en con límites inferiores de complejidad temporal clásica. Algunas personas podrían preguntarse cómo podría probar un límite tan bajo. Vea abajo.PPP Límites inferiores exponenciales: Reclamación: Si tiene un problema que es E X P T I M E -completo bajo reducciones polinómicas, entonces hay una constante …

8 cc.complexity-theory  complexity-classes  time-complexity  lower-bounds  polynomial-time 

Según Handshaking Lemma: cualquier gráfico no dirigido que tenga un vértice cuyo grado sea un número impar debe tener algún otro vértice cuyo grado sea un número impar. Esta observación significa que si se nos da un gráfico y un vértice de grado impar, y se nos pide que encontremos …

8 complexity-classes  counting-complexity  ppad 

En [1] se afirma que "Sigue siendo una pregunta abierta si cada función en tiene circuitos (aunque al menos se sabe que no todas las funciones tienen circuitos uniformes DLogTime )".T C 0 # P T C 0#P#P\#PTC0TC0TC^0#P#P\#PTC0TC0TC^0 TC0TC0TC^0 circuitos generados por las funciones DLogTime no contienen . No sabemos …

8 cc.complexity-theory  complexity-classes  circuit-complexity  counting-complexity  permanent 

Es común definir la completitud de con respecto a las reducciones de espacio de registro de muchos.PAGSPP Estoy buscando una clase de complejidad tal manera que haya problemas P- completos wrt muchas- C- reducciones.C⊆ LC⊆LC \subseteq \mathsf{L}PAGSP\mathsf{P}CCC ¿Cuál es la clase reducción múltiple más pequeña conocida de tal forma que …

8 cc.complexity-theory  complexity-classes 

¿Cuáles son los ejemplos de problemas conocidos en (resp. ) que no se sabe que están en ni en ?M A N P B P PAMAM\mathsf{AM}MAMA\mathsf{MA}NPNP\mathsf{NP}BPPBPP\mathsf{BPP} Para , conozco los siguientes dos ejemplos:AMAM\mathsf{AM} No isomorfismo gráfico: dados dos gráficos etiquetados y , ¿son el mismo gráfico hasta la permutación de …

8 cc.complexity-theory  complexity-classes 

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