期刊
COMBINATORICS PROBABILITY & COMPUTING
卷 27, 期 4, 页码 496-530出版社
CAMBRIDGE UNIV PRESS
DOI: 10.1017/S0963548318000263
关键词
-
资金
- European Research Council under European Union / ERC [278857-PTCC]
- ARC Australian Laureate Fellowships grant [FL120100125]
- Australian Research Council [FL120100125] Funding Source: Australian Research Council
Let Phi be a random k-SAT formula in which every variable occurs precisely d times positively and d times negatively. Assuming that k is sufficiently large and that d is slightly below the critical degree where the formula becomes unsatisfiable with high probability, we determine the limiting distribution of the number of satisfying assignments.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据