×

结合弧一致性和对偶拉格朗日松弛来过滤CSP。 (英语) Zbl 1133.90405号

Barták,Roman(ed.)等人,组合优化问题约束编程中人工智能和OR技术的集成。;2005年5月31日至6月1日在捷克共和国布拉格举行的2005年CPAIOR第二届国际会议。提交诉讼。柏林:施普林格出版社(ISBN 978-3-540-26152-0/pbk)。计算机科学课堂讲稿3524258-272(2005)。
摘要:本文提出了一种结合电弧一致性和对偶拉格朗日松弛技术的CSPs滤波方法。首先,我们将约束满足问题建模为0/1线性整数规划(IP);然后,将一个值的一致性定义为一个优化问题,在该问题上定义了对偶拉格朗日松弛。求解对偶拉格朗日松弛时,可能会检测到值不一致(对偶拉格朗日不一致值);这种不一致性的约束传播可以通过arc-consistency来执行。在使CSP电弧一致后,该过程迭代地选择可能是对偶拉格朗日不一致的变量值。对随机生成的问题进行的计算实验表明,结合弧一致性和对偶拉格朗日松弛的混合滤波技术具有优势。
关于整个系列,请参见[Zbl 1131.68003号].

MSC公司:

90立方厘米 涉及图形或网络的编程
90C27型 组合优化
PDF格式BibTeX公司 XML格式引用
全文: 内政部