The number of random 2-SAT solutions is asymptotically log-normal
The number of random 2-SAT solutions is asymptotically log-normal
We prove that throughout the satisfiable phase, the logarithm of the number of satisfying assignments of a random 2-SAT formula satisfies a central limit theorem. This implies that the log of the number of satisfying assignments exhibits fluctuations of order $\sqrt n$, with $n$ the number of variables. The formula …