Scifaro

中文

针对软全异约束的超弧一致性算法

编程语言 2007-05-23 v1

作者: Willem Jan van Hoeve

在 arXiv 上查看 ↗ PDF ↗

摘要

本文提出了一种针对软全异约束实现超弧一致性的算法。为此，我们证明并利用了其与最小费用流问题的等价性。该约束的一致性可在 $O(nm)$ 时间内检验，而超弧一致性可在 $O(m)$ 时间内实现，其中 $n$ 为所涉变量数， $m$ 为域基数之和。它改进了先前未能保证超弧一致性的方法。

关键词

超弧一致性软全异约束最小费用流约束规划

引用

@article{arxiv.cs/0407043,
  title  = {A Hyper-Arc Consistency Algorithm for the Soft Alldifferent Constraint},
  author = {Willem Jan van Hoeve},
  journal= {arXiv preprint arXiv:cs/0407043},
  year   = {2007}
}

备注

11 pages, 1 figure