搜索结果: 1-1 共查到“计算数学 Random k-SAT”相关记录1条 . 查询时间(0.046 秒)
Counting good truth assignments of random k-SAT formulae
Random k-SAT Correlation Decay Uniqueness Gibbs Distribution
2015/8/21
We present a deterministic approximation algorithm to compute logarithm of the number of ‘good’ truth assignments for a random k-satisfiability (k-SAT) formula in polynomial time (by ‘good’ we m...