随机正则k-SAT公式的可满足赋值数量
组合数学
2016-11-11 v1 离散数学
摘要
令 为一个随机 -SAT 公式，其中每个变量恰好出现 次正文字和 次负文字。假设 足够大，且 略低于公式以高概率变为不可满足的临界度，我们确定了可满足赋值数量的对数的极限分布。
引用
@article{arxiv.1611.03236,
title = {The number of satisfying assignments of random regular k-SAT formulas},
author = {Amin Coja-Oghlan and Nick Wormald},
journal= {arXiv preprint arXiv:1611.03236},
year = {2016}
}