2018年10月_达小七

翻译 2.2.5 Analysts & 2.3 Conclusions

2.2.5 Analysts虽然早期认识到解决CSP通常是NP难的，但是各种分析技术被用来评估，预测或比较算法性能并将问题复杂性与问题结构联系起来。特别是，需要权衡以避免搜索所需的努力，例如，通过进行更智能的控制或进行更多的推理，以及减少搜索工作量。Knuth [46]和Purdom [63]使用探测技术来估计回溯程序的效率。 Haralick和Elliott进行了统计分析[35]，由...

2018-10-20 22:31:41 127

翻译 2.2.4 Search: Backtracking

2.2.4 Search: BacktrackingBacktrack是约束满足问题的基本“完整”搜索方法，在某种意义上保证找到解决方案（如果存在的话）。即使在1965年，Golomb和Baumert在一篇名为“Backtrack编程”[34]的JACM论文中，也能够观察到该方法已被多次独立“发现”。 Golomb和Baumert认为他们的论文是“完全普遍性地制定回溯编程的范围和方法的第一次尝试...

2018-10-20 22:19:30 367

翻译 2.2 The Constraint Satisfaction Problem: Representation and Reasoning

2.2 The Constraint Satisfaction Problem: Representation and Reasoning在这里，我们考虑约束满足问题的表示，算法用于解决它们的各种推理以及这些解决方法的分析。2.2.1 representation经典的CSP范例既可以是针对特定领域的，也可以通过各种重要方式进行推广（通用的）。一个重要的专业化考虑了域和约束的扩展性/内...

2018-10-20 21:41:36 1002

原创 CONSTRAINTS部分论文

1、Fast, flexible MUS enumeration快速，灵活的MUS枚举枚举不可行约束系统的最小不可满足子集（MUS）的问题具有挑战性，这首先是由于计算甚至单个MUS的复杂性，其次是实例可能包含的潜在难以处理的MUS数量。面对后一个问题，当完全枚举不可行时，MUS的部分枚举可能是有价值的，理想情况是每个MUS输出的时间成本不大于提取单个MUS所需的时间成本。最近，两篇论文独立地提...

2018-10-20 18:32:49 247

翻译 Chapter 2 Constraint Satisfaction: An Emerging Paradigm

本章重点论述了在1965年至1985年期间，作为人工智能和计算机科学领域新范式的约束语言，包含语言的满意度。本手册的其余部分将更详细地介绍这里介绍的大部分内容，当然还有1986年至2006年。2.1 The early days约束满足以其基本形式涉及为一组问题变量中的每一个找到一个值，其中约束指定某些值的子集不能一起使用。作为约束满足的一个简单例子，考虑选择组件部分的任务，这些组件可...

2018-10-20 18:05:03 279

翻译 CP基础知识1.introduction

1、introduction2、Constraint Satisfaction: An Emerging Paradigm（约束满足：一种新兴的范式）3、Constraint Propagation（约束传播）4、Backtracking Search Algorithms（回溯搜索算法）5、Local Search Methods（本地搜索方法）6、Global Constr...

2018-10-16 10:59:48 893 2

达达的博客