求解存在$\texttt{alldifferent}$的有限域线性约束
Solving finite-domain linear constraints in presence of the $\texttt{alldifferent}$
摘要：
本文研究了约束满足问题中广泛使用的线性约束过滤算法在各种约束条件下改进的可能性。在许多情况下，线性约束中的变量也受到一些不同约束的约束，这一事实可能有助于我们计算变量的更强边界，从而导致更强的约束传播。我们提出了一种改进的过滤算法，针对这种情况。我们提供了一个详细的描述所提出的算法，并证明其正确性。我们评估的方法上五个不同的问题，涉及线性和alldifferent约束的组合。我们还比较了我们的算法与其他相关的方法。实验结果表明，所提出的改进的潜力很大。
英文摘要：
In this paper, we investigate the possibility of improvement of the widely-used filtering algorithm for the linear constraints in constraint satisfaction problems in the presence of the alldifferent constraints. In many cases, the fact that the variables in a linear constraint are also constrained by some alldifferent constraints may help us to calculate stronger bounds of the variables, leading to a stronger constraint propagation. We propose an improved filtering algorithm that targets such cases. We provide a detailed description of the proposed algorithm and prove its correctness. We evaluate the approach on five different problems that involve combinations of the linear and the alldifferent constraints. We also compare our algorithm to other relevant approaches. The experimental results show a great potential of the proposed improvement.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
