背包问题和约束可满足性问题的指数时间算法

被引量 : 0次 | 上传用户:zhochg
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文研究难解问题的指数时间算法分析。在介绍了计算复杂性和NP完全问题的基本概念之后,简单回顾了各种计算模型和指数时间算法这些研究方向的近期进展。在接下来的第二章和第三章中详细阐述了作者在硕士期间的两个研究成果。其中一个是在BT计算模型中证明了背包问题的指数下界,另一个是对CSP问题的DPLL型算法证明了非平凡的指数上界。具体结果为:1.模型下界对于简化背包问题(物品价值与重量相等)的精确算法,设物品数为n,对于任意正实数ε,任何适应型BT算法的运行时间不低于Ω。M.Aleknovich等人的结果为Ω。2.算法上界对于k-CSP问题的DPLL型算法,设变量数为n,值域大小为d。如果d为常数,那么算法运行时间的上界为;如果d随n变化,只考虑d = n~α的情况:如果α≤1,那么上界是;如果α> 1,那么上界是,这里O?表示至多相差一个n的多项式因子。
其他文献
目的:探讨颈椎病患者采取非手术治疗的护理方法。方法:对82例颈椎病患者采取颈椎牵引,功能锻炼、健康教育、指导生活等护理。结果大多数颈椎病患者取得良好临床疗效。结论:颈
为了明确湖南省主要苎麻产区小飞蓬对草甘膦的抗药性情况,在采集各地麻园小飞蓬种子的基础上,采用温室生物测定法测定了其对草甘膦的抗药性水平。试验结果表明:采自南县、汉
本论文分为两大部分:第一部分为水性可剥性涂料的制备;第二部分为环氧水分散体的合成研究。在第一部分工作中,通过先制取苯丙乳液,再用增韧剂和脱模剂对其进行改性,最后结合
简要介绍了城市轨道交通无线通信系统组成、制式以及现有主流无线通信覆盖方案。结合某市一新建轨道交通市郊线路工程情况,提出基于空间波的区间信号覆盖优化方案,根据Okumur
<正>中国的消费结构正在发生巨大的变化,80、90后总人数已接近4个亿,年轻一代成为消费的新生力量。随之而来的媒体传播环境的变化,使已经"功成名就"的众多品牌面临巨大挑战:
随着中国和美国政治、经济、文化交往的日益密切,两国间贸易额持续增长,贸易结构也在不断变化。与此同时两国贸易摩擦也不断增多,主要表现在贸易不平衡问题、美国对华反倾销
人们对通信质量的要求越来越高,需要加强通信传输线路施工质量的监督工作。在通信线路施工过程中,会受到很多因素的影响,通信线路工程人员会根据当地的地形等条件进行综合考
省级广电运营商有很多自身的特点,例如整合而来造成各地的流程规范均有差异、三级管理的模式。在这样一个公司内部实施协同办公系统,需要注意的问题有很多,例如需求收集的侧
情感现象在人们体验风景园林的过程中一直存在着,有些时候甚至会成为人们判断风景园林设计的优劣的标准。本文主要通过对风景园林设计中存在的情感因素进行分析与研究,试图解