排序:
默认
按更新时间
按访问量

Backtracking search algorithms框架

 

2018-12-08 11:12:15

阅读数:9

评论数:0

4.10 Comparing Backtracking Algorithms

正如这项调查所表明的,回溯的许多改进已经被提出,而且有很多方法可以将这些技术结合到一个算法中。在本节中,我对回溯算法的性能进行了比较研究。本研究分为实证研究和理论研究两大类。这两种方法都有众所周知的优点和缺点。经验比较允许使用任何一对回溯算法,但是关于哪种算法更好的任何结论总是很弱,因为它必须由短...

2018-12-07 21:58:19

阅读数:839

评论数:0

4.9 Optimization

在一些重要的约束规划应用领域,如调度、排序、规划等,出现了csp, csp除了必须满足的约束外,还有一个必须优化的目标函数f。在不丧失通用性的前提下,我假定下面的目标是找到一个最小化f的解,并且f是CSP所有变量的函数。我还假设在CSP模型中添加了一个变量c,并且约束为等于目标函数;即c = f(...

2018-12-06 11:25:01

阅读数:8

评论数:0

4.8 Best-First Search最佳优先搜索

在由回溯算法遍历的搜索树中,假设节点的分支按照值排序启发式排序,最左边的分支最有希望(或者至少不比右边的任何分支更没有希望)。然后回溯算法对搜索树进行深度优先遍历,按从左到右的顺序访问节点的分支。当CSP实例不能满足要求,必须遍历整个搜索树时,深度优先搜索显然是最佳选择。然而,当已知或可以安全地假...

2018-12-06 11:14:54

阅读数:10

评论数:0

4.7 Randomization and Restart Strategies

回溯算法在某些情况下是脆弱的,这一点已被广泛观察到。对一个变量或值排序启发式的看似很小的更改,例如打破连接方案的排序的更改,可能会导致运行时间上的巨大差异。对于这种现象的一种解释是,排序启发式会出错。根据错误的数量以及错误在搜索过程中出现的时间(因此需要付出多大的代价才能纠正错误),不同的启发式之...

2018-12-05 21:27:05

阅读数:10

评论数:0

4.6 Heuristics for Backtracking Algorithms回溯算法的启发式

当使用回溯搜索解决CSP时,必须对要分支或实例化的变量以及要给该变量的值做出一系列决策。这些决策称为变量和值排序。已有研究表明,对于许多问题,变量的选择和值的排序对于有效解决问题是至关重要的(如[5,50,55,63])。 变量或值排序可以是静态的(排序在搜索之前是固定的并确定),也可以是动态的...

2018-12-05 11:29:28

阅读数:10

评论数:0

4.5 Non-Chronological Backtracking非时间顺序回溯

在发现死端后,回溯算法必须撤销先前发布的一些分支约束。在回溯的标准形式中,称为时间回溯,只有最近发布的分支约束才会被撤销。然而,按时间顺序回溯可能无法解决僵局的原因。在非时间回溯中,该算法回溯并撤销了与之关系最紧密的分支约束,该分支约束对死端负有一定的责任。在Gaschnig[48]之后,我将此过...

2018-12-04 18:03:57

阅读数:7

评论数:0

4.4 Nogood Recording

要提高CSP上回溯搜索的性能,最有效的技术之一是添加隐含约束。如果CSP的一组解在有约束和没有约束的情况下是相同的,那么就隐含了一个约束。将“正确的”隐含约束添加到CSP可以意味着从搜索树中删除许多死端,并且在更少的搜索工作之后发现其他死端。 研究了添加隐含约束的三种主要技术。一种技术是在建模阶...

2018-12-04 16:39:10

阅读数:14

评论数:0

4.3 Constraint Propagation

改进csp回溯算法性能的一个基本观点是,局部不一致会导致大量的抖动或无效率的搜索[47,89]。局部不一致性是某些变量的实例化,这些变量满足相关约束,但不能扩展到一个或多个额外变量,因此不能成为任何解决方案的一部分。(局部不一致不是好事;参见4.4节)。如果我们使用回溯搜索来寻找解决方案,这种不一...

2018-12-04 09:34:19

阅读数:4

评论数:0

4.2 Branching Strategies

在朴素回溯算法(BT)中,搜索树中的节点p = {x1 = a1,...,xj = aj}是一组赋值,并且通过选择变量x并将分支添加到a来扩展p。 新节点p∪{x = a},对于每个a∈dom(x)。赋值x = a据说是沿分支发布的。 随着搜索在树中更深入地进行,附加的分配被发布,并且在回溯时,分...

2018-12-03 17:29:04

阅读数:7

评论数:0

Chapter 4 Backtracking Search Algorithms

求解约束满足问题的算法技术主要有三种:回溯搜索、局部搜索和动态规划。本章主要研究回溯搜索算法。基于动态规划[15]的算法——有时在文献中称为变量消除、综合或推理算法——是第7章的主题。局部或随机搜索算法是第五章的主题。 约束满足问题的求解算法可以是完全的,也可以是不完全的。完整的,或系统的算法,...

2018-12-03 16:44:03

阅读数:5

评论数:0

弧一致性Arc consistency算法(AC3, AC4, AC6, AC2001)整理

AC3:再判断一致性时,会对前面已判断过的再次判断 AC4:改进AC3,在初始化时会存储所有判断,在移除值后,不用进行constraint check,只需traversal S lists和update counter。在不牵扯约束具体内容的情况下,已经具有最优的最差时间复杂度 AC5:将约...

2018-12-03 14:03:38

阅读数:3

评论数:0

Constraint propagation and arc consistency (约束传播与弧一致性算法)框架

2018-12-03 11:15:59

阅读数:5

评论数:0

3.8 Specific Constraints具体的约束

在前几节中,我以一种通用的方式介绍了约束传播和局部一致性,但没有说明当我们对约束的语义有一些特定信息时应该做什么。在本节中,我将开发一些可用的技术来考虑约束语义。 3.8.1 Specific Propagators in Solvers 求解器中的特定传播器 所有的约束求解器都将特定的传播算法...

2018-12-02 21:04:23

阅读数:8

评论数:0

3.7 Constraint Propagation as Iteration of Reduction Rules

局部一致性是一种正式定义我们希望网络保证的一致性数量的方法,因此,执行这种一致性级别的算法将决定生成哪个网络。但是没有提到算法是如何执行的。规则迭代在另一方面解决了这个问题。约简规则指定在哪些条件下以及在哪些约束条件下执行筛选操作。只有当约简规则及其应用方式具有一些良好的性质时,网络生成的结果才能...

2018-12-02 18:03:13

阅读数:8

评论数:0

3.6 Domain-Based Consistencies Weaker than AC

弧一致性并不是我们可以在网络上定义的最弱的一致性。 80年代和90年代的工作人员已经开始进行工作,以确定应该通过回溯搜索程序执行的过滤数量。 那时,即使研究主要是对二元约束感兴趣,但传统观点认为AC太昂贵而无法维持。 结果,提出了几个比AC弱的性质。 必须根据约束来检查这些属性对于变量的时间一致性...

2018-12-01 21:47:34

阅读数:10

评论数:0

3.5 Domain-Based Consistencies Stronger than AC

存在局部一致性,允许修剪比弧一致性更多的值,同时保持约束不变(与基于约束的k-一致性和一致性所做的相反 - 参见第3.4节)。 我提出的第一个是我们可以应用于变量三元组的不同推理。 其他涉及变量的整个邻域或在单个赋值变量后检查整个网络的局部一致性。 3.5.1 Triangle-Based Lo...

2018-12-01 16:22:30

阅读数:7

评论数:0

3.4 Higher Order Consistencies

在3.3节中,我们已经看到,弧度一致性是收紧网络的最自然的技术,受到了社区的高度关注。 尽管如此,这并不是收紧网络的唯一方法,早在70年代,一些作者提出的技术发现了比弧度一致性更多的不一致性。 3.4.1 Path Consistency  Montanari提出路径一致性是binary no...

2018-11-30 22:03:51

阅读数:3

评论数:0

3.3.2 Arc Consistency Algorithms

提出用于强制执行弧一致性的有效算法一直被认为是约束推理社区的核心问题。 第一个原因是弧一致性是可能在所有求解器中使用的基本传播机制。 第二个原因是,允许提高电弧一致性效率的新思想通常可以应用于实现其他局部一致性的算法。 这就是为什么我花了一些时间来介绍已经引入的主要算法,因为我们知道所涉及的技术可...

2018-11-29 22:59:38

阅读数:667

评论数:0

3.3.1 Complexity of Arc Consistency

弧一致性是传播约束的最古老和最着名的方式。 这确实是一个非常简单和自然的概念,它保证域中的每个值都与每个约束一致。 REF-ARF [51]可能是第一个将特征看起来类似于弧一致性的系统之一(即使非正式描述不能确定等效性)。 在Waltz [124]和Gaschnig [61]的论文中,由于提出了...

2018-11-29 14:13:05

阅读数:6

评论数:0

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