Tautologías / contradicciones de casos promedio, más allá del modelo aleatorio k-CNF

16

Es bien sabido que las fórmulas aleatorias -CNF sobre n variables con c n cláusulas son insatisfactorias (es decir, son contradicciones) con alta probabilidad, para una constante c suficientemente grande . Por lo tanto, las fórmulas aleatorias de k -CNF (para c lo suficientemente grande) constituyen una distribución natural sobre fórmulas booleanas insatisfactorias (o dualmente, sobre tautologías, es decir, negaciones de contradicciones). Esta distribución ha sido estudiada ampliamente.kncnckc

Mi pregunta es la siguiente : ¿existen otras distribuciones establecidas sobre tautologías o contradicciones proposicionales que puedan considerarse como la captura del "caso promedio" de tautologías o fórmulas insatisfactorias? ¿Se han estudiado intensamente estas distribuciones?

Iddo Tzameret
fuente
1
Las Tautologías de @Iddo no existen en un modelo CNF "verdadero" porque de lo contrario necesitaría tener un literal y su complemento en la misma cláusula ... Las Tautologías no son interesantes para estudiar en CNF.
Tayfun Pay
1
@Pay, la negación de una fórmula insatisfactoria es obviamente una tautología. Por lo tanto, podemos considerar los k-CNF aleatorios como una distribución sobre tautologías (cuando la relación de cláusula a variable es lo suficientemente grande, y donde hay una probabilidad o (1) de que un k-CNF sea satisfactoria).
Iddo Tzameret
1
Creo que Tayfun tiene razón. Debe hablar de que las fórmulas CNF son insatisfactorias o que las fórmulas DNF son tautologías. En la pregunta actual, estás mezclando los dos.
Tsuyoshi Ito
1
Este es mi último comentario sobre este asunto: no sé por qué insiste en mantener la palabra "tautologías", lo cual es claramente incorrecto, como explicó Tayfun. Pero estoy bien si no desea incorporar los comentarios de otras personas para mejorar la redacción de su pregunta.
Tsuyoshi Ito
3
Prefiero mantener el término 'tautologías' en el título porque estoy preguntando sobre distribuciones en tautologías o contradicciones, y la pregunta se formula en consecuencia.
Iddo Tzameret

Respuestas: