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...
He leído en SP Jordan, D. Gosset, "Amor del PJ problemas -Complete para hamiltonianas stoquastic y matrices de MarkovQ MUNQMAQMA " que es poco probable que .Q MA ⊆ A MQMA⊆AMQMA \subseteq AM Me sorprendió esta afirmación. Entonces, ¿cuál es la relación adecuada entre y A M ?Q MUNQMAQMAA...
La programación lineal es, por supuesto, hoy en día muy bien entendida. Tenemos mucho trabajo que caracteriza la estructura de soluciones factibles y la estructura de soluciones óptimas. Tenemos la fuerte dualidad, algoritmos de poli-tiempo, etc. Pero, ¿qué se sabe sobre las soluciones mínimas...
Razborov demostró que cada circuito monótono que calcula la función de coincidencia perfecta para gráficos bipartitos debe tener al menos compuertas (lo llamó "lógico permanente"). ¿Se ha demostrado un límite inferior mejor para el mismo problema desde entonces? (diga 2 n ϵ ?) Hasta donde recuerdo,...
Hay 4 restricciones diferentes que podemos tener al definir Random K-SAT. 1) El número total de literales en una cláusula dada es exactamente K o como máximo K 2) Un literal dado se puede usar con o sin reemplazo en la misma cláusula (A o A o A) 3) Una variable dada se puede usar con o sin...
Es ampliamente conocido que las fórmulas CNF se pueden dividir aproximadamente en 2 clases amplias: aleatoria versus estructurada. Las fórmulas estructuradas de CNF, en oposición a las fórmulas aleatorias de CNF, exhiben algún tipo de orden, mostrando patrones que es poco probable que ocurran por...
Esta pregunta es similar a los problemas NP-hard en los árboles : Hay una gran cantidad de problemas NP-completos que son manejables en los coógrafos . ¿Hay algún problema conocido que permanezca NP-completo cuando se restrinja a los coógrafos? Para ser más precisos, estoy interesado en ejemplos...
Considere el siguiente problema, Dado un conjunto de números positivos { a 1 , ... , a n } en el que k ≥ 3 es una constante, queremos dividir el conjunto en m subconjuntos de tamaño k para que el producto de la suma de cada subconjunto Está maximizado.n = k mn=kmn = k m{ a1, ... ,...
Estoy buscando lógicas modales, que están axiomatizadas por un conjunto finito de axiomas de profundidad de anidamiento modal uno, y cuyo problema de satisfacción / derivabilidad es poco probable que esté en PSPACE. Sin la restricción en la profundidad de anidamiento modal, esto no es un problema,...
Dada una secuencia de números, ¿se puede ordenar con O ( n ln n ) comparaciones y O ( n ) intercambios / movimientos? Cualquier puntero a publicaciones sobre ese tema o contraargumentos que muestren un límite inferior Ω ( n ln n ) ayudaría.nnnO(nlnn)O(nlnn)O(n \ln
A C0 0AC0AC^0 es la clase de circuitos de tamaño polinomial de profundidad constante con compuertas NO y compuertas AND y OR de ventilador sin límites, donde las entradas y las puertas también tienen un fanout sin límites. Ahora considere una nueva clase, que es como pero para la cual las entradas...
Sabemos que si entonces todo el PH colapsa. ¿Qué pasa si la jerarquía polinómica se colapsa parcialmente? (¿O cómo entender que el PH podría colapsar por encima de cierto punto y no por debajo?)PAG= NPAGP=NPP=NP En palabras más cortas, ¿cuáles serían las consecuencias de y P ≠ N P ?nortePAG= c o...
El SAT único es el problema bien conocido: dada una fórmula CNF , ¿es cierto que F tiene exactamente un modelo?FFFFFF Estoy interesado en el problema «Exactamente -SAT»: dada una fórmula F de CNF y un entero m > 1 , ¿es cierto que F tiene exactamente m modelos?mmmFFFm>1m>1m>1FFFmmm Ambos...
¿Cuáles son los problemas estándar que podemos reducir para probar los límites inferiores de ?Ω(nlogn)Ω(nlogn)\Omega(n\log n) Por supuesto, otros problemas de estado además de la clasificación y la distinción de elementos.
Como es bien sabido, los problemas de optimización de NP-hard pueden tener muchas relaciones de aproximación diferentes, que van desde tener un PTAS hasta no ser aproximable dentro de ningún factor. En el medio, tenemos varias constantes, , p o l y ( n ) , etc.O ( logn )O(logn)O(\log n)p o l y( n...
El peso El | x ||x||x|de una cadena binaria x ∈ { 0 , 1 }nortex∈{0,1}nx\in\{0,1\}^n es el número de unos en la cadena. ¿Qué sucede si estamos interesados en calcular una función monótona en entradas con pocas? Sabemos que decidir si un gráfico tiene una kkk -clique es difícil para los circuitos...
Por lo general, es más simple razonar sobre el cálculo donde la limitación es la finitud de la computación en lugar de un umbral como "computable en una cantidad de tiempo polinómica". En la teoría de los lenguajes formales, por ejemplo, en lugar de usar para caracterizar un monoïd aperiódico, es...
Digamos que uno tiene un idioma L ⊆ Σ∗L⊆Σ∗L \subseteq \Sigma^* , pero uno no sabe qué cadenas son realmente parte del idioma. Todo lo que uno tiene es una vista finita del lenguaje: un conjunto finito de cadenas A ⊆ LA⊆LA \subseteq L que se sabe que están en el idioma, y un conjunto finito de...
Arora y Barak muestran que puede expresarse como B P ⋅ N P, es decir, el conjunto de idiomas que tienen reducciones aleatorias a 3SAT. M A también es una generalización aleatoria natural de N P en la que reemplaza el verificador determinista por uno aleatorio.A MAM\mathsf{AM}B P ⋅ N...
Un MPA (autómata multipebble) es un 2DFA (autómata finito determinista bidireccional) que puede usar un número arbitrario de guijarros (en realidad, como máximo guijarros en una entrada dada - la entrada está escrita en la cinta entre dos extremos -marcadores como ). Durante el cálculo, un MPA...