约束可满足问题求解策略的改进和实验结果

来源 :吉林大学自然科学学报 | 被引量 : 0次 | 上传用户:aidam
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
通过对那些属于NP-Complete的约束可满足问题(如图着色,规划、SAT问题等)的求解实验,指出了局部搜索算法的局限性,由此给出改进的搜索策略,实验结果表明,应用改进的搜索策略使算法效率明显提高。
其他文献
悬疑电影是目前商业电影中的一个重要的电影类型。这类影片主要是通过巧妙地设置重重叠叠的悬念来激起观众的好奇心,从而吸引观众的注意力,影片通常具有浓厚的神秘色彩。毋庸置疑,任何一部成功的电影都离不开“剧本”这块基石,因此,剧本创作往往是整个电影创作的重中之重。落实到悬疑电影的剧本创作时,创作者必须要让作品能够使受众产生紧张感,从而对电影中疑惑之处进行思索。悬疑电影的情节建构离不开客观场景空间的辅助,巧
2012年国家出台《关于大力推进农村义务教育教师队伍建设的意见》之后,农村教师的专业发展问题成为教育研究者们关注的焦点。教师的质量关乎教育的质量,要想全面提高我国基础教育质量,势必要加快推进教师队伍建设、提升教师专业发展水平。本研究通过采用访谈法、问卷法,并在整理分析相关文献的基础上,对烟台市农村小学教师专业发展现状做了全面调研。发现问题、审思成因,并提出具体可操作的解决策略。通过对问卷调查结果的
根据深海ARV双线轴对接的使用要求,项目组通过对连接器对接结构和密封结构的计算,设计出一种能够在全海深环境下使用的对接型单芯光纤水密连接器,并通过深海环境模拟器对连接
本文初步探讨应急信息系统的总体框架,包括国家应急办公室、省(自治区)应急办公室、市应急联动中心和县(市)应急办公室四级;五大平台、五大数据库、中心、重点信息工程和保证
我国的信息化建设事业自改革开放以来开始起步发展,近年来,随着大数据的发展,政府对信息化建设越来越重视,习近平总书记提出,实施国家大数据战略,加快建设数字中国。大数据背
随着改革开放和经济发展,我国资本市场发展迅猛,市场规模、市场效率和业务的高速增长给企业的运营和发展带来了巨大的资金压力,对融资的需求使得市场加大对融资渠道的探索,而资本证券化作为一种新兴的融资途径,具有降低融资成本、盘活存量资产、提高资产使用效率等诸多优点,近年来在国家政策的大力支持推动下,资产证券化作为一种创新融资方式得到越来越频繁的运用。资产证券化,是指通过特设机构SPV将原始收益人不流通的存
随着我国市场经济的快速发展,善意取得制度这一民法中的特殊物权取得制度近年来越来越频繁的被人们使用,同时这一古老民法制度又历来为学者争议、探究,我国《物权法》第106条尽管对善意取得制度作出规定,但却没有对动产和不动产进行区分,法律的颁布非但没能使得善意取得制度更加清晰,反而争论愈演愈烈。我国采取民商合一的立法模式,商法中并没有明确规定股权的善意取得制度,2011年《最高人民法院关于适用<中华
根据多年建筑给排水设计及施工现场经验,分析了我国建筑用水浪费的几个方面,并提出了节水措施。
本文主要介绍了光缆产品护套双色条挤出技术。阐述了在多根光缆同槽或同管敷设时双色条外护在辨识度上的优势;简单的介绍了色条光缆的特点和色条挤塑的方法;详细介绍了双色条