随机可满足实例集上警示传播算法的收敛性

来源 :软件学报 | 被引量 : 0次 | 上传用户:rzptxjgl
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
信息传播算法在求解随机kSAT问题时有惊人的效果,难解区域变窄.对于这种现象,至今缺少系统的理论解释.警示传播(warning propagation,简称WP)算法是一种基础的信息传播算法,为有效分析WP算法在随机kCNF公式上的收敛性,给出了随机kCNF公式因子图上圈存在的相变点.在随机kCNF公式产生模型G(n,k,p)中,取k=3,p=d/n2,因子图中圈存在的相变点为p=1/8n2.当d<1/8时,因子图中开始出现圈,且每个连通分支至多有一个圈,因子图中含圈的连通分支的数目以及圈的长度均与n无关.因此,因子图是由森林和一些含有唯一圈的连通分支构成.证明了WP算法在这些实例集上高概率收敛,并且给出了算法的迭代步数为O(logn+s),其中,s为连通分支的大小.
其他文献
桑顿·怀尔德的独幕组剧《七宗罪》中的意象符号葡萄酒、信件、玻璃窗、歌喉、砸酒吧、番红花、水泥之手分别作为味觉、视觉、触觉、听觉、动作、嗅觉等多模态符号构成有机整
该文阐述了中央颁布实施《党内监督条例》和《党纪处分条例》的重大意义,同时全面、准确地理解和把握“两个条例”的精神实质,在此基础上论述应该如何不断提高自身的政治素质
习总书记指出"中国梦"的实现途径必须走中国道路、必须弘扬中国精神、必须凝聚中国力量。"中国梦"是包括西藏各族人民在内的中华民族的共同梦想。谱写好"中国梦"的"西藏篇",
红柯的西部小说主要是关于新疆的系列小说,他认为新疆是他理想中的新大陆,代表着一种极其人性化的生命存在。他的小说肯定的是"人物身上原始的东西、动物性的天真和淳朴"。在
目的:了解上海市剖宫产率现状及其相关影响因素,为制定相应干预措施提供科学依据。方法:通过查阅分析历年报表了解剖宫产变化趋势,通过现场问卷调查,了解2009年住院分娩的孕
100%低地板车技术代表了国际低地板轻轨车最先进技术,牵引传动与控制系统是100%低地板轨道交通系统的关键组成部分之一。为了保证系统的安全可靠运行,对系统进行实时有效的监
[目的]探讨石菖蒲、冰片对缺氧损伤神经细胞的保护作用。[方法]在缺氧培养条件下造成大鼠神经细胞损伤,测定空白对照组、模型对照组、石菖蒲挥发油组、冰片组、冰片+石菖蒲挥
基于2011年佛山电网电能质量在线监测系统的数据,对佛山电网内所有的电能质量监测点进行电压偏差、频率偏差、谐波、电压波动和闪变以及三相电压不平衡五项指标评估,得到佛山
目的:探讨饮食控制孕期体重对妊娠结局的影响。方法:以360例正常单胎孕妇为观察组,于妊娠12周始给予个体化饮食指导及孕期合理运动,使整个孕期体重合理增长。另外随机抽取360
<正>儿子今年开始上小学了,虽然懂事了不少,学习也很用功,但也有了坏毛病,比如学会了攀比,同学有支漂亮的铅笔,他也嚷着要买一支;同学有好玩的玩具,他也缠着我给他买。但只要
期刊