王一元；蔡少伟；陈洁江；尹明浩 SCCWalk：一种有效的局部搜索算法及其对最大权重团问题的改进。 （英语） Zbl 1476.68218号 Artif公司。智力。 280，文章ID 103230，22 p.（2020）. 最大权团问题（MWCP）是最大团问题的一个重要推广，有着广泛的应用。在本研究中，我们开发了两种有效的MWCP局部搜索算法，即SCCWalk和SCCWalk4L，其中SCCWallk4L是对大型图的SCCWalk.的改进。SCCWalk有两个主要思想，包括强配置检查（SCC）和行走扰动。SCC是一种称为本地搜索配置检查的强大策略的新变体。使用行走扰动过程引导算法离开当前区域，进入可行解空间的新区域。此外，为了提高在大规模图上的性能，我们应用一种低复杂度的启发式算法best from multiple selection来快速有效地选择交换顶点对，从而得到SCCWalk4L算法。此外，SCCWalk4L使用两个最新的约简规则来减少海量图的规模。我们在几个流行的基准上进行了实验来评估我们的算法，这些基准分为两组，包括小图的经典基准，即DIMACS、BHOSLIB、优胜者确定问题、从聚类聚合导出的图以及大规模图，包括一组大规模的真实世界图和大规模的FRB图。实验表明，与最新的启发式算法和精确算法相比，所提算法在经典基准测试上表现更好，并且能够获得大多数海量图的最佳解。 引用于7文件 MSC公司： 68兰特 计算机科学中的图论（包括图形绘制） 05C69号 具有特殊属性的顶点子集（支配集、独立集、团等） 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 关键词：最大权重团问题；本地搜索；强配置检查；行走摄动程序；海量图 软件：高通公司；NuMVC公司；二甲基丙烯酸甲酯；CCLS公司；BBMCSP公司；最大客户动态；CCASat卫星；gpuls-mwcp；SCC人行道 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wang}等人，Artif。智力。280，文章ID 103230，22 p.（2020；Zbl 1476.68218） 全文： 内政部 参考文献： [1] 巴拉德·D。；Brown，C.，计算机视觉，Englewood Cliffs（1982），Prentice Hall [2] Balasundaram，B。；Butenko，S.，电信中的图控制、着色和团，（电信优化手册（2006），Springer），865-890·Zbl 1118.90008号 [3] 戈麦斯·拉维蒂，M。；Moscato，P.，预测阿尔茨海默病的5蛋白生物标志物分子特征的鉴定，PLoS ONE，3，9，文章e3111 pp.（2008） [4] 帕蒂略，J。；Youssef，N。；Butenko，S.，《社交网络分析中的集团松弛模型》（复杂网络优化手册（2012），施普林格出版社），143-162·Zbl 1247.91162号 [5] 马西娅（F.Mascia）。；Cilia，E。；布鲁纳托，M。；Passerini，A.，《通过搜索最大重量团预测蛋白质的结构和功能位点》，（第二十四届AAAI人工智能会议。第二十四届人工智能会议，2010年，美国佐治亚州亚特兰大（2010年7月）），1274-1279 [6] 马，T。；Latecki，L.J.，《视频对象分割中带互斥约束的最大权重团》（2012 IEEE计算机视觉和模式识别会议，2012 IEEE电脑视觉和模式辨识会议，CVPR（2012），IEEE），670-677 [7] 志安，H。；萨巴伊，M。；新墨西哥州爪哇。；Tavallaie，O.，《使用最大权重团增加编码机会》（计算机科学和电子工程会议（2013）），168-173 [8] 吴琼。；Hao，J.-K.，通过加权最大团启发式解决获胜者确定问题，专家系统。申请。，42355-365（2015） [9] Karp，R.，组合问题中的可约性，（计算机计算复杂性（1972）），85-103·Zbl 1467.68065号 [10] Feige，U.，通过删除子图逼近最大团，SIAM J.离散数学。，18, 2, 219-225 (2004) ·Zbl 1068.05052号 [11] Tomita，E。；Seki，T.，《寻找最大团的有效分枝定界算法》（2003年离散数学和理论计算机科学国际会议，Springer），278-289·Zbl 1038.68565号 [12] Konc，J。；Janezic，D.，最大团问题的改进分枝定界算法，Commun。数学。计算。化学。，58, 569-590 (2007) ·Zbl 1274.05452号 [13] Li，C.M。；Quan，Z.，基于MaxSAT的最大团问题的高效分枝定界算法，（AAAI，第10卷（2010）），128-133 [14] 圣塞贡多，P。；A.洛佩兹。；Pardalos，P.M.，一种用于大型和大规模稀疏图的新的精确最大团算法，计算。操作。决议，66，81-94（2016）·Zbl 1349.90824号 [15] 江，H。；Li，C.M。；Manyá，F.，在大型图中结合MaxClique的高效预处理和增量MaxSAT推理，（ECAI（2016）），939-947 [16] 李，C.-M。；江，H。；Manyá，F.，关于最大团问题分枝定界算法中分支数的最小化，计算。操作。决议，84，1-15（2017）·兹比尔1391.90607 [17] Babel，L.，最大权重团问题的快速算法，计算，52，1，31-38（1994）·Zbl 0791.68127号 [18] Ùstergárd，P.R.，最大权重团问题的一种新算法，Nord.J.Compute。，8, 4, 424-436 (2001) ·Zbl 1003.68117号 [19] 山口，K。；Masuda，S.，最大权重团问题的一种新的精确算法，（ITC-CSCC:2008（2008）），317-320 [20] 清水，S。；Yamaguchi，K。；Saitoh，T。；Masuda，S.，《寻找最大权重团的最优表法》（第13届国际应用计算机科学会议（2013）论文集），84-90 [21] 方，Z。；李，C.-M。；Xu，K.，基于MaxSAT推理的最大权重团问题的精确算法，J.Artif。智力。决议，55，799-833（2016）·Zbl 1352.05174号 [22] 江，H。；李，C.-M。；Manya，F.，大型图中最大权重团问题的精确算法，（AAAI（2017）），830-838 [23] 江，H。；李，C.-M。；刘，Y。；Manya，F.，最大权重团问题的两阶段MaxSAT推理方法，（第三十二届AAAI人工智能会议论文集（2018）），1338-1346 [24] 辛格，A。；Gupta，A.K.，最大团问题的混合启发式，J.启发式，12，1-2，5-22（2006）·Zbl 1122.90070 [25] 普兰，W。；Hoos，H.H.，最大团问题的动态局部搜索，J.Artif。智力。第159-185号决议（2006年）·Zbl 1182.68065号 [26] Pullan，W.，最大集团问题的分阶段局部搜索，J.Comb。最佳。，12, 3, 303-323 (2006) ·Zbl 1255.90122号 [27] 古图鲁，P。；Dantu，R.，一种具有概率禁忌搜索的不耐烦进化算法，通过团查找来寻找图论和集合论中一些NP难问题的统一解，IEEE Trans。系统。人类网络。，B部分，网络。，38, 3, 645-666 (2008) [28] 吴琼。；Hao，J.-K.，解决最大团问题的自适应多段禁忌搜索方法，J.Comb。最佳。，26, 1, 86-108 (2013) ·Zbl 1275.90084号 [29] Benlic，美国。；Hao，J.-K.，突破局部搜索最大团问题，计算。操作。《192-206年第40号决议》（2013年）·Zbl 1349.90005号 [30] Bomze，I.M。；佩利略，M。；Stix，V.，使用复制器动力学近似最大重量团，IEEE Trans。神经网络。，1228-1241年11月6日（2000年） [31] Busygin，S.，最大权重团问题的新信赖域技术，离散应用。数学。，154, 15, 2080-2096 (2006) ·Zbl 1111.90020号 [32] Pullan，W.，使用局部搜索逼近最大顶点/边缘加权团，J.启发式，14，2117-134（2008）·Zbl 1173.90569号 [33] 吴琼。；Hao，J.-K。；Glover，F.，《多邻里禁忌搜索最大重量集团问题》，Ann.Oper。研究，196，1，611-634（2012）·Zbl 1251.90378号 [34] 蔡，S。；Lin，J.，快速求解大规模图中的最大权团问题，（《第二十五届国际人工智能联合会议论文集》，第二十五届人工智能国际联合会议论文，IJCAI（2016）），568-574 [35] Nogueira，B。；Pinheiro，R.G.，用于大规模图上最大权重团问题的CPU-GPU局部搜索启发式算法，计算。操作。决议，90，232-248（2018）·Zbl 1391.90527号 [36] 范，Y。；李，N。；李，C。；Ma，Z。；Latecki，L.J。；Su，K.，局部搜索中最大顶点权重团的重新启动和随机游走，（IJCAI（2017）），622-630 [37] 蔡，S。；苏凯（Su，K.）。；Sattar，A.，《带边缘权重的局部搜索和最小顶点覆盖的配置检查启发式》，Artif。智力。，175, 9, 1672-1696 (2011) ·Zbl 1225.68242号 [38] 李，R。；蔡，S。；胡，S。；尹，M。；Gao，J.，NuMWVC：最小加权顶点覆盖问题的新型局部搜索，（第三十二届AAAI人工智能会议论文集（2018）），8107-8108 [39] 王，Y。；蔡，S。；Yin，M.，使用两级配置检查和基于频率的评分功能进行最小权重支配集的局部搜索，J.Artif。智力。决议，58，267-295（2017）·Zbl 1404.68146号 [40] 王，Y。；蔡，S。；陈，J。；Yin，M.，海量图最小权支配集问题的快速局部搜索算法，（IJCAI（2018）），1514-1522 [41] 王，Y。；欧阳，D。；张，L。；Yin，M.，使用超边缘配置检查和权重多样性对unicast集覆盖问题进行新的局部搜索，科学。中国信息科学。，第60、6条，第062103页（2017年） [42] 王，Y。；李，C。；Sun，H。；陈，J。；Yin，M.，MLQCC：集合k覆盖问题的改进局部搜索算法，Int.Trans。操作。第26、3、856-887号决议（2019年）·Zbl 07766332号 [43] 蔡，S。；Su，K.，在本地搜索sat时使用抽吸进行配置检查，（AAAI 2012（2012）会议记录），334-340 [44] 蔡，S。；Su，K.，利用配置检查和子核对布尔可满足性的局部搜索，Arti。智力。，204, 75-98 (2013) ·Zbl 1334.68200号 [45] Abramé，A。；哈贝特，D。；Toumi，D.，改进可满足随机k-SAT实例的配置检查，Ann.Math。Artif公司。智力。，79, 1-3, 5-24 (2017) ·Zbl 1404.68136号 [46] 罗，C。；蔡，S。；Wu，W。；杰，Z。；Su，K.，CCLS：加权最大可满足性的有效局部搜索算法，IEEE Trans。计算。，第64,71830-1843页（2015年）·Zbl 1360.68786号 [47] Johnson，D.S.，Cliques，着色和可满足性：第二个DIMACS实现挑战，DIMACS系列。谨慎。数学。西奥。计算。科学。，26, 11-13 (1993) ·Zbl 0875.68678号 [48] Xu，K。；Boussemart，F。；Hemery，F。；Lecoutre，C.，生成硬可满足实例的简单模型，（IJCAI（2005）论文集），337-342 [49] 吴琼。；Hao，J.-K.，组合拍卖中基于集团的最优获胜者确定的精确方法，信息科学。，334, 103-121 (2016) [50] Cai，S.，复杂度和质量之间的平衡：大规模图中最小顶点覆盖的局部搜索，（IJCAI 2015（2015）学报），747-753 [51] 罗西，R.A。；Ahmed，N.K.，《具有交互式图形分析和可视化的网络数据存储库》（第二十届美国人工智能学会人工智能会议（2015）），4292-4293 [52] 王，Y。；蔡，S。；Yin，M.，最大权重团问题的两种有效局部搜索算法，（AAAI（2016）），805-811 [53] Li，C.M。；Huang，W.，局部可满足性搜索中的多样性和确定性，（可满足性测试理论与应用论文集。可满足性检测理论与应用文献集，SAT 2005（2005）），158-172·Zbl 1128.68472号 [54] Glover，F.，禁忌搜索-第一部分，ORSA J.Compute。，1, 3, 190-206 (1989) ·Zbl 0753.90054号 [55] 周，Y。；Hao，J.-K。；Goöffon Push，A.，最大顶点权重团问题的广义算子，Eur.J.Oper。第257号、第1号、第41-54号决议（2017年）·Zbl 1394.90506号 [56] 蔡，S。；林，J。；Luo，C.，《在大量稀疏图中寻找小顶点覆盖：构造、局部搜索和预处理》，J.Artif。智力。决议，59，463-494（2017）·Zbl 1418.68164号 [57] 林，J。；蔡，S。；罗，C。；Su，K.，一种基于约简的超大图着色方法，（第二十六届国际人工智能联合会议（2017）），517-523 [58] 蔡，S。；苏凯（Su，K.）。；罗，C。；Sattar，A.，NuMVC：一种有效的最小顶点覆盖局部搜索算法，J.Artif。智力。687-716号决议（2013年）·Zbl 1280.90098号 [59] Ma，Z。；范，Y。；苏凯（Su，K.）。；李，C。；Sattar，A.，大型稀疏图上最大边权重团的局部搜索中的确定性比赛选择，（澳大利亚人工智能联合会议（2017），Springer），353-364 [60] 罗西，R.A。；Gleich，D.F。；Gebremedhin，A.H。；Patwary，M.M.A.，《大型图的快速最大团算法》，（第23届万维网国际会议指南（2014年），第365-366页 [61] Xu，K。；Boussemart，F。；Hemery，F。；Lecoutre，C.，《随机约束满足：硬（可满足）实例的轻松生成》，Artif。智力。，第171页，第8页，第514-534页（2007年）·Zbl 1168.68554号 [62] Xu，K。；Li，W.，随机约束满足问题中的精确相变，J.Artif。智力。第12号、第1号、第93-103号决议（2000年）·Zbl 0940.68099号 [63] Xu，K。；Li，W.，《精确相变中的许多硬性例子》，Theor。计算。科学。，355，3921-302（2006年）·Zbl 1088.68163号 [64] 斯特恩·R。；德莱曼，G。；Valenzano，R.，《可能有界次优启发式搜索》，Artif。智力。，267, 39-57 (2019) ·Zbl 1478.68337号 [65] 李，Z。；陈，Q。；Koltun，V.，用图卷积网络和导向树搜索进行组合优化，（神经信息处理系统进展（2018）），537-546 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。