×
大卫·伯格曼;胡克，J.N。

来自所有不同系统的图着色不等式。 （英文） Zbl 1316.90056号

约束条件 19，第4号，404-433（2014）.
摘要：我们探索了从问题的有限域约束规划公式中获得0-1模型的有效不等式的想法。特别地，我们将图着色问题描述为一个具有所有不同约束的系统。通过分析所有不同系统的多面体结构，我们得到了可映射到问题的经典0-1模型中有效割集的面定义不等式。我们将重点放在与循环和腹板相对应的切割上，并表明它们比这些结构的已知切割更强。我们还确定了道路切割，并表明它们不会加强边界。一组基准实例的计算实验表明，有限域循环切割通常比经典的0-1切割在更短的时间内提供更严格的边界。

引用于6文件

MSC公司：

90立方厘米 涉及图形或网络的编程
05C15号 图和超图的着色

关键词：

图着色;有限域变量;面定义不等式
PDF格式BibTeX公司 XML格式引用
\textit{D.Bergman}和\textit{J.N.Hooker}，约束19，第4期，404--433（2014；Zbl 1316.90056）
全文： 内政部

参考文献：

[1] Appa，G.、Magos，D.、Mourtos，I.（2004）。多个完全不同的谓词的线性规划松弛。J.C.Régin，M.Rueher（Eds.），《组合优化问题约束规划中人工智能和或技术的集成》（CPAIOR 2004）。计算机科学讲义（第3011卷，第364-369页）。斯普林格·Zbl 1094.90573号
[2] Appa，G.、Magos，D.、Mourtos，I.（2004）。关于两个完全不同的谓词系统。信息处理信件，94，99-105·Zbl 1182.68141号 ·doi:10.1016/j.ipl.2005.01.009
[3] Bergman，D.和Hooker，J.N.（2012年）。从所有不同的系统中绘制着色面。N.Jussien，T.Petit（Eds.），《人工智能与运筹学技术在组合优化问题约束规划中的集成国际研讨会论文集》。主持人：施普林格（即将亮相）·Zbl 1316.90056号
[4] Coll，P.、Marenco，J.、Méndez-Díaz，I.、Zabala，P.（2002）。图着色多边形的面。《运筹学年鉴》，11679-90·Zbl 1013.90097号 ·doi:10.1023/A:1021315911306
[5] Genç-Kaya，L.，&Hooker，J.N.（2010年）。电路多面体。卡内基梅隆大学手稿·Zbl 1211.05131号
[6] Ghouila-Houri，A.（1962年）。矩阵求和单模块化。巴黎科学院，2541192-1194·Zbl 0114.25102号
[7] 胡克，J.N.（2000）。基于逻辑的优化方法：结合优化和约束满足。纽约：威利·兹比尔0974.90001
[8] 胡克，J.N.（2012）。综合优化方法，第2版。斯普林格·Zbl 1263.90002号
[9] Kruk，S.和Toma，S.（2009年）。在多个不同谓词的系统上。国会数学家，197，47-64·Zbl 1211.05131号
[10] Kruk，S.和Toma，S.（2010年）。在多重全然不同约束的方面。国会数学家，204，5-32·Zbl 1222.90034号
[11] Magos，D.和Mourtos，I.（2011年）。所有不同系统的面部结构。SIAM离散数学杂志，25（1），130-158·Zbl 1229.90099号 ·doi:10.1137/090780298
[12] Magos，D.，Mourtos，I.，Appa，G.（2012年）。对所有不同系统的多面体方法。数学编程，132209-260·Zbl 1257.90055号 ·doi:10.1007/s10107-010-0390-6
[13] Méndez-Díaz，I.和Zabala，P.（2001）。图着色的多面体方法。离散数学电子笔记，7178-181·Zbl 0981.05040号 ·doi:10.1016/S1571-0653（04）00254-9
[14] Méndez-Díaz，I.和Zabala，P.（2008）。图着色的割平面算法。离散应用数学，156159-179·Zbl 1163.90012号 ·doi:10.1016/j.dam.2006.07.010
[15] Nemhauser，G.L.和Wolsey，L.A.（1999年）。整数和组合优化。纽约：威利·Zbl 0944.90001号
[16] Palubeckis，G.（2008年）。关于图的着色多边形。信息技术与控制，37，7-11。
[17] Williams，H.P.和Yan，H.（2001）。整数规划中约束满足的所有不同谓词的表示。信息计算杂志，13，96-103·Zbl 1238.90103号 ·doi:10.1287/ijoc.13.2.96.10515
[18] Yan，H.和Hooker，J.N.（1995年）。将逻辑约束严格表示为基数规则。数学编程，85，363-377·Zbl 0954.90043号 ·doi:10.1007/s101070050061
[19] Yunes，T.H.（2002年）。关于和约束：松弛和应用。在P.Van Hentenryck（Ed.）《约束编程的原理和实践》（CP 2002）中。计算机科学课堂讲稿（第2470卷，第80-92页）。斯普林格。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。