【摘 要】
：
摘要：X3SAT最大海明距离问题是指对于一个X3SAT问题实例，寻找该问题的任意两组可满足赋值之间的最大海明距离。提出了一个基于DPLL的精确算法HMX来求解X3SAT最大海明距离问题，根
【机 构】
：
东北师范大学计算机科学与信息技术学院
论文部分内容阅读
摘要：X3SAT最大海明距离问题是指对于一个X3SAT问题实例，寻找该问题的任意两组可满足赋值之间的最大海明距离。提出了一个基于DPLL的精确算法HMX来求解X3SAT最大海明距离问题，根据公式中某个变量在两组真值赋值中的不同取值进行分支。给出了多种化简规则，这些规则很好地提高了算法的时间效率。证明了该算法可以将x3sAT最大海明距离问题的最小上界由目前最好的O（1．7107”）缩小到O（1．6760”），其中胛为公式中变量的数目。
其他文献
摘 要：新课改背景下，小学低年级课程教学更加注重对学生学习兴趣的培养，结合教学实践经验，主要对小学低年级学生数学学习兴趣的培养策略进行探讨，以期提高小学低年级数学教学效果。 关键词：小学低年级；学习兴趣；培养策略 数学是一门逻辑思维能力较强的学科，但是对小学低年级学生而言，其思维能力仍处于发展阶段，对数学知识的理解能力有限，在学习过程中难免会遇到一些困难，如何能够帮助低年级学生打开数学求知的大
发展科技须坚持'以人为本”原则,科技的应用须与优化人的生存环境相联系,顾及人的价值观念和历史文化传统.科技的进展离不开人文精神的指导,而人文精神须以科技来武装.
基于对后金融危机时代下企业经济管理创新改革的研究,首先,对后金融时代基本内容进行阐述。然后,分析后金融危机时代下企业经济管理存在对经济管理认识不足、管理模式落后等
可扩展标记语言（extensible markup language，XML）数据的关键词搜索面临着搜索结果数量庞大，同质化严重和不易区分等问题，针对这些问题，提出了一种新的基于多样化的方法。首先从查
语文新课标指出课堂教学和社会生活、人文地理、自然风光都可以成为语文课程资源,发挥其应有的教育功能。在如此丰富的教学资源面前,语文教师应当对其进行合理开发和利用,并
立足于高中语文课堂教学现状,首先分析了课外阅读对提高高中生写作水平的重要作用,然后在此基础上,提出了有效促进课外阅读效率的策略,以期将理论应用于实际教学中,促进教学
电力企业随着社会经济的进步,迅速发展着。而极大影响到电力企业效益的电力营销部分,则成为了现代电力企业发展的重点工作部分。在电力营销管理模式方面,也趋于多样化与标准
Nutch作为一个优秀的开源搜索引擎，其内核代码大量采用了MapReduce的编程模式，被越来越多的企业和团体用来定制符合自身需求的分布式搜索引擎产品。作为优秀的搜索引擎，其重要的
新课程强调：“教师不能只成为课程实施的执行者，更应该成为课程的建设者。”这也就是说我们在使用教材的过程中既要抓住教材的编写意图实施教学，又要结合教学实际合理地开发利用教材，努力使教材成为我们教学的有利工具。教师应在深入研读课标的基础上钻研教材，充分挖掘教材中的资源，紧紧围绕“以学生发展为本”这个主题创造性地使用教材。 随着新课程改革的不断深入，创造性地使用教材已经成为摆在我们面前的重要课题，下面