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

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