Estoy interesado en la densidad 3 satisfacciones críticas (3-SAT) . Se conjetura que tal existe: si el número de cláusulas 3-SAT generadas al azar es más, es casi seguro que no son satisfactorias. (Aquí es cualquier constante pequeña es el número de variables). Si el número es o menos, es casi...