【摘 要】
：
本文为解决一类混合Horn公式（[13,14]）,又称为层次图公式（[15]）的MAXSAT问题进行了基于随机局部搜索过程的经验研究。具体地,我们首先在随机CNF公式的MAX2SAT及MAX3SAT问题上进行
【基金项目】
：
We would like to thank Mattias Gartner for executing the implementational part.
论文部分内容阅读
本文为解决一类混合Horn公式（[13,14]）,又称为层次图公式（[15]）的MAXSAT问题进行了基于随机局部搜索过程的经验研究。具体地,我们首先在随机CNF公式的MAX2SAT及MAX3SAT问题上进行WalkSAT和Tabu-Sat（及其变种）的比较,其次,我们在层次图公式上比较了上述过程的改进版本,这些公式编码了随机生成层次图的最小化跨边问题。本文所引入的Tabu-Sat过程,当在搜索空间中检测到一个圈的时候,动态地改变Tabu长度参数。另一个被称为Vector-Tabu-Sat的过程,对所有的
其他文献
移动电话又称为“大哥大”、“蜂窝电话”,在神州大地逐步普及,但移动电话有哪些通用的服务项目,许多人知晓不甚,笔者做个介绍。呼叫转移:即将该手机的呼叫一、机种与型号名
流域梯级开发可使河流所蕴藏的水资源得到合理的利用，促进国民经济的发展，但涉及的问题极其复杂与深远。本文从保护环境、合理利用资源的角度，从流域梯级开发对环境的影响进行了
1958年,图尔敏出版了《论证之用》。同年,帕尔曼和奥尔布莱希特—泰特卡发表了《新修辞学》。这两部重要著作都明显受到亚里士多德的影响。实际上,帕尔曼甚至把他的著作看作
榛蘑属密环菌、担子菌纲,伞菌目,白蘑科。个大,柄粗、肉厚、味美。菌体丛生,3～5厘米高,菌类肉质淡蜜黄色或乳酪色,半球形,直径3～4厘米。成熟时平展,菌盖上附有纤维状绒毛,中部
包头市产品质量监督检验所从1994年和中国人民银行包头分行密切配合对包头市经销黄金饰品的商业单位实行报验制度以来,使行业管理和质量监督有力地结合起来,包头市的黄金饰品
中国逻辑史第十五次全国学术研讨会于2013年7月26日至29日在河南省鲁山县隆重召开。此次研讨会由中国逻辑学会中国逻辑史专业委员会主办，毕节学院逻辑与文化研究中心、平顶山
以转谷氨酰胺酶为催化剂,壳寡糖为酰基受体,通过糖基化修饰酪蛋白,利用FTIR、CD、DSC对酪蛋白的结构进行分析。结果表明:酪蛋白经糖基化修饰之后的二级结构变得更加有序,DSC
介绍了红叶二级水电站的工程概况,水文、气象特点,以及二期导流的优化.通过两种方案比较论证,阐述了优化方案的经济、社会效益及优缺点.
随着以怀特海的过程思想、有机哲学为基础的建设性后现代主义思想对诸多学术领域的深度影响,在这种视域中研究法律逻辑似乎也具有了可能性。随着非形式逻辑、论证理论、法律
选用碘量法测定绿豆芽、麻豌芽、黄豆芽、花生芽、松柳芽5种常见芽苗菜中的维生素C的含量,以自己培育的芽苗菜为原料,对同种芽苗不同生长时期、不同芽苗长度的维生素C含量进