【摘 要】
：
信息传播算法求解可满足问题时有惊人的效果,难解区域变窄.然而,因子图带有环的实例,信息传播算法不总有效,常表现为不收敛.对于这种现象,至今缺少系统的理论解释.警示传播（wa
【机 构】
：
北方民族大学计算机科学系,贵州大学计算机科学系
【基金项目】
：
国家自然科学基金（61462001,61262006,61402017）, 宁夏自然科学基金（NZ14108）, 北方民族大学基金（2014XYZ 03,2014XBZ04）, “计算机应用技术”自治区重点学科项目
论文部分内容阅读
信息传播算法求解可满足问题时有惊人的效果,难解区域变窄.然而,因子图带有环的实例,信息传播算法不总有效,常表现为不收敛.对于这种现象,至今缺少系统的理论解释.警示传播（warning propagation,简称WP）算法是一种基础的信息传播算法,对WP算法的收敛性研究是其他信息传播算法收敛性研究的重要基础.在WP算法中,将警示信息的取值从{0,1}松弛为[0,1],利用压缩函数的性质,给出了WP算法收敛的一个充分条件.选取了两组不同规模的随机3-SAT实例进行实验模拟,结果表明：当子句与变元的比值？〈1
其他文献
采用分阶段计算的方法，对柴油机曲轴的加油孔进行了三维边界元分析，得到了孔内应力分布规律。
在模型驱动软件开发过程中,基于模型的测试方法往往用于检验软件代码针对软件模型的一致性以确保软件质量.然而,随着当今软件系统规模的不断扩大,相应的软件开发过程也变得越
今年中等职业教育将增加招生100万人，使中职教育总人数达到650万人。到2007年，中职教育将争取实现与普通高中规模大体相当的局面。
“我当上了村主任,挑起了这副重担,哪怕是一座山,我都要扛起。哪怕少活几年,也要为群众办几件实实在在的事。”——合阳女村官语录
8月7日，西安雅荷四季城商铺推介会在售楼中心隆重召开。推介会上，雅荷置业为现场的每一位来宾介绍了商铺的地段优势、户型特色、业种业态，以及今后的投资回报，向西安消费者全面展
吴堡县委书记王勇带领县委常委、副县长吕亚伟及交通局、住建局、沿线乡镇等相关部门负责同志深入火车站连接线施工现场指导工作。 吴堡县交通运输局王振平局长与县人大、县政府及相关单位领导人实地调研，规划设计公路建设中长期发展规划。 吴堡县位于陕西省最东北部，榆林市东南部，北靠佳县，西接绥德，东南濒临黄河，与山西省临县，柳县隔河相望。目前，该县“四纵四横”公路主框架己建成，形成由鐵路、公路、水路等3
本文利用Authorware制作多媒体CAI课件时，对选择填空题的一种处理方式的设计，来展示AUth0rware中交互图标强大功能的一种应用。
提出一个快速的三维彩色全身人像捕捉系统（名为化身1号）：1.5s采集数据,1min内全自动地建立三维全身人像.化身1号使用了8台自制的结构光扫描仪,采集数据的精度达到1mm.这8个扫描
如何进行质量建设、提高办学质量，是摆在广大独立学院工作者面前的一个重要课题。作为新生事物，独立学院的建设在招生、运行机制、社会认可度、就业、师资、管理、思想政治工作