阿坤、奥祖尔;杰西卡·恩赖特;克里斯托弗·杰斐逊;Ciaran McCreesh;帕特里克·普洛瑟;斯泰芬·兹夏勒 寻找具有边约束的子图。 （英语） Zbl 07493639号 Stuckey，Peter J.（编辑），约束编程、人工智能和运筹学的集成。第18届国际会议，2021年7月5日至8日，奥地利维也纳，CPAIOR 2021。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12735, 348-364 (2021). 摘要：子图同构问题是在较大的“目标”图中找到一个较小的“模式”图。对于这个问题，有很多优秀的专用解决方案，但它们需要大量的编程工作来处理问题实际应用中经常出现的复杂边约束；然而，通用约束求解器在更困难的图形实例上挣扎。我们展示了如何将最先进的格拉斯哥子图解算器与Minion约束编程解算器相结合，以获得一个既高效又灵活的“子图模理论”解算器。我们还展示了Essence高级建模语言是如何驱动这种方法的，为非专业用户提供了建模和原型制作的便利。我们给出了涉及时间图、软件工程中的类型图和代价子图同构问题的实例。关于整个系列，请参见[Zbl 1482.68041号]. MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 90立方厘米27 组合优化 软件：迷你们;格拉斯哥子图解算器;本质 PDF格式BibTeX公司 XML格式引用 \textit{Ù.Akgün}等人，Lect。注释计算。科学。12735348--364（2021；Zbl 07493639） 全文： 内政部 链接 参考文献： [1] 阿奇博尔德，B。；邓洛普，F。；霍夫曼，R。；麦克里什，C。；普罗瑟，P。；Trimble，J。；卢梭，L-M；Stergiou，K.，《基于子图算法的顺序和并行解决方案搜索》，《约束编程、人工智能和运筹学集成》，20-38（2019），查姆：斯普林格，查姆·Zbl 1525.68088号 ·doi:10.1007/978-3-030-19212-9_2 [2] Audemard，G。；Lecoutre，C。；Samy-Modeliar，M。；Goncalves，G。；Porumbel，D。；O'Sullivan，B.，子图同构问题的基于评分的邻域优势，约束编程原理与实践，125-141（2014），Cham:Springer，Cham·doi:10.1007/978-3-319-10428-7_12 [3] 班萨尔，S。；里德·J。；Pourbohloul，B。；洛杉矶梅耶斯，《传染病流行病学中接触网络的动态特性》，J.Biol。动态。，4, 5, 478-489 (2010) ·Zbl 1342.92225号 ·doi:10.1080/17513758.2010.503376 [4] 比尔·R。；弗莱克，M。；Troya，J。；Mayerhofer，T。；Wimmer，M.，关于软MOMoT的本地和全球巡演。系统。型号。，18, 2, 1017-1046 (2017) ·doi:10.1007/s10270-017-0644-3 [5] Hjort Blindell，G。；Castañeda Lozano，R。；卡尔森，M。；舒尔特，C。；Pesant，G.，《通用指令选择建模》，《约束编程原理与实践》，609-626（2015），Cham:Springer，Cham·doi:10.1007/978-3-319-23219-5_42 [6] Bonnici，V。；Giugno，R。；Pulvirenti，A。；德国沙沙；Ferro，A.，子图同构算法及其在生物化学数据中的应用，BMC Bioinf。，14、S-7、S13（2013）·doi:10.1186/1471-2105-14-S7-S13 [7] Boussaïd，我。；Siarry，P。；Ahmed-Nacer，M.，《基于搜索的模型驱动工程调查》，Autom。柔和。工程，24，2，233-294（2017）·doi:10.1007/s10515-017-0215-4 [8] 布鲁西，D。；Martignoni，L。；蒙加，M。；Büschkes，R。；Laskov，P.，《使用控制流图匹配检测自变异恶意软件》，入侵和恶意软件检测与漏洞评估，129-143（2006），海德堡：斯普林格·doi:10.1007/11790754_8 [9] Burdusel，A.、Zschaler，S.、John，S.：为基于搜索的模型工程自动生成原子一致性保护搜索操作符。收录于：Kessentini，M.、Yue，T.、Pretschner，A.、Voss，S.和Burgueño，L.（编辑）第22届ACM/IEEE模型驱动工程语言和系统国际会议，2019年模型，德国慕尼黑，2019年9月15日至20日，第106-116页。IEEE（2019）。doi:10.1109/MODELS.2019.00-10 [10] 科尔德拉，LP；Foggia，P。；Sansone，C。；Vento，M.，用于匹配大型图的（子）图同构算法，IEEE Trans。模式分析。机器。智力。，26, 10, 1367-1372 (2004) ·doi:10.1109/TPAMI.2004.75 [11] Dell'Olmo，P.，Cerulli，R.，Carrabs，F.：最大标记集团问题。发表于：Adacher，L.、Flamini，M.、Leo，G.、Nicosia，G.，Pacifici，A.、Piccialli，V.（eds.）第十届科隆-温特图与组合优化研讨会论文集。《扩展摘要》，意大利弗拉斯卡蒂蒙德拉贡别墅，2011年6月14-16日，第146-149页（2011） [12] 杜兰，F。；Moreno-Delgado，A。；Orejas，F。；Zschaler，S.，《特定领域语言与行为的融合》，J.Log。代数方法程序。，86, 208-235 (2017) ·Zbl 1353.68028号 ·doi:10.1016/j.jlamp.2015.09.005 [13] 杜兰，F。；Zschaler，S。；Troya，J。；Czarnecki，K。；Hedin，G.，《关于DSL中非功能属性的可重用规范》，软件语言工程，332-351（2013），海德堡：施普林格·doi:10.1007/978-3-642-36089-3_19 [14] Efstathiou，D.，Williams，J.R.，Zschaler，S.：Crepe complete:模型的多目标优化。在：Paige，R.F.，Kessentini，M.，Langer，P.，Wimmer，M.（编辑）与第17届模型驱动工程语言和系统国际会议（2014年模型）在西班牙巴伦西亚共同举办的第一届将建模与基于搜索和示例的方法相结合的国际研讨会论文集，2014年9月28日。CEUR研讨会记录，第1340卷，第25-34页。CEUR-WS.org（2014） [15] Ehrig，H。；埃里格，K。；Prange，U。；Taentzer，G.，《代数图形变换基础》（2006），海德堡：施普林格出版社·Zbl 1095.68047号 ·doi:10.1007/3-540-31188-2 [16] Elhesha，R。；Sarkar，A。；Kahveci，T。；Yoon，B-J；Qian，X.，生物网络中的基序，生物网络分析的最新进展，101-123（2021），Cham:Springer，Cham·doi:10.1007/978-3-030-57173-35 [17] Foggia，P。；Percannella，G。；Vento，M.，过去10年模式识别中的图形匹配和学习，IJPRAI，28，1，1450001（2014）·doi:10.1142/S021801414500013 [18] 弗里希，AM；哈维，W。；杰斐逊，C。；埃尔南德斯，BM；Miguel，I.，《本质：一种用于指定组合问题的约束语言》，《约束国际期刊》，13，3，268-306（2008）·Zbl 1147.68424号 ·doi:10.1007/s10601-008-9047-y [19] Gent，I.P.，Jefferson，C.，Miguel，I.：仆从：快速可伸缩约束求解器。参见：Brewka，G.，Coradeschi，S.，Perini，A.，Traverso，P.（eds.）ECAI 2006，第17届欧洲人工智能会议，2006年8月29日至9月1日，意大利Riva del Garda，Including Prestigious Applications of Intelligent Systems（PAIS 2006），Proceedings。《人工智能与应用前沿》，第141卷，第98-102页。IOS出版社（2006） [20] 霍尔姆，P。；Saramäki，J.，《时间网络》，Phys。众议员，519，3，97-125（2012）·doi:10.1016/j.physrep.2012.03.001 [21] Kotthoff，L。；麦克里什，C。；Solnon，C。；费斯塔，P。；Sellmann，M。；Vanschoren，J.，《子图同构算法组合》，《学习与智能优化》，107-122（2016），查姆：斯普林格，查姆·数字对象标识代码：10.1007/978-3-319-50349-38 [22] 麦克里什，C。；普罗瑟，P。；Pesant，G.，使用补充图的并行回跳子图同构算法，约束编程原理与实践，295-312（2015），Cham:Springer，Cham·Zbl 1328.90127号 ·doi:10.1007/978-3-319-23219-5_21 [23] 麦克里什，C。；Prosser，P。；辛普森，K。；Trimble，J。；Beck，JC，《关于最大权重团算法及其评估方法》，《约束编程原理与实践》，206-225（2017），查姆：斯普林格，查姆·数字对象标识代码：10.1007/978-3-319-66158-2_14 [24] 麦克里什，C。；Prosser，P。；Trimble，J。；Gadducci，F。；Kehrer，T.，《格拉斯哥子图求解器：使用约束编程解决硬子图同构问题变体》，《图变换》，316-324（2020），《查姆：施普林格》，查姆·兹比尔1502.68241 ·doi:10.1007/978-3-030-51372-6-19 [25] Ohrimenko，O。；Stuckey，PJ；科迪什，M。；Bessière，C.，Propagation=惰性子句生成，约束编程的原理与实践-CP 2007，544-558（2007），海德堡：施普林格，海德伯格·Zbl 1145.68527号 ·doi:10.1007/978-3-540-74970-7_39 [26] 潘德，S。；拉努，S。；Bhattacharya，A.，SkyGraph:使用天际线子图查询检索感兴趣的区域，Proc。荷兰VLDB。，10, 11, 1382-1393 (2017) ·doi:10.14778/3137628.3137647 [27] Prosser，P.，约束满足问题的混合算法，计算。智力。，9, 268-299 (1993) ·文件编号：10.1111/j.1467-8640.1993.tb00310.x [28] Redmond，U.，Cunningham，P.：时间子图同构。摘自：Rokne，J.G.，Faloutsos，C.（编辑）《2013年社会网络分析与挖掘进展》，ASONAM 2013，尼亚加拉，安大略省，加拿大，2013年8月25日至29日，第1451-1452页。ACM（2013）。doi:10.1145/2492517.2492586 [29] 雷金（Régin，J.）：《智能人工智能的发展》（Dédevelopment D’outils algorithmiques pour l’Intelligence Artificielle）。应用于儿童组织。蒙彼利埃第二大学博士论文（1995年） [30] 塞卡拉，V。；Stopczynski，A。；Lehmann，S.，《动态社交网络的基本结构》，Proc。国家。阿卡德。科学。，113, 36, 9977-9982 (2016) ·doi:10.1073/pnas.1602803113 [31] Semeráth，O.，Nagy，A.S.，Varró，D.：自动生成一致的特定领域模型的图形解算器。在：Chaudron，M.，Crnkovic，I.，Chechik，M.，Harman，M.（编辑）第40届软件工程国际会议论文集，ICSE 2018，瑞典哥德堡，2018年5月27日至6月3日，第969-980页。ACM（2018）。doi:10.1145/3180155.3180186 [32] Silva，J.P.M.，Sakallah，K.A.：GRASP——一种新的可满足性搜索算法。在：Rutenbar，R.A.，Otten，R.H.J.M.（编辑）1996年IEEE/ACM国际计算机辅助设计会议记录，ICCAD 1996，美国加利福尼亚州圣何塞，1996年11月10日至14日，第220-227页。IEEE计算机学会/ACM（1996）。doi:10.1109/ICCAD.1996.569607 [33] Solnon，C。；孔戴，D。；Ramel，J-Y；Foggia，P.，子图同构解算器的实验评估，模式识别中基于图形的表示，1-13（2019），Cham:Springer，Cham·doi:10.1007/978-3-030-20081-71 [34] Stuckey，PJ；Lodi，A。；米兰，M。；Toth，P.，Lazy子句生成：结合sat和CP（以及MIP？）求解的能力，AI和OR技术在组合优化问题约束编程中的集成，5-9（2010），海德堡：斯普林格·Zbl 1285.68166号 ·doi:10.1007/978-3642-13520-03 [35] Vömel，C。；de Lorenzi，F。；啤酒，S。；Fuchs，E.，《钥匙的秘密寿命：机械锁系统的计算》，SIAM Rev.，59，2，393-422（2017）·Zbl 1370.90232号 ·doi:10.1137/15M103054 [36] 赞佩利，S。；Deville，Y。；Solnon，C.，用约束编程解决子图同构问题，约束，15，3，327-353（2010）·Zbl 1213.68473号 ·doi:10.1007/s10601-009-9074-3 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。