3-SAT 函数的数量

设 G_k(n) 为可由 k-SAT 公式定义的 n 元布尔函数的数量，我们证明 G_3(n) 渐近于 2^{n+\binom{n}{3}}。这是 Bollobás、Brightwell 和 Leader 猜想中 k=3 情形的一个强形式，该猜想指出，对于固定的 k，有 log_2 G_k(n) ~ \binom{n}{k}。