【摘 要】
：
最大可满足性问题(MAXSAT)是经典的NP完全问题SAT的一个扩展问题.基于分支限界设计MAXSAT完备算法时,如何有效地提高下界是设计高效算法的关键和难点.基于优先找到规模小、结
【机 构】
：
华中科技大学计算机科学与技术学院 武汉 430074
论文部分内容阅读
最大可满足性问题(MAXSAT)是经典的NP完全问题SAT的一个扩展问题.基于分支限界设计MAXSAT完备算法时,如何有效地提高下界是设计高效算法的关键和难点.基于优先找到规模小、结构简单的冲突集的思想,在Maxsatz算法的基础上,提出了改进的算法Maxsatz2013.通过使用推理规则优先、改变单子句的传播顺序、进一步失败文字检测这3个优化策略,增加了检测到的冲突集数,从而有效地提高了下界.测试了MAXSAT 4个类别共800多个算例.实验结果表明,这3个优化冲突集的策略是可行且有效的,所提出的算法在每一类算例上均明显地提高了计算效率.
其他文献
证监会7月20日正式公布创业板申请文件准则和招股说明书准则;7月26日起将受理创业板发行申请。整体来看,创业板上市明显提速,创投概念股行情有望扑面而来。
On July 20, the
在1999年6月2日举行的南非第二次不分种族的大选中,非国大再次以绝对优势获胜,取得了国民议会中近2/3的议席。6月16日,南非新总统就职典礼在比勒陀利亚隆重举行。现年80高龄
为查明EHF 自然贮存宿主,于1983年10月下旬我们用间接免疫荧光法检测了疫区小型啮齿类动物,结果从1只黑线仓鼠肺切片检出EHF 病毒抗原。鉴于新发现的疫区地处哈尔滨市郊区,
【摘要】文言文教学是初中语文教学的重要组成部分，文言文考试是语文考试的必考内容。文言文学习、复习“二三四”可引导学生端正认识，掌握好的学习方法，提高学习效率与学习成绩。 【关键词】文言文；学习复习；方法技巧；注意事项 【中图分类号】G623 【文献标识码】 A【文章编号】1671-1270(2011)01-0043-01 文言文教學，是初中语文教学的重要组成部分，文言文考试，是语文考试的
低产值桃改接杏栽培技术王光全孟庆杰（平邑县农业局，２７３３００）蒋兴安郑现固李廷爱（平邑县武台乡果树站）１嫁接以５年生春雷、五月红桃作砧木，以早熟红荷苞杏作接穗，于３月上旬至下旬采用劈接法进行
”“。,、大、、thd-。V～过k_。f:,}fIh-l:.;一——～W-。-:——.tV—。—-人:二y枷。”W。,Y,国外厅堂入口处设计
“”. ,, big ,, thd-. V ~ over k_. f:,} fIh-l:;; a - ~ W
血吸虫病与大肠癌有没有联系,如有联系是否具有重复性,特异性、这是大肠癌病因研究中质疑之点。本文用n不等的泊松分布配合法、Spearman等级相关和相对危险度等指标,对地处
卡拉OK是目前时兴的娱乐活动,唱卡拉OK需要嗓子,而嗓子的好坏将直接影响您的情绪。如果在卡拉OK活动中不注意嗓子的保健,不分场合、不论时间地频频使用嗓子,将会引起卡拉OK
作者使用的Pariorix疫苗株为UrabeAm9株,平均滴度为10~4.7TCID_(50)17名无腮腺炎病史并经ELISA筛选腮腺炎抗体阴性的成人(20～30岁)为免疫对象。每人皮下注射疫苗0.5ml。用ELI
景宁县政府以“景宁香菇荣获九五中国农博会金奖”为契机,大力发展优质香菇生产。九六年发展袋栽香菇5000万袋,其中花菇3000万袋,预计鲜菇总产量可达3万多吨,其中花菇,优质