×
李楚敏;方志文;姜华;徐，柯

最大团问题的增量上限。 （英语） Zbl 1528.05052号

信息J.计算。 30，第1期，137-153（2018）.
摘要：最大团问题（简称MaxClique）包括在图中搜索最大完整子图。分支定界（BnB）MaxClique算法计算每个搜索树节点上最大团的顶点数的上界，以修剪以该节点为根的子树。现有的上限通常是在每个搜索树节点从头开始计算的。在本文中，我们定义了一个增量上限，称为IncUB，它是从以前的搜索中有效地推导出来的，而不是从头开始的。然后，我们描述了一种新的BnB-MaxClique算法，称为IncMC2，该算法使用图着色和MaxSAT推理来过滤掉不需要分支的顶点，并使用IncUB修剪剩余的分支。我们的实验结果表明，IncMC2比BBMC和IncMaxCLQ等算法要快得多。最后，我们进行了实验，以证明IncMC2的性能归功于IncUB。

引用于10文件

MSC公司：

05C69号 具有特殊属性的顶点子集（支配集、独立集、团等）
90立方厘米 涉及图形或网络的编程
90C57型 多面体组合数学，分枝与定界，分枝与割

关键词：

马克斯克利克;最大SAT;增量上限

软件：

最大CliqueDyn
PDF格式BibTeX公司 XML格式引用
\textit{C.-M.Li}等人，《信息与计算》。30，第1号，137--153（2018；Zbl 1528.05052）
全文： 内政部

参考文献：

[1] Benlic U，Hao JK（2013）突破最大集团问题的局部搜索。计算。操作。物件。40（1）：192-206.Crossref，谷歌学者·Zbl 1349.90005号 ·doi:10.1016/j.cor.2012.06.002
[2] Berman P，Pelc A（1990）多处理器系统的分布式概率故障诊断。程序。第20届国际年会。交响乐。容错计算。，FTCS’90年（IEEE计算机学会，华盛顿特区），340-346，谷歌学者
[3] Cai S，Su K，Sattar A（2011）使用边缘加权和配置检查启发式进行局部搜索，以获得最小顶点覆盖。人工智能175（9）：1672-1696.Crossref，谷歌学者·Zbl 1225.68242号 ·doi:10.1016/j.artint.2011.03.003
[4] Carraghan R，Pardalos PM（1990）最大团问题的精确算法。操作。Res.Lett公司。9（6）:375-382.Crossref，谷歌学者·Zbl 0711.90080号 ·doi:10.1016/0167-6377（90）90057-C
[5] Fahle T（2002）简单快速：改进最大团的分枝定界算法。Di Battista G，Zwick U，编辑。程序。第11届欧洲年度交响曲。算法，ESA’03（柏林施普林格），485-498，谷歌学者·Zbl 1019.90517号
[6] Grosso A、Locatelli M、Pullan W（2008）《简单的成分可以为最大团问题提供非常有效的启发式方法》。J.启发式14（6）:587-612.Crossref，谷歌学者·Zbl 1173.90565号 ·数字对象标识代码：10.1007/s10732-007-9055-x
[7] Konc J，Janezic D（2007）最大团问题的改进分支定界算法。公共数学。计算。化学58:569-590.谷歌学者·Zbl 1274.05452号
[8] 李CM，权Z（2010a）最大团问题的图结构开发与命题推理相结合。程序。第22届IEEE国际。人工智能混淆工具，ICTAI’10第1卷（IEEE Computer Society，Washington，DC），344-351，谷歌学者
[9] Li CM，Quan Z（2010b）基于maxsat的最大团问题的高效分枝定界算法。程序。第24届AAAI人工智能大会，AAAI’10（AAAI Press，Menlo Park，CA），128-133.谷歌学者
[10] Li CM，Fang Z，Xu K（2013）结合MaxSAT推理和最大集团问题的增量上界。程序。第25届IEEE国际。人工智能工具，ICTAI’13（IEEE计算机学会，华盛顿特区），939-946。谷歌学者
[11] Li CM，Jiang H，Xu R-C（2015）增量MaxSAT推理以减少MaxClique分支定界算法中的分支。Dhaenens C、Jourdan L、Marmion M-E编辑。程序。第九届国际。Conf.学习。智能优化。，狮子9（瑞士查姆施普林格国际），268-274.谷歌学者
[12] 李CM，朱Z，ManyáF，Simon L（2011）最小可满足性及其应用。Walsh T编辑。程序。第22届国际。人工智能联合会议，IJCAI’11（AAAI/IJCAI，加利福尼亚州门罗公园），605-610.谷歌学者
[13] Li CM，Zhu Z，ManyáF，Simon L（2012）最小可满足性优化。人工智能190:32-44.Crossref，谷歌学者·Zbl 1251.68209号 ·doi:10.1016/j.artint.2012.05.004
[14] McCreesh C，Prosser P（2014）最大团问题的分支定界算法中的减少分支。O'Sullivan B编辑。程序。国际。Conf.原则实践约束编程，CP’14（瑞士查姆施普林格国际），549-563.谷歌学者
[15] McCreesh C，Prosser P（2015）最大团问题的搜索树形状以及平行分支和绑定的含义。ACM事务处理。并行计算。2（1）：第8条。Crossref，谷歌学者·doi:10.1145/2742359
[16] Østergárd P（2002）最大团问题的快速算法。离散应用程序。数学。120（1-3）：197-207.Crossref，谷歌学者·Zbl 1019.05054号 ·doi:10.1016/S0166-218X（01）00290-6
[17] Prosser P（2012）《最大团的精确算法：一项计算研究》。算法5（4）：545-587.Crossref，谷歌学者·Zbl 1461.90162号 ·doi:10.3390/a5040545
[18] Pullan W，Hoos HH（2006）最大集团问题的动态局部搜索。J.人工智能研究。25:159-185.谷歌学者Crossref·Zbl 1182.68065号 ·doi:10.1613/jair.1815
[19] Pullan W，Mascia F，Brunato M（2011）合作搜索最大集团问题。J.启发式17（2）：181-199。Crossref，谷歌学者·doi:10.1007/s10732-010-9131-5
[20] Régin JC（2003）使用约束编程解决最大团问题。Rossi F编辑。程序。国际。Conf.原则实践约束编程，CP’03（柏林施普林格），634-648年。谷歌学者·Zbl 1273.90176号
[21] San Segundo P，Rodríguez Losada D，Jiménez A（2011）最大集团问题的精确位并行算法。计算。操作。物件。38（2）:571-581.Crossref，谷歌学者·Zbl 1231.90369号 ·doi:10.1016/j.cor.2010.07.019
[22] San Segundo P、Lopez A、Batsyn M、Nikolaev A、Pardalos PM（2016）改进了初始顶点排序以实现精确的最大团搜索。申请。情报45（3）：868-880.谷歌学者交叉引用·doi:10.1007/s10489-016-0796-9
[23] Strickland DM，Barnes E，Sokol JS（2005）使用最大团优化蛋白质结构对齐。操作。物件。53（3）：389-402.Link，谷歌学者·Zbl 1165.90664号
[24] Tomita E，Kameda T（2007）一种通过计算实验找到最大团的有效分枝定界算法。J.全球优化。37（1）：95-111.Crossref，谷歌学者·Zbl 1127.90079号 ·doi:10.1007/s10898-006-9039-7
[25] Tomita E，Seki T（2003）寻找最大团的有效分枝定界算法。离散数学。理论。计算。科学。计算机科学讲稿，第2731卷（柏林斯普林格），278-289.谷歌学者·Zbl 1038.68565号
[26] Tomita E、Sutani Y、Higashi T、Takahashi S、Wakatsuki M（2010）寻找最大团的简单快速分支定界算法。Rahman MdS，Fujita S，编辑。程序。第四国际。车间算法计算。，WALCOM’10（柏林施普林格）191-203.谷歌学者·Zbl 1274.05455号
[27] 王凯（2013）《个人沟通》。2013年3月8日，王凯给第一作者的电子邮件。谷歌学者
[28] Wu Q，Hao JK（2015）最大团问题算法综述。欧洲药典。物件。242（3）：693-709.Crossref，谷歌学者·Zbl 1341.05241号 ·doi:10.1016/j.ejor.2014.09.064
[29] Xu K，Li W（2000）随机约束满足问题中的精确相变。J.人工智能研究。12:93-103.Crossref，谷歌学者·Zbl 0940.68099号 ·电话：10.1613/jair.696
[30] 徐克·Zbl 1168.68554号 ·doi:10.1016/j.artint.2007.04.001
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。