¿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 NP completo ser NP completo o...
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 circuito de tamaño polinómico que puede variar según la longitud...
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...
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 fórmula C N F f , ¿es el caso que f está...
¿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...
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 g1,5( n ) )siPAGSL⊆reSPAGSUNACmi(losol1,5(norte))BPL \subseteq...
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 ...
¿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...