【摘 要】
：
本文为解决一类混合Horn公式([13,14]),又称为层次图公式([15])的MAXSAT问题进行了基于随机局部搜索过程的经验研究.具体地,我们首先在随机CNF公式的MAX2SAT及MAX3SAT问题上
论文部分内容阅读
本文为解决一类混合Horn公式([13,14]),又称为层次图公式([15])的MAXSAT问题进行了基于随机局部搜索过程的经验研究.具体地,我们首先在随机CNF公式的MAX2SAT及MAX3SAT问题上进行WalkSAT和Tabu-Sat(及其变种)的比较,其次,我们在层次图公式上比较了上述过程的改进版本,这些公式编码了随机生成层次图的最小化跨边问题.本文所引入的Tabu-Sat过程,当在搜索空间中检测到一个圈的时候,动态地改变Tabu长度参数.另一个被称为Vector-Tabu-Sat的过程,对所有的布尔变元进行独立的Tabu长度参数管理.一些数值实验的结果显示,我们改进的Tabu-Sat变种在子句个数增长的时候优于Walksat.
其他文献
坚持以科学发展观为指导,充分发挥公安机关的职能作用,为经济社会发展创造良好的法治环境,服务和保障经济社会发展。按照构建和谐社会的要求,公安机关要牢牢把握我国当前所处
53岁的朱尧平厅长1983年9月至1986年7月在中央党校学习,曾被江苏省派出援藏,1988年10月到西藏日喀则地区行政公署工作,任日喀则地区副专员、常务副专员,主要分管经济工作。19
开发西部,是党中央、国务院“十五”期间的重大战略决策.根据国家、辽宁省的统一部署,鞍山市帮扶任务的对口单位是青海省.rn
我国改革开放三十年来取得了举世瞩目的成就,其中教育发挥了重要作用.面向未来,我国必须实现创新驱动、转型发展.为提升国民素质,培养创新人才,实现建设人力资源强国的目标,
很多人对中国石化广东石油分公司在互联网方面的印象是“快”.rn2015年7月,广东石油成立了转型发展办公室.2015年10月,微信平台创纪录地“吸粉”达到350万人.11月,广东石油又
在经济全球化背景下,世界新人文景观不断涌现,其突出表现为多元文化交融以及各国青年对“我是谁”“我们是谁”的自我认同问题.这是培养大国青年的文化基础.中国是大国,其所
使用辅助变元来引入定义,在知识表达中是一个流行和有力的技巧,能够得到更短、更自然的编码而无需冗长的重复.这篇论文中,我们形式地定义了辅助变元的概念,检验了其表达力并
上市公司“业绩变脸”可能涉及造假上市、虚假陈述、控股股东违法违规、经营管理层违法违规等违法违规行为。因上市公司“业绩变脸”而产生的民事责任制度仍存在缺失,主要体
虽说美国互联网企业的CEO们都是个性十足，但亚马逊的CEO贝佐斯绝对算是少数派中的少数派。他从1994年开始做网上书店，跟雅虎的杨致远一样，算是美国互联网界的前辈，比谷歌那哥俩的资历还要老。 20年过去，弹指一挥间，与他同辈的人和企业，大都已经“风流总被雨打风吹去”，但贝佐斯和他领导的亚马逊一直快速成长，一直勇立潮头，在2011年成为市值过千亿的第二家互联网公司。这在商业竞争激烈、技术变革飞速的