约束求解算法自动配置研究

来源 :吉林大学 | 被引量 : 0次 | 上传用户:echo19
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
各种经典、元启发式约束求解算法在求解NP难题(NP-hard)时的性能通常取决于其参数配置。事实上,为一个算法配置一个合适的参数一直以来都被认为是一个重要的任务,这就给每个算法设计者和用户留下了一个问题:如何正确配置算法参数?在过去,人们一直使用手动方式进行参数配置,通过对各种算法的研究发现,手动处理参数事实上是个很复杂的问题,需要不断在运行过程中改变参数,开销大量的时间去测试程序以使之达到理想效果。这无疑是件很麻烦的事情,既浪费人力、物力、财力,也给程序员的编程带来了困扰。而且通过经验法或者试错法来进行优化,不仅耗时耗力还很容易出错,有时,它通常还会导致不同算法的不均匀优化。此外,通过试错法优化过度依赖直觉和算法开发者的经验,而该方法难以和严格的数学证明对应起来,因此手动参数配置不具有推广性。近些年,参数优化算法逐渐成为算法发展过程的重要组成部分。许多高性能算法都具有众多参数,参数配置对控制算法行为有重要影响,特别对于难解优化问题的求解算法尤是如此。寻找启发式算法性能优化的参数配置通常需要耗费相当大的开销。在多数情况下,参数配置都是以繁琐复杂的手工操作进行,对于配置人员的素质要求极高,因此自动化参数配置研究具有重要的实用意义。不仅如此,算法自动配置还有如下优点,它能够减少开发时间和人为的主动干预;能够为算法设计提供更加有力的技术支持;能够利用计算能力探索算法设计空间;能够为更高层次的任务释放人类的创造力;能够为算法设计者在设计程序时提供帮助。配置复杂算法参数是一个高度劳动密集型的工作,消耗整体开发时间的很大一部分。使用算法自动配置方法可以显著节省时间,甚至得到潜在的更好结果。在比较启发式算法性能时的核心问题是:如何使算法在本质上更胜一筹,该算法的成功原因是开发人员更成功地优化了其参数。算法的自动配置方法可以减轻不公平比较这个问题,从而促进更有意义的比较研究。复杂启发式算法求解困难实例的能力往往取决于参数的合适配置。而用户往往很少了解有关于算法参数配置对其性能的影响,因此简单地使用默认配置。即使算法已经经过标准的基准组精心优化,默认配置可能不是遇到的特定问题的实例的最佳配置,算法也就不能呈现最佳性能。算法的自动配置方法可以以一种根本性的便捷的方式改善算法性能。本文首先介绍了算法配置,算法配置问题的定义和相关概念,接下来又介绍了解决算法配置问题的一些方法,主要进行了两个方面的研究:(1)深入研究了目前流行的并有重要影响的算法自动配置参数的软件irace。使用irace软件为acotsp程序自动的配置参数,通过对参数在不同的配置下得到的结果进行细致的分析,相互比较,使得我们对算法自动配置有了更深一步的理解。(2)基于流行的ParamlLS算法配置框架,进行了约束求解器级别的算法自动配置的尝试,实验结果表明,约束求解器级别的算法自动配置对于约束求解效率提升明显。当然,约束求解算法以及约束求解器的自动配置还处于一个比较初级的水平,未来希望能对于约束求解算法进行更为深入的研究,从算法自动配置的角度为研究高效约束求解算法提供一种可能。
其他文献
在如今大数据时代,门限效应数据存在于在金融、经济、心理学、生物学、计算机等各个领域。通常对于门限数据的回归分析方法是使用门限最小二乘回归。但是,基于均值的最小二乘
作为一类特殊的混杂系统,切换系统因其广泛的工程应用场景和独特的动力学行为,成为了控制领域的研究热点。切换系统通常由一簇子系统以及协调这些子系统之间切换的切换律组成。区别于一般的时变系统,切换系统因受切换行为影响,其微分/差分方程的解由系统的初始条件和切换律共同决定,这使得切换系统的研究更为复杂。平均驻留时间(Average dwell time,ADT)切换是一种十分灵活有效的切换策略,常被应用于
创造性的问题解决通常伴随着直觉、酝酿和顿悟的现象,当问题最终解决后再回头分析解决出问题的整个过程时,却常常让人难以捉摸。也许在这个过程中,无意识加工在其中起到的作
本论文着重研究一种典型的网页结构化信息,即网页排行榜列表的自动抓取算法。相比于其他的互联网结构化信息(比如网页表格),排行榜列表所包含的信息往往更多,种类更丰富且质
近几年来,NoSQL数据库发展势头非常迅猛,其数据结构简单、海量数据处理以及数据库高可扩展高可用等优点很受各大公司的欢迎。但是NoSQL由于缺乏对事务管理机制的支持,在强一
刑事诉讼方面的被告人答辩制度长期以来在立法上一直处于空白的状态。该制度的缺失,容易导致法官在看完案卷材料后先入为主地对被告人产生片面的主观印象,当法官对被告人处于一种主观偏见的时候,不公正的审判结果也极易随之产生。为了防范这种情况的出现,庭前的交流和沟通对于被告人与法官而言是必不可少的。另外,现行认罪认罚从宽制度框架下速裁程序的高效施行,对于如何解决基层法院案多人少的问题、实现庭前案件繁简分流提出
ION是Android系统实现的一种通用内存管理器。它为多媒体应用程序提供了统一的内存分配接口,解决了不同Android设备中内存管理界面的不一致问题。IOMMU(Input/Output Memory
网络化控制系统(Networked Control Systems,NCSs)是指用通信网络连接传感器、控制器、执行器以及其他系统元件的闭环控制系统。实际的网络化控制系统的通信资源通常是有限的,系统会出现丢包、时延、非线性以及量化误差等现象,这些现象的存在会影响系统的性能和稳定性,甚至产生故障。在实际的工程应用中,系统的性能和安全性极其重要,如果故障不能及时检测出来,会造成极大的损失,因此网络化控
我国对股票质押式回购交易风险已经形成了基本的法律体系,但是在控制风险方面还存在以下不足:对大股东股权质押行为缺乏法律限制;股票质押式回购交易的信息披露制度不健全;对
死刑案件的和解是关系死刑适用、罪行法定等原则的重要问题,尤其是死刑立即执行的案件往往是人民群众最为关心、社会影响极大的案件。这类案件的“和解”不仅关系到舆论还关