Khemmoudj、Mohand Ou Idir;哈基米·本纳西尔;阿纳斯·纳吉 结合弧一致性和对偶拉格朗日松弛来过滤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格式引用 \textit{M.O.I.Khemmoudj}等人,Lect。注释计算。科学。3524258--272(2005;Zbl 1133.90405) 全文: 内政部