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 siguiente. Una lengua exhibe transición de fase (con respecto a la contención), si
Hay un parámetro de orden , que es una función de tiempo real polinomial computable, de valor real de la instancia.
Hay un umbral . Es una constante real o puede depender de, es decir, .n = | x | t = t ( n )
Para casi todos los con , tenemos x ∈ L . ( Casi todos los medios aquí: casi todos , es decir, la proporción se aproxima a 1, como n → ∞ ).r ( x ) < t
Para casi todas las con , tenemos .
Para casi cada , sostiene que . (Es decir, la región de transición es "estrecha").
Muchos problemas naturales de NP completo exhiben transición de fase en este sentido. Los ejemplos son numerosas variantes de SAT, todas las propiedades de gráficos monótonos, varios problemas de satisfacción de restricciones y probablemente muchos otros.
Pregunta: ¿Cuáles son algunas excepciones "agradables"? ¿Existe un problema natural de NP completo, que (probablemente) no tiene una transición de fase en el sentido anterior?
fuente
Respuestas:
Los investigadores expertos en esta área básicamente afirman que las transiciones de fase son una característica universal de los problemas completos de NP, aunque esto aún no se ha formulado / probado rigurosamente y aún no se considera / disemina ampliamente en el campo más amplio (emana más de una orientación empírica rama de estudio). Es casi una conjetura abierta. Hay una fuerte evidencia. no hay candidatos plausibles para problemas completos de NP sin transición de fase. Aquí hay dos referencias que admiten este punto de vista:
Transiciones de fase en problemas NP-completos: un desafío para la probabilidad, la combinatoria y la informática / Moore
Comportamiento de transición de fase / Walsh (ppt)
Aquí hay un bosquejo de la verdad de la afirmación. tiene que ver con P contenido en NP completo. un problema / lenguaje completo de NP debe tener instancias que se puedan resolver en tiempo P y otras que se puedan resolver en tiempo exponencial (o al menos superpolinomial) si P ≠ NP. pero siempre debe haber alguna forma de "agrupar" las instancias P de las instancias "no P". por lo tanto, siempre debe haber algunos "criterios de transición" entre las instancias P y no P en resumen, ¡tal vez este fenómeno está intrínsecamente acoplado con P ≠ NP!
Otro argumento aproximado: todos los problemas completos de NP son intercambiables mediante reducciones. Si se encuentra una transición de fase en una sola, debe encontrarse en todas ellas.
Más evidencia circunstancial de esto, más recientemente (~ 2010) se demostró que la transición de fase se muestra para los límites inferiores en los circuitos monótonos para la detección de camarillas en gráficos aleatorios.
divulgación completa: Moshe Vardi ha estudiado las transiciones de fase, particularmente en SAT y tiene una visión más escéptica en contraste en esta charla / video.
fuente
fuente
La coloración C de los gráficos regulares D tiene una serie de transiciones discretas, no particularmente escalonadas, a menos que se estire.
Aquí hay una tabla de resultados para colorear que enviaré a SAT17. Tenga en cuenta que 3 colores de 6 gráficos regulares es imposible, excepto por algunos ejemplos. Del mismo modo, 4 colores de gráficos de décimo grado ... los gráficos C3D5N180 son ligeramente difíciles. El C4D9 Golden Point solo está tentativamente en C4D9N180; Los gráficos C4D9 son los 4cnfs más difíciles por tamaño que he encontrado, por lo que C4D9 califica como un "punto duro". Se conjetura que existe el punto dorado C5D16, pero estaría en la región del punto duro de 5 a 6 colores.
Las fórmulas para colorear tienen variables lgC por vértice, para un total de variables lgC * N; los bordes tienen cláusulas de coloración C, para un total de cláusulas C * M. Hay algunas cláusulas adicionales por vértice para descartar colores adicionales. Los Golden Points son el N más pequeño de tal manera que: la colorabilidad C en gráficos de grado D con N vértices es casi siempre satisfactoria, con una probabilidad cercana a 1. Para alta probabilidad, N instancias aleatorias fueron satisfactorias. Para Very High, N * N fueron satisfactorios. Para Super High, las instancias aleatorias N * N * N fueron satisfactorias.
Los puntos de coloración dorada de alta probabilidad (1 - 1 / N) son:
C3D5N180 C4D6N18 C4D7N35 C4D8N60 C4D9N180? C5D10N25 C5D11N42 C5D12N72
Los puntos de coloración dorada de probabilidad muy alta (1 - 1 / (N * N)) son:
C3D5N230? C4D6N18 C4D7N36 C4D8N68 C4D9N ??? C5D10N32 C5D11N50 C5D12N78
Los puntos de coloración dorada de probabilidad súper alta (1 - 1 / (N * N * N)) son:
C3D5N ??? C4D6N22 C4D7N58 C4D8N72? C4D9N ??? C5D10N38 C5D11N58 C5D12N ??
Todas las instancias aleatorias en el estudio fueron satisfactorias. Los puntos de probabilidad lineal verificaron cientos de fórmulas satisfactorias. Los puntos de probabilidad cuadráticos verificaron decenas de miles de fórmulas satisfactorias. Los puntos de probabilidad cúbicos verificaron cientos de miles de fórmulas satisfactorias. Los puntos C4D9 y C5D13 son difíciles. Se conjetura que el punto C5D16 existe. Una instancia aleatoria de decimosexto grado de cinco colores demostraría la conjetura.
fuente