一种基于图匹配的求解可满足性问题的算法

来源 :电脑知识与技术 | 被引量 : 0次 | 上传用户:Northbay
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
信息传播算法求解可满足性问题时具有良好的有效性,能使难解区域变窄。在信息传播算法的设计中,是将变量的联合概率分布分解为变量子集上的局部函数的乘积形式。称局部函数为因子(factor),每一个因子依赖于一个变量子集,将变量联合分布的这一因子形式表示为图模型——因子图(factor graph)。信息传播算法是通过因子图上的边传递概率消息,这种消息传递有两种方式:变量结点传递给因子结点的消息和因子结点传递给变量结点的消息。从每个结点传出的消息由传入该结点的消息决定,通过某种迭代策略对消息进行更新。当这种消息迭
其他文献
文章以我国A股上市公司为研究对象,采用样本公司2007-2009年间12个季度的股价、公允价值计量的资产等数据,深入分析并实证检验了区域市场化改善、区域法制化改善以及政府干预弱
中国房地产市场价格畸高,业界及专业人士、政府都对房地产泡沫破灭产生了担忧。文章从房地产与宏观经济切入,分析房地产经济变化的特点及其背后的推动因素,仔细研究目前的房
时间毒理学的定义及其研究方法。在一定时间内.进行有节律性的活动是生物界的普遍现象。表现为生物活动呈周期性、节律性变化。最为明显的是昼夜节律(Circadian rhythm),即生物
【摘要】大力发展科技企业是落实科学发展观的内在需求,是振兴吉林老工业基地的迫切需要,是促进科技与经济结合的必然选择。如何改善科技企业所处的金融环境,解决科技企业融资难
甲酚广泛应用于合成树脂、炸药、油漆,也用于杀虫,防腐,消毒剂。本文报告二例甲酚皮肤灼伤中毒并发肾功能衰竭。 一、现场情况 1986年10月22日,某镇办绝缘漆厂工人用94%混合甲
现代高校计算机实验室不仅要保障实验教学正常运行,还要能够满足大学里日益繁杂的各种需求,如:期末上机考试、各种专业考试认证、毕业项目设计等;如何打造一个具备安全、稳定
小许刚调到培训部工作,就遇到一个难题,领导要求把全校几次技术等级证考试的成绩表汇总到一张表中。因为是自愿报名,每名学生考试次数不同,报名的工种各异,全校一届三千多学
塔克拉玛干大沙漠是我国最大的沙漠,自1983年石油勘探工人进入沙漠腹地,长期工作和生活在沙漠之中,给工人带来什么健康危害,很少见报道。为此,我们于1986—1988年每年深入沙
为了提高对石棉肺的防治工作,试图从其死亡病例中探索高发合并症与并发症,为进一步提高防治工作,我们将1985~1989年死亡42例石棉肺进行整理分析报告如下: 一、资料与方法 我厂
膀胱癌在筛检史上有其独特的位置。膀胱癌是最早发现的职业性肿瘤之一,由于它起源于膀胱上皮的表面,从而早期检测具有理论上的可能性。英国目前所用的筛检方法是技术、运用和