可满足性（sAT）问题地概率研究.PDF

第30卷第3期 数 学 进 展 vol30N。3 2001年6月 ADVANGEsINMATHEMATIcs June．2001 可满足性(sAT)问题的概率研究 张奎 陈大岳 (北京大学数学科学学院概率统计系。北京， l0087l，中国) D己J 月 摘要 本文首先构造了随机均匀产生的d-SAT问题的概率模型；然后给出了SAT问题 的解的个数的均值的计算公式．使用矩方法研究了解空间的元素满足方程的概率以及在临界点 方程有解的概率的极限性质．最后确定了n／m=rd=(1n2)／(1n若)是其解的平均个数的 临界点，并且当n／m=rd时，方程有解的概率随着m斗oo而趋于。 关键词 SAT问题；相变现象；可满足概率 MR(1991)主题分类60c05，03805 1引言 可满足性(satis6abih‘y1简记为sAT)问题是解决数理逻辑、推理、机器学习等许多理论问 题与实际问题的基础性问题．sAT问题是第一个被发现的NP完全问题吼也是一大类NP完 全问题的核心．因此，求解sAT问题在研究人工智能系统和计算理论中有着很重要的作用．而 对于随机均匀产生的sAT问题研究其概率性质，可以确定问题的难易分布阳目，不仅有其在理 论上的重要意义，对于设计有效的算法也有重要意义． sAT问题由三个要素组成阳，“】： ·m个逻辑变量(Ⅶriabk)的集合：z1，z2，…，z。； ·基本式(Iiter“)的集合：一个基本式就是一个逻辑变量或其非．这样，全部基本式为： z1，面1，02，虿2，·．-，￡m1面m； ·n个子句(clause)的集合：cl，晚，·· ci；其中每个子旬是由逻辑或(V)连接的基本式 组成，子句中基本式的个数称为子旬的长度 例如，G=zlv．3vz7就是一个长度为3的于 句． 所谓sAT问题就是确定是否存在一组变量的逻辑取值使得台取范式c。^Q^…^c二的 值为真．若每个子旬a的长度均为d，则称为d-sAT问题．在研究或求解dsAT问题时，通 常需要预先指定实例模型．本文所研究的是随机均匀产生的d_sAT实例模型，即每个子句均匀 独立地随机产生；每个子旬由d个基本式组成，且这d个基本式所代表的逻辑变量不同；每个 基本式在各个子句中出现的概率相同．这个模型被很多研究者所采用m2，”，“_l“． 在本文中，我们首先构造了概率空间，对上述随机均匀产生的dsAT问题进行了概率描 述；其次，将问题转化为一个等价形式，对可满足概率、解的平均个数进行了研究；最后，求 出了在临界点的可满足概率． 2基本概念与主要结果 假设d维随机向量三I，三2，…，L。独立同分布，三的每个分量取值于{1，2，…，m)，其概 收稿日期： 1998_10_28．收到修改稿日期：199啦5—24 国家教委博士点基金，资助优秀青年教师基金，自然科学基金重点项目和国家八六三高科技项目资助 万方数据 232 数 学 进 展 30卷 率分市为 妇 互不相 同 PL= = ，●●J、●l、 志仉 ，畸 有相 同者 又设随机变量族{ab；1≤七≤竹；1≤J曼d)独立同分布，且与随机向量旗三1，工2，…，L，；相互 独立，其概率分布为 l≤凫≤仃 P(a可=1)=P(n=o)=1／2，