【摘 要】
：
将线性半定规划应用到SAT问题的求解过程中。首先将SAT实例转化为整数规划问题，然后松弛为线性规划模型，最后再转化为一般的线性半定规划模型去求解。用SDPA-M软件求解线性半定
【机 构】
：
贵州大学理学院数学系,贵州大学计算机科学系
【基金项目】
：
国家自然科学基金项目（编号：60911130013）,贵州省科学技术基金项目（编号：黔科合J字[2007]2003号）资助.
论文部分内容阅读
将线性半定规划应用到SAT问题的求解过程中。首先将SAT实例转化为整数规划问题，然后松弛为线性规划模型，最后再转化为一般的线性半定规划模型去求解。用SDPA-M软件求解线性半定规划问题后，规定了如何根据目标函数值去判定SAT实例和当CNF公式可满足时如何根据最优指派的概率X^＊i（i=1，…，n）去进行变元赋值，以期求得该公式的可满足指派。上述算法不仅可以判定SAT问题，而且对于符合算法规定可满足的CNF公式皆可给出一个可满足指派。求解SAT问题的线性半定规划算法在文章中被描述并被给予相应算例。
其他文献
对于引入数学课堂中的情境，指的是与学生的生活环境、知识背景密切相关，并且是学生感兴趣的、有利于学生发现数学知识和通过自主探究活动来学习的“数学情境”。情境创设可以激
多机机务准备优化可以通过合理安排作业次序和指派作业设备,达到性能指标最优的目的.首先从单机的机务工作抽象出机务准备流程,基于离散事件仿真得到具有随机作业时间的多机
Web日志挖掘是数据挖掘领域中一个重要研究方向。文章对Web日志挖掘相关问题进行了探讨，分析了Web日志挖掘模式发现及其相关算法的不足，阐述了Web日志挖掘模式发现阶段增量更新
电动铲运机卷筒液压系统的新设计大原矿山机器厂设计研究院霍玉明在井下电动铲运机中，卷筒的液压驱动逐渐替代机械驱动。在各种机型中，虽然液压驱动的形式各异，但归根到底可总结
针对兵力需求的动态不确定问题，定性分析兵力需求的影响因素及其相互关系，运用Vensim软件构建兵力需求系统动力学模型，定量研究兵力需求相关变量间因果关系及需求变化的动态规律
解决问题是小学数学教学的重要内容。解决问题能使学生把所掌握的基础知识以及基本的数量关系运用于实际,培养学生分析问题、解答问题的能力,发展学生的逻辑思维能力。当学生学会解决某类问题后,教师要引导学生从生活中发现问题,并运用所学知识解决问题,这样学生解决问题的能力才会不断提高。 一、引导学生动脑思考,重视审题能力的培养 引导学生在审题过程中养成仔细推敲、耐心思考的习惯,要善于抓住题目中的关
随着《数学课程标准》新理念的深入人心，开阔学生思路，促使学生思维求新求异已成为广大教师的共识。特别是数学教学倡导的算法多样化，更使很多教师课前备课总是充分挖掘尽可能多
现有的网络事件关联系统主要存在以下不足:各被管设备感知的大量告警事件全部传送到管理端处理,会带来很多传输与事件管理问题;现有的网络事件关联方法很不成熟,一般只涉及底
我校是多媒体“堂堂用”的试点学校。随着多媒体课件使用的普遍，积累了大量的课件资源。怎样合理高效地利用课件资源，促进学生发展，是摆在我们面前的一个课题。根据课程标准，结合数学学科特点，我谈谈怎样共享课件资源，促进学生发展。 一、恰当选择，服务教学 新课程标准的最大特点是以人为本。教师应“以人为本”。根据班级实际定位教学目标。面对日益丰富的课件资源库，我们要学会选择，选择恰当的课件。为实现
在小学数学教学中,应十分重视培养学生合作交流的意识,提供一些让学生相互合作、相互交流的机会,促使他们不断地自由参与、自主学习,使数学课堂教学充满生机和活力。 一、提供合作条件,培养合作意识 由于大多数小学生缺乏合作的经验和集体观念,因而教师要努力为学生创造合作的环境和氛围。 1.让学生分若干组团团围坐,便于小组合作活动的进行。 2.要不断让学生接触合作学习,逐步树立合作的意识。