范霍夫，威廉·扬 软alldifferent约束的超圆弧一致性算法。 （英语） Zbl 1152.68595号 Wallace，Mark（编辑），约束编程的原理和实践–CP 2004。2004年9月27日至10月1日在加拿大多伦多举行的第十届国际会议，CP 2004。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-23241-4/pbk）。计算机科学课堂讲稿3258679-689（2004）。 摘要：本文提出了一种实现软全差约束超圆弧一致性的算法。为此，我们证明并利用了与最小费用流问题的等价性。约束的一致性可以在\（O（nm）\）时间内进行检查，超弧一致性在\（0（m）\）时实现，其中\（n）是涉及的变量数，\（m）是域的基数之和。它改进了以前无法确保超圆弧一致性的方法。关于整个系列，请参见[Zbl 1139.68008号]. 引用于6文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 65年第68季度 算法和问题复杂性分析 PDF格式BibTeX公司 XML格式引用 \textit{W.J.van Hoeve}，莱克特。注释计算。科学。3258、679--689（2004年；Zbl 1152.68595） 全文： DOI程序