一阶矩方法相关硕士博士期刊学术论文 - 搜论网

一阶矩方法相关论文

关于随机MAX k-SAT模型的上界研究

对于包含n个变量和m=αn个长度为k的子句的CNF公式,人们比较关注公式中最大可满足子句的个数max Fk（MAX k-SAT）.当子句密度α比较大......

期刊

MAX K-SAT 上界一阶矩方法 MAX k-SAT upper bound first-moment argument

看过本文同时还关注