Estoy buscando ejemplos de problemas parametrizados por un número , donde la dureza del problema no es monotónica en k . La mayoría de los problemas (en mi experiencia) tienen una transición de fase única, por ejemplo, k -SAT tiene una transición de fase única de k ∈ { 1 , 2 } (donde el problema...
Una característica bien conocida de las instancias -SAT es la relación del número de cláusulas m sobre el número de variables n , es decir, el cociente ρ = m / n . Para cada k , hay un valor umbral α st \ para ρ ≪ α , la mayoría de las instancias son satisfactorias y para ρ ≫ α la mayoría de las...
Supongamos que tenemos un problema parametrizado por un parámetro de valor real p que es "fácil" de resolver cuando y "difícil" cuando para algunos valores , . p = p 1 p 0 p 1p = p0 0p=p0p=p_0p = p1p=p1p=p_1pag0 0p0p_0pag1p1p_1 Un ejemplo es contar configuraciones de giro en gráficos. Contando los...
Es bien sabido que muchos problemas NP-completos exhiben transición de fase. Estoy interesado aquí en la transición de fase con respecto a la contención en el lenguaje, en lugar de la dureza de la entrada, en relación con un algoritmo. Para que el concepto no sea ambiguo, definamos formalmente lo...
La proporción crítica de cláusulas a variables para el 3-SAT aleatorio es más de 3 y menos de 6, y parece describirse comúnmente como "alrededor de 4.2" o "alrededor de 4.25". Mezard, Parisi y Zecchina prueban (en el sentido de la física) que la relación crítica es 4.256, mientras que el primer y...
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...
¿Qué se sabe sobre la transición de fase en problemas # P-Complete? Específicamente, ¿existe una transición de fase diferente para # DNF-k-SAT y # CNF-k-SAT? Actualización: Como sabemos, hay una transición de fase en Random k-SAT donde la resolución del problema pasa de ser fácil a difícil y...
Me gustaría saber el estado actual de la transición de fase para k-sat aleatorio, dadas n variables y m cláusulas, cuál es la c = m / n más conocida para los límites superior e