首页/论文/cs/0105015

arXiv cs/01050152001-05-08cs.PLcs.AI

差异约束研究综述

The alldifferent Constraint: A Survey

W. J. van Hoeve

备注：: 12 pages, 3 figures, paper accepted at the 6th Annual workshop of the ERCIM Working Group on Constraints

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

自Lauriere在1978年引入Alice以来，差异约束就为约束编程社区所知。从那时起，已经设计了几种解决策略，这个约束。在本文中，我们给出了一个实际的概述和抽象的比较，这些不同的策略。

英文摘要：

The constraint of difference is known to the constraint programming community since Lauriere introduced Alice in 1978. Since then, several solving strategies have been designed for this constraint. In this paper we give both a practical overview and an abstract comparison of these different strategies.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

提高AllDifferent约束满足算法效率

Improving Constraint Satisfaction Algorithm Efficiency for the AllDifferent Constraint

研究了组合问题的约束满足问题。它示出的例子，任何算法设计的原始CSP，并涉及AllDifferent约束，具有至少相同的水平的功效时，同时适用于原始和其互补的问题。介绍了将CSP问题转化为互补问题的一对一映射方法，互补问题也是CSP问题。介绍了这种“双CSP”方法及其应用。几个随机问题的实例分析表明，这种方法的好处，减少变域相比，标准的CSP方法。除了AllDifferent之外的额外约束的扩展，以及混合算法的使用，被提出作为这种双CSP方法的候选者。

2020-12-13cs.AI

机器学习在约束求解器设计中的应用--以全异约束为例

Machine learning for constraint solver design -- A case study for the alldifferent constraint

University of St Andrews（圣安德鲁斯大学）

约束求解器是一个复杂的软件，它需要实现者根据有限的信息做出许多设计决策。这些决策会显著影响最终求解器的性能。设计决策一旦做出，就不容易逆转，尽管不同的决策可能更适合特定的问题。我们研究使用机器学习来根据要解决的问题自动做出这些决策。我们使用alldifferent约束作为案例研究。我们的系统是能够作出非平凡的，多层次的决策，改善总是作出默认的选择，并可以实现为一个通用的约束求解器的一部分。

2010-08-25cs.AI

求解存在$\texttt{alldifferent}$的有限域线性约束

Solving finite-domain linear constraints in presence of the $\texttt{alldifferent}$

University of Belgrade（贝尔格莱德大学）

本文研究了约束满足问题中广泛使用的线性约束过滤算法在各种约束条件下改进的可能性。在许多情况下，线性约束中的变量也受到一些不同约束的约束，这一事实可能有助于我们计算变量的更强边界，从而导致更强的约束传播。我们提出了一种改进的过滤算法，针对这种情况。我们提供了一个详细的描述所提出的算法，并证明其正确性。我们评估的方法上五个不同的问题，涉及线性和alldifferent约束的组合。我们还比较了我们的算法与其他相关的方法。实验结果表明，所提出的改进的潜力很大。

2016-09-02cs.AIcs.LO

动态全局约束：第一个视图

Dynamic Global Constraints: A First View

全局约束被证明是一个有效的工具，用于建模和解决大规模的现实生活中的组合问题。它们封装了一组二进制约束，并使用全局推理这一组，他们过滤所涉及的变量的域比弧一致性之间的一组二进制约束。此外，全局约束利用语义信息，实现更有效的过滤比广义一致性算法的n元约束。随着约束规划（CP）应用领域的不断扩展，对全局约束的设计提出了新的挑战。特别是，应用CP先进的计划与调度（APS），需要动态添加新的变量和约束的过程中的约束满足，因此，这将是有益的，如果全局约束可以采用新的变量。在本文中，我们给出了这样的动态全局约束的动机，我们描述了一个动态版本的著名alldifferent约束。

2001-09-18cs.AIcs.PL

软差异约束的超弧一致性算法

A Hyper-Arc Consistency Algorithm for the Soft Alldifferent Constraint

本文提出了一种实现软全异约束超弧一致性的算法.为此，我们证明和利用等价的最小成本流问题。约束的一致性可以在O（nm）时间内检查，超弧一致性在O（m）时间内实现，其中n是涉及的变量的数量，m是域的基数之和。它改进了以前不能保证超弧一致性的方法。

2004-07-16cs.PL

使用机器学习做出约束求解器实施决策

Using machine learning to make constraint solver implementation decisions

University of St Andrews（圣安德鲁斯大学）

解决所谓的约束问题的程序是复杂的软件，它要求实现者或多或少地任意做出许多设计决策。这些决策会显著影响最终求解器的性能。设计决策一旦做出，就不容易逆转，尽管不同的决策可能更适合特定的问题。我们研究使用机器学习，使这些决策自动取决于问题的解决与alldifferent约束为例。我们的系统能够做出重要的、多层次的决策，这些决策比总是做出默认选择要好。

2010-05-19cs.AI

更多相关论文收起更多论文

数独中的组合探索

Combinatorial Explorations in Su-Doku

Su-Doku是一个流行的组合谜题，它为启发式探索提供了一个很好的测试平台。从它看似简单的一套规则中产生了几个有趣的问题。有多少个不同的数独网格？如何找到一个解决Su-Doku难题？是否有一个唯一的解决方案，以给定的数独难题？什么是一个好的估计一个难题的难度？最小的谜题尺寸是多少（“givens”的数量）？本文探讨了这些问题是如何与众所周知的alldifferent约束，出现在各种各样的约束满足问题（CSP），并比较各种算法的基础上不同配方的苏独。

2008-03-29cs.AIcs.CC

利用约束规划与量子退火优化含维护的机车车辆排班计划

Optimising Rolling Stock Planning including Maintenance with Constraint Programming and Quantum Annealing

DB Systel GmbH（德国铁路系统有限公司）；Fraunhofer FOKUS（弗劳恩霍夫开放通信系统研究所）

本文针对含维护任务的机车车辆排班优化问题，分别提出约束规划（CP）和基于QUBO的量子退火（QA）方法，并在德国铁路真实数据与D-Wave量子计算机上验证，发现当前阶段两者结果相当。

2023-09-25cs.AIq-fin.ST

加权约束满足中基于流的投影安全全局代价函数的一致性技术

Consistency Techniques for Flow-Based Projection-Safe Global Cost Functions in Weighted Constraint Satisfaction

The Chinese University of Hong Kong（香港中文大学）

许多组合问题处理偏好和违规，其目标是找到最小成本的解决方案。加权约束满足是一个框架建模这样的问题，它包括一组成本函数来衡量违反的程度或偏好的不同组合的变量分配。加权约束满足问题（WCSP）的典型求解方法是基于分支定界搜索的，该方法通过使用AC *、FDAC *、EDAC * 等强大的一致性技术来推导隐藏的代价信息并在搜索过程中进行值修剪，从而使其实用化。然而，这些技术被设计成仅在以表格形式表示的二进制和三进制成本函数上是有效的。在处理许多现实生活中的问题时，需要高元（或全局）成本函数。我们调查有效的表示方案和算法带来的好处的一致性技术，也高arity成本函数，这往往是来自硬全球约束从经典的约束满足。文献中提出一些全局费用函数可以表示为流网络，最小费用流算法可以在多项式时间内计算这种网络的最小费用。我们表明，天真地采用这种基于流的算法方法的全局成本函数可以导致更强形式的零逆一致性。我们进一步展示了如何修改该方法来处理成本预测和扩展，以保持广义版本的AC * 和FDAC * 的成本函数超过两个变量。对于更强的EDAC *，类似的推广不那么简单。我们揭示了在共享多个变量的成本函数上实施EDAC * 时的振荡问题。为了避免振荡，我们提出了一个弱版本的EDAC * 和推广到弱EDGAC * 的非二进制成本函数。使用各种基准测试，涉及软变量的硬全局约束ALLDIFFERENT，GCC，EQUI…

2014-01-18cs.AIcs.DS

随着时间的推移：约束处理规则--1998 - 2007年CHR研究综述

As time goes by: Constraint Handling Rules - A survey of CHR research from 1998 to 2007

约束处理规则（Constraint Handling Rules，简写为程序设计语言）是一种基于多头多集重写规则的高级程序设计语言。最初是为编写用户定义的约束求解器而设计的，现在它被认为是一种优雅的通用语言。与CHR相关的研究在Fruehlynth上次调查后的十年中激增。这项新的调查涵盖了180多个出版物，概述了从语义和分析到系统、扩展和应用等广泛研究领域的最新成果。

2009-06-25cs.PL

约束处理规则中的并行性、并发性和分布性

Parallelism, Concurrency and Distribution in Constraint Handling Rules: A Survey

约束处理规则是一种有效的并发声明式程序设计语言，也是一种通用的计算逻辑形式。可编程逻辑程序由转换多组约束的保护反应规则组成。XML的主要特性之一是其固有的并发性。直观地说，规则可以并行地应用于多重集的各个部分。在这个全面的调查中，我们给出了并发和并行以及分布式语义的概述，标准的和更奇特的，多年来已经提出了在不同层次的细化。这些语义的范围从抽象到具体。它们是由正式的健全性结果。它们的正确性建立在并行计算和顺序计算之间的对应关系上。我们提出了共同的简洁的示例编程，已被广泛用于实验和基准测试。我们审查并行可编程逻辑器件在软件和硬件中的实现。实验结果表明，一致的并行加速比。大多数实现都可以在线获得。并行形式主义也可以用来实现和推理并发模型。为此，软件事务模型，Actor模型，有色Petri网和Join-Calculus已经忠实地编码在CHR中。在逻辑编程理论与实践（TPLP）中考虑。

2018-04-06cs.DCcs.PL