×
埃曼纽尔·希伯拉德；乔治·卡特西雷洛斯

图着色的约束和可满足性推理。 （英语） Zbl 1490.68205号

J.阿蒂夫。智力。研究（JAIR） 69, 33-65 (2020).
摘要：图着色是组合优化中的一个重要问题，也是众多分配和调度问题的主要组成部分。
本文介绍了一种基于Zykov的加法压缩递归的CP/SAT混合图着色方法。决策对应于在两个不相邻的顶点之间添加边或收缩这两个顶点，从而分别实现不等式或相等。这个方案产生了一个无对称树，并通过不使用特定颜色使所学子句更强大。
我们基于Mycielskian图为这个问题引入了一个新的下界；生成此边界的子句解释的方法，用于CDCL算法；在Zykov树上模拟Br\'{}elaz'启发式的分支启发式；以及当单位传播学习子句时，依赖于边界的边际成本和传递性的推理的专用修剪技术。
这些技术在分支定界和自底向上搜索中的组合在寻找上界和证明下界的标准基准上都优于其他基于SAT的方法和Dsatur。

引用于1文件

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）
05C15号 图和超图的着色
68兰特 计算机科学中的图论（包括图形绘制）

关键词：

约束编程；可满足性

软件：

糠
PDF格式BibTeX公司 XML格式引用
\textit{E.Hebrard}和\textit{G.Katsirelos}，J.Artif。智力。研究（JAIR）69，33-65（2020；Zbl 1490.68205）
全文： 内政部

参考文献：

[1] Aardal，K.I.、Van Hoesel，S.P.、Koster，A.M.、Mannino，C.和Sassano，A.（2007）。频率分配问题的模型和求解技术。《运筹学年鉴》，153（1），79-129·Zbl 1157.90005号
[2] Abello，J.、Pardalos，P.和Resende，M.G.C.（1999）。外部内存算法。Abello，J.M.，&Vitter，J.S.（编辑），《外部记忆算法》，《超大图中的最大团问题》一章，第119-130页。美国数学学会，美国马萨诸塞州波士顿·Zbl 0947.68119号
[3] Bessiere，C.、Katsirelos，G.、Narodytska，N.和Walsh，T.（2009）。电路复杂性和全局约束的分解。2009年国际JCAI会议记录。
[4] Br´elaz，D.（1979年）。图形顶点着色的新方法。Commun公司。美国医学会，22（4），251-256·兹伯利0394.05022
[5] Chaitin，G.J.、Auslander，M.A.、Chandra，A.K.、Cock，J.、Hopkins，M.E.和Markstein，P.W.（1981）。通过coloring.Comput进行寄存器分配。兰格，6（1），47-57。
[6] 库克，S.A.（1971）。理论证明程序的复杂性。1971年5月3日至5日在美国俄亥俄州夏克高地举行的第三届ACM计算理论年会论文集，第151-158页·Zbl 0253.68020号
[7] Cornaz，D.和Jost，V.（2008）。着色和稳定集之间的一对一对应关系。《运营研究快报》，36（0），673-676·兹比尔1152.05327
[8] De Cat，B.、Denecker，M.、Bruynooghe，M.和Stuckey，P.（2015）。懒散的模型扩展：将基础与搜索交织在一起。《人工智能研究杂志》，52，235-286·Zbl 1323.68464号
[9] Eppstein，D.、L¨offler，M.和Strash，D.（2013年）。列出大型稀疏现实世界图中的所有最大团。ACM实验算法杂志，18（3.1-3.21）·Zbl 1365.05276号
[10] Frost，D.和Dechter，R.（1995）。约束满足问题的Look-ahead值排序。《第十四届国际人工智能联合会议记录》（IJCAI-1995），第572-578页。
[11] Furini，F.、Gablel，V.和Ternier，I.-C.（2016）。基于数据树的分支和界限的下限技术。离散数学电子笔记，52，149-156。INOC 2015-第七届国际网络优化会议·Zbl 1351.90044号
[12] Gomes，C.、Selman，B.和Kautz，H.（1998）。通过随机化推进组合搜索。《第十五届全国人工智能会议论文集》（AAAI-1998），第431-438页。
[13] Gr¨otschel，M.、Lov´asz，L.和Schrijver，A.（1981年）。椭球方法及其在组合优化中的结果。Combinatorica，第169-197页·Zbl 0492.90056号
[14] Hebrard，E.和Katsirelos，G.（2018年）。第24届约束编程原理与实践国际会议论文集（CP-2018），第179-194页。
[15] Huang，J.（2007）。重述对小句学习效率的影响。第20届国际人工智能联合会议论文集（IJCAI-2007）。
[16] Jansen，B.M.和Pieterse，A.（2018）。使用低次多项式的图着色的最佳数据约简。CoRR，abs/1802.02050·Zbl 1443.68132号
[17] Jiang，H.，Li，C.，&Many'a，F.（2017）。大图中最大权团问题的精确算法。《第31届人工智能会议论文集》（AAAI-2017），第830-838页。
[18] Karp，R.M.（1972）。组合问题之间的约简性。1972年3月20日至22日在美国纽约约克敦高地IBM Thomas J.Watson研究中心举行的计算机计算复杂性研讨会论文集，第85-103页·Zbl 1467.68065号
[19] Katsirelos，G.和Bacchus，F.（2005年）。CSP中的广义Nogoods。《第20届全国人工智能会议论文集》（AAAI-2005），第390-396页。
[20] Lick，D.R.和White，A.T.（1970年）。k-退化图。加拿大数学杂志，221082-1096·Zbl 0202.23502号
[21] Lin，J.、Cai，S.、Luo，C.和Su，K.（2017）。一种基于约简的超大图着色方法。《第26届国际人工智能联合会议论文集》（IJCAI-2017），第517-523页。
[22] Lov´asz，L.（1979）。关于图的香农容量。IEEE信息理论汇刊，25，1-7·Zbl 0395.94021号
[23] Malaguti，E.、Monaci，M.和Toth，P.（2011年）。顶点着色问题的一种精确方法。离散优化，8（2），174-190·Zbl 1244.05092号
[24] Malaguti，E.和Toth，P.（2010年）。顶点着色问题综述。ITOR，17（1），1-34·Zbl 1223.05079号
[25] Marques-Silva，J.P.和Sakallah，K.A.（1999）。GRASP——一种用于命题可满足性的搜索算法。IEEE计算机汇刊，48（5），506-521·Zbl 1392.68388号
[26] Mehrotra，A.和Trick，M.A.（1995年）。图着色的列生成方法。INFORMS计算杂志，8，344-354·Zbl 0884.90144号
[27] Mehrotra，A.和Trick，M.A.（1996年）。图着色的列生成方法。INFORMS计算杂志，8（4），344-354·Zbl 0884.90144号
[28] Moskewicz，M.、Madigan，C.、Zhao，Y.、Zhang，L.和Malik，S.（2001）。Chaff：设计一个高效的SAT求解器。第39届设计自动化会议记录（DAC-2001），第530-535页。
[29] Mycielski，J.（1955年）。图的颜色。InColloq（汽车）。《数学》，第3卷，第161-162页·Zbl 0064.17805号
[30] Newman，N.、Fr´echette，A.和Leyton-Brown，K.（2017年）。频谱重新打包的深度优化。Commun公司。美国医学会，61（1），97-104。
[31] Ohrimenko，O.、Stuckey，P.J.和Codish，M.（2007）。传播=惰性子句生成。Bessiere，C.（Ed.），《第13届约束编程原理与实践国际会议论文集》（CP-2007），LNCS第4741卷，第544-558页。斯普林格·弗拉格·Zbl 1145.68527号
[32] Park，T.和Lee，C.Y.（1996）。图着色算法在频率分配问题中的应用。日本运筹学会杂志，39（2），258-265·Zbl 0863.90131号
[33] Schaafsma，B.、Heule，M.和van Maaren，H.（2009年）。通过模拟Zykov收缩实现动态对称破缺。第十二届满意度测试理论与应用国际会议（SAT-2009），第223-236页·Zbl 1247.68260号
[34] Segundo，P.S.（2012年）。一种新的基于数据图的精确顶点着色算法。计算机与运筹学，39（7），1724-1733·Zbl 1250.05113号
[35] Stergiou，K.（2008）。动态适应传播的启发式。《第18届欧洲人工智能会议论文集》（ECAI-2008），第485-489页。
[36] Tarjan，R.E.和van Leeuwen，J.（1984）。集合合并算法的最坏情况分析。美国医学会杂志，31（2），245-281·兹比尔0632.68043
[37] Trick，M.A.（编辑）。(2002).图着色及其推广计算研讨会（COLOR-2002）。
[38] Van Gelder，A.（2008）。从命题可满足性看图形着色。离散应用程序。数学。，156(2), 230-243. ·Zbl 1131.05090号
[39] Van Hentenryck，P.、˚Agren，M.、Flener，P.和Pearson，J.（2003）。具有可互换值的CSP的可牵引对称破坏。《第18届国际人工智能联合会议论文集》（IJCAI-2003），第277-282页。
[40] Verma，A.、Buchanan，A.和Butenko，S.（2015）。求解超大稀疏网络上的最大团和顶点着色问题。计算机信息杂志，27（1），164-177·Zbl 1327.90356号
[41] Walsh，T.（2000）。SAT与CSP。《约束编程的原则与实践》（InPrinciples and Practice of Constraint Programming）——CP 2000，第六届国际会议，新加坡，2000年9月18日至21日，会议记录，第441-456页·Zbl 1044.68808号
[42] Zhou，Z.，Li，C.-M.，Huang，C.，&Xu，R.（2014）。图着色问题的一种精确的学习算法。计算机与运筹学，51，282-301·Zbl 1348.05207号
[43] A.兹科夫。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。