handbook of CP 10.6/7/8/9 翻译

10.6 Combinations of Symmetry Breaking Methods 我们已经描述了各种对称破缺方法,每种方法都有优点和缺点。 将两种或更多种方法结合起来以获得所有优点显然是个好主意。 不幸的是,正确组合对称破坏方法已被证明是非常困难的。 对称破坏方法试图从每个等价类中保...

2019-03-19 23:23:16

阅读数 3

评论数 0

10.10 Conclusions 翻译

我们已经介绍了约束规划中的对称性。 我们在强调与群体理论的联系方面毫不羞愧。 对称性的研究是群论,所以任何曾经考虑过约束对称性的人都在考虑群论 - 尽管可能没有意识到。 我们还强调了计算群理论为约束中对称性的有效利用提供方法的能力。 约束编程的研究人员和用户可以通过链接到现有的计算代数包或通过实现...

2019-03-11 10:34:17

阅读数 3

评论数 0

handbook of CP 10.5 Dynamic Symmetry Breaking Methods 翻译

动态对称破坏方法是在搜索过程中破坏对称性的方法。 SBDD和SBDS是本节中描述的两种方法。 在这两种方法中,对称性作用于变量/值对。 通过启发式破坏对称性包含在此类别中,因为尽管这些变量和值排序启发式算法在搜索开始之前已完全定义,但它们在搜索期间使用。 这些方法将在后续章节中概述。 Fig...

2019-03-10 11:32:06

阅读数 7

评论数 0

handbook of CP 10.4 Adding Constraints Before Search 翻译

毫无疑问,历史上最常用的对称性破坏方法涉及向基本模型添加约束。 在这种情况下,术语“对称性破坏”是完全合适的。 我们从一个具有大量对称性的问题转向一个新的问题,对称性大大降低 - 理想情况下根本没有。 我们为实现这一目标而添加的约束称为“对称破坏约束”。 约束程序员在识别约束问题中的对称性时,总...

2019-03-09 12:48:53

阅读数 6

评论数 0

handbook of CP 10.3 Reformulation 翻译

建模对问题的解决效率有很大的影响。适当地重新拟订一个模型可以把实际中不可行的问题变成可行的问题。建模和重新制定同样重要的对称性打破。同一问题的不同模型可以有不同的对称性;一种公式可能具有比另一种更容易处理的对称性。在极端情况下,一个公式可能根本不对称。在其他情况下,从一个模型到另一个模型的对称性可...

2019-03-08 14:11:34

阅读数 11

评论数 0

handbook of CP 10.2 Definitions 翻译

为了处理约束满足问题(CSP)中的对称性,似乎不言而喻,从业者必须首先理解对称性的含义。 这似乎并非如此:关于该主题的许多论文都没有提供对称性的精确定义。 提供定义的论文通常会给出彼此根本不同的论文,同时仍然在给定问题中识别相同的对称性并正确处理它们。有两种广泛的定义类型:将对称性定义为解集的属性...

2019-03-08 12:01:37

阅读数 2

评论数 0

Chapter 10 Symmetry in Constraint Programming & 10.1 Symmetries and Group Theory

约束中的对称性一直很重要,但近年来已成为一个主要的研究领域。 约束编程中的一个关键问题早已被认识到:搜索可以一遍又一遍地重新审视等效状态。 原则上,已经通过许多不同的技术解决了该问题。 在我们写作时,由于两个原因,研究仍然非常活跃。 首先,在对称排除已知的技术的实际应用中存在许多困难,并且克服这些...

2019-03-07 22:18:05

阅读数 8

评论数 0

An Increasing-Nogoods Global Constraint for Symmetry Breaking During Search 翻译(二)

因此,我们从开始检查剩余nogoods的LHS。 为了将剩余的increasing nogoods 的简化版本转换为简化形式,使用两个指针和来索引具有以下条件的3个列表。 指针用于根据条件(ii)找到由生成的最短nogood。 如果生成了新的nogood,则使用来检查是否存在可以根据定理7生成的...

2019-03-05 11:54:06

阅读数 24

评论数 0

An Increasing-Nogoods Global Constraint for Symmetry Breaking During Search 翻译(一)

abstract 搜索过程中的对称破缺(SBDS)在回溯时动态地增加了条件对称破缺约束conditional symmetry breaking constraints(这不是好事),以避免在对称等价的已访问搜索空间中进行探索。约束存储中存在大量这样的独立nogoods,这些独立nogoods在...

2019-03-04 16:23:52

阅读数 13

评论数 0

Semantic Learning for Lazy Clause Generation——lazy clause generator相关论文

  懒惰子句生成的语义学习 本文核心: 针对lazy clause generation中的冲突分析进行改进,用与SAT组件等效的语义推理方法代替它,从而从而减少SAT对高效单元传播的作用。 这使我们可以减少生成的文字数量,并加强冲突分析。试图避免为literals生成SAT表示,为此,...

2019-01-30 16:48:45

阅读数 22

评论数 0

Lazy clause generation reengineered——lazy clause generator相关论文

Lazy clause generation reengineered 本文创新点:原始的lazy clause generator是在SAT求解器中嵌入FD传播引擎,这里是在FD中嵌入SAT求解器作为传播器 原始优点:FD传播器被视为子句生成器,它为SAT求解器提供越来越多的问题描述。 混合...

2019-01-27 17:49:01

阅读数 41

评论数 0

Local Search Methods 框架

2019-01-12 01:01:01

阅读数 18

评论数 0

5.7 Frameworks and Toolkits for Local Search 局部搜索的框架和工具包 & 5.8 Conclusions and Outlook

5.7 Frameworks and Toolkits for Local Search 局部搜索的框架和工具包 软件框架和编程工具包极大地促进了求解约束满足和优化问题的局部搜索算法的开发及其实际应用。在处理概念上复杂的约束编程问题时尤其如此。这样的系统可以极大地减轻与实现SLS算法的有效实现相...

2019-01-06 16:16:41

阅读数 24

评论数 0

5.6 Local Search for Constraint Optimisation Problems 约束优化问题的局部搜索

现实生活中的许多问题都受到了过度的约束。例如,在生产计划应用程序中,可能没有足够的资源在其各自的截止日期内完成所有给定的作业。在这种情况下,最好能找到一种可行的资源分配办法,使产生的收入总额达到最大;这类优化问题称为最大效用问题( maximal utility problem )[104]。在其...

2019-01-06 11:47:04

阅读数 26

评论数 0

5.5 Other Approaches 局部搜索的其他方法

除了前面部分中介绍的算法之外,还在解决CSP的上下文中应用了许多其他本地搜索方法。 在本章的内容中,不可能对CSP的大量且不断增加的局部搜索算法和密切相关的问题进行全面的调查,例如图着色问题和SAT。 因此,选择下面提到的算法来说明一些主要方法。 有大量关于约束满足问题的进化算法的研究。最早的作...

2019-01-06 10:25:37

阅读数 22

评论数 0

5.4 Penalty-Based Local Search Algorithms基于惩罚的局部搜索算法

另一种扩展迭代改进策略的方法是,当搜索过程即将停滞在一个局部极小值时,修改该评估函数[71]。这种方法也称为动态本地搜索(Dynamic Local Search, DLS)[52]。 基于惩罚的算法通过惩罚权重来修改评估函数,惩罚权重与解决方案组件或候选解决方案的其他特征相关联;在CSP的情况...

2019-01-05 19:48:17

阅读数 34

评论数 0

5.3 Tabu Search and Related Algorithms Tabu搜索和相关算法

禁忌搜索(TS)[35,36]背后的关键思想是使用内存来防止搜索过程停滞在局部最小值,或者更一般地说,是给定搜索空间中有吸引力的非解决区域。 在简单禁忌搜索中,迭代改进策略通过短期记忆得到增强,允许它从局部最小值中逃脱。 该存储器用于防止搜索返回最近访问的搜索位置以进行固定数量的搜索步骤。 简单的...

2019-01-05 17:31:12

阅读数 54

评论数 0

5.2 Randomised Iterative Improvement Algorithms 随机迭代改进算法

迭代改进算法的主要限制源于它们陷入给定评估函数的局部最小值的事实。 处理此问题的一种简单方法是偶尔允许不改进的搜索步骤,即,从当前邻域中选择邻居s'∈N(s),其中g(s')≥g(s)。实现这种方法的机制有很多;其中许多使用了随机决策,以平衡不断恶化的搜索步骤的多样化效果和迭代改进提供的搜索强化效...

2019-01-03 22:13:40

阅读数 14

评论数 0

Chapter 5 Local Search Methods

局部搜索是解决复杂计算组合问题(包括约束满足问题(CSP))的基本范式之一。它为解决在许多实际应用程序中遇到的大型和困难的问题实例提供了一些最成功和最通用的方法。尽管在系统、完整的搜索算法方面取得了令人印象深刻的进展,但在许多情况下,局部搜索方法是解决这些大型复杂实例的唯一可行方法。本地搜索算法自...

2019-01-03 21:27:19

阅读数 29

评论数 0

论文Improving Combinatorial Optimization: Extended Abstract

整体来看,这篇论文是对作者在CP中不同方面做出贡献的总结,比较短,发表在AAAI上。 Abstract 组合优化是计算机科学的一个重要领域,具有许多理论和实际应用。 在论文[Chu,2011]中,我们对组合优化的几个不同领域做出了重要贡献,包括nogood学习,对称性破缺,支配,松弛和并行化 ...

2018-12-25 21:58:50

阅读数 13

评论数 0

提示
确定要删除当前文章?
取消 删除