Random k-Sat: A Tight Threshold For Moderately Growing k

We consider a random instance I of k-SAT with n variables and m clauses, where k=k(n) satisfies k—log₂ n→∞. Let m ₀=2^k nln2 and let ∈=∈(n)>0 be such that ∈n→∞. We prove that

$$ {}^{{\lim }}_{{n \to \infty }} \Pr {\left( {I\;{\text{is}}\;{\text{satisfiable}}} \right)} = \left\{ {^{{1\;m \leqslant {\left( {1 - \in } \right)}m_{0} }}_{{0\;m \geqslant {\left( {1 + \in } \right)}m_{0} }} .} \right. $$