×

结合两个结构化域来建模各种图匹配问题。 (英语) Zbl 1162.68652号

Fages,François(编辑)等人,约束的最新进展。第十二届ERCIM约束求解和约束逻辑编程国际研讨会,2007年CSCLP,法国罗克扬科特,2007年6月7日至8日。修改选定的论文。柏林:施普林格出版社(ISBN 978-3-540-89811-5/pbk)。计算机科学课堂讲稿5129。人工智能课堂讲稿,76-90(2008)。
摘要:图形模式匹配是许多领域的核心应用。在不同的领域,模式的结构只能近似,而精确的匹配则过于精确。这里我们关注用户在模式中声明的近似值(可选节点和禁止弧),涵盖图/子图单/同构问题。在本文中,我们展示了如何利用可数结构上的两个计算域(图和映射)的集成来建模和解决从简单图同构到近似图匹配的各种图匹配问题。为了实现这一点,我们扩展了映射变量,允许域和范围不固定且受约束。我们描述了如何设计这种扩展映射,然后在有限域和有限集变量上用特定传播器实现。我们展示了单个单态约束如何足以建模和解决这些多重图匹配问题。此外,我们的实验结果表明,我们的CP方法与最先进的子图同构算法具有竞争力。
关于整个系列,请参见[Zbl 1152.68002号].

MSC公司:

68T20型 人工智能背景下的问题解决(启发式、搜索策略等)
68兰特 计算机科学中的图论(包括图形绘制)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Conte,D.,Foggia,P.,Sansone,C.,Vento,M.:模式识别中的图形匹配三十年。IJPRAI 18,265–298(2004)
[2] Larrosa,J.,Valiente,G.:图形模式匹配的约束满足算法。Comp.中的数学结构。科学。 12, 403–422 (2002) ·Zbl 1009.68103号
[3] Rudolf,M.:利用约束满足技术进行有效的图形模式匹配。收录人:Ehrig,H.,Engels,G.,Kreowski,H.-J.,Rozenberg,G.(编辑)TAGT 1998。LNCS,第1764卷,第238-251页。斯普林格,海德堡(1998)·doi:10.1007/978-3-540-46464-8_17
[4] Wang,J.T.L.,Zhang,K.,Chirn,G.W.:近似图匹配算法。信息科学。Inf.计算。科学。 82, 45–74 (1995) ·Zbl 0878.68096号
[5] Messmer,B.T.,Bunke,H.:一种新的容错子图同构检测算法。IEEE传输。模式分析。马赫。智力。 20, 493–504 (1998) ·Zbl 05111484号 ·doi:10.1109/34.682179
[6] DePiero,F.,Krout,D.:一种使用长度r路径来近似子图同构的算法。模式识别。莱特。 24, 33–46 (2003) ·Zbl 1055.68079号 ·doi:10.1016/S0167-8655(02)00186-1
[7] Robles Kelly,A.,Hancock,E.:从光谱系列化开始的图形编辑距离。IEEE模式分析和机器智能汇刊27-3365-378(2005)·Zbl 05110875号 ·doi:10.1109/TPAMI.2005.56
[8] Giugno,R.,Shasha,D.:Graphgrep:一种快速通用的图形查询方法。ICPR 2,112–115(2002)
[9] Zampelli,S.,Deville,Y.,Dupont,P.E.:近似约束子图匹配。收录:van Beek,P.(编辑)CP 2005。LNCS,第3709卷,第832-836页。斯普林格,海德堡(2005)·Zbl 05323113号 ·doi:10.1007/11564751_74
[10] Sorlin,S.,Solnon,C.:图同构问题的一个全局约束。收录于:Régin,J.-C.,Rueher,M.(编辑)CPAIOR 2004。LNCS,第3011卷,第287-302页。斯普林格,海德堡(2004)·Zbl 1094.90585号 ·doi:10.1007/978-3-540-24664-0_20
[11] Puget,J.F.:重温对称破缺。限制10,23–46(2005)·Zbl 1071.68094号 ·doi:10.1007/s10601-004-5306-8
[12] Mamoulis,N.,Stergiou,K.:半结构化数据图中的约束满足。摘自:Wallace,M.(编辑)CP 2004。LNCS,第3258卷,第393-407页。斯普林格,海德堡(2004)·Zbl 1152.68565号 ·doi:10.1007/978-3-540-30201-8_30
[13] Dooms,G.,Deville,Y.,Dupont,P.E.:CP(图形):在约束编程中引入图形计算领域。收录:van Beek,P.(编辑)CP 2005。LNCS,第3709卷,第211–225页。斯普林格,海德堡(2005)·Zbl 1153.68457号 ·doi:10.1007/11564751_18
[14] Gervet,C.:符号约束对象的新结构:集合和图。In:约束逻辑编程第三次研讨会(WCLP 1993),马赛(1993)
[15] Chabrier,A.、Danna,E.、Pape,C.L.、Perron,L.:解决网络设计问题。《运筹学年鉴》130、217–239(2004)·Zbl 1156.90472号 ·doi:10.1023/B:ANOR.0000032577.81139.84
[16] Gervet,C.:集合推理的区间传播:实用语言的定义和实现。限制1191-244(1997)·兹比尔0870.68039 ·doi:10.1007/BF00137870
[17] Flener,P.,Hnich,B.,Kiziltan,Z.:在约束编程中编译高级类型构造函数。收录:Ramakrishnan,I.V.(编辑)PADL 2001。LNCS,第1990卷,第229-244页。斯普林格,海德堡(2001)·doi:10.1007/3-540-45241-9_16
[18] Beldiceanu,N.,Contjean,E.:在CHIP中引入全球约束。数学与计算机建模12,97–123(1994)·Zbl 0816.68048号 ·doi:10.1016/0895-7177(94)90127-9
[19] Pesant,G.,Gendreau,M.,Potvin,J.,Rousseau,J.:带时间窗口的旅行推销员的精确约束逻辑编程算法。运输科学32,12-29(1996)·Zbl 0987.90086号 ·doi:10.1287/trsc.32.1.12
[20] Puget,J.F.:Pecos是一种高级约束编程语言。In:《1992年Spicis会议录》(1992)
[21] Beldiceanu,N.,Flener,P.,Lorca,X.:树约束。收录于:Barták,R.,Milano,M.(编辑)CPAIOR 2005。LNCS,第3524卷,第64-78页。斯普林格,海德堡(2005)·Zbl 1133.90403号 ·doi:10.1007/114938537
[22] Sellmann,M.:针对较短路径约束的基于成本的过滤。收录:Rossi,F.(编辑)CP 2003。LNCS,第2833卷,第694-708页。斯普林格,海德堡(2003)·Zbl 1273.90231号 ·doi:10.1007/978-3-540-45193-8_47
[23] Cambazard,H.,Bourreau,E.:全球化学约束概念。In:10e Journées nationales sur la résolution pratique de problFmes NP-complets(JNPC 2004),第107–121页(2004)
[24] Dooms,G.,Katriel,I.:最小生成树约束。收录:Benhamou,F.(编辑)CP 2006。LNCS,第4204卷,第152-166页。斯普林格,海德堡(2006)·Zbl 1160.68544号 ·doi:10.1007/11889205_13
[25] Dooms,G.,Katriel,I.:“非重型”生成树约束。收录:Van Hentenryck,P.,Wolsey,L.A.(编辑)CPAIOR 2007。LNCS,第4510卷。斯普林格,海德堡(2007)·Zbl 1214.90121号 ·doi:10.1007/978-3-540-722397-4_5
[26] Hnich,B.:约束编程的函数变量。乌普萨拉大学信息科学系博士论文(2003年)·Zbl 1159.68390号
[27] Frisch,A.M.、Jefferson,C.、Hernandez,B.M.、Miguel,I.:约束建模规则。In:2005年国际JCAI会议记录(2005)
[28] Lauriere,J.L.:一种描述和解决组合问题的语言和程序。人工智能10,29–128(1978)·Zbl 0374.68060号 ·doi:10.1016/0004-3702(78)90029-2
[29] Smith,D.:全局搜索算法的结构和设计。技术报告技术报告KES。U.87.12,Kestrel研究所,加利福尼亚州帕洛阿尔托(1987)
[30] Cadoli,M.,Palopoli,L.,Schaerf,A.,Vasile,D.:NP-SPEC:用于解决NP中所有问题的可执行规范语言。收录:Gupta,G.(编辑)PADL 1999。LNCS,第1551卷,第16-30页。斯普林格,海德堡(1999)·Zbl 0995.68025号 ·数字对象标识代码:10.1007/3-540-49201-12
[31] Azevedo,F.:红衣主教:有限集约束求解器。限制12,93–129(2007)·Zbl 1118.68653号 ·doi:10.1007/s10601-006-9012-6
[32] Beldiceanu,N.:作为相同类型基本约束的结构化网络上的图形属性的全局约束。技术报告T2000/01,SICS(2000)·Zbl 1044.68737号
[33] Thiel,S.:约束传播和处理树描述的高效算法。Saarbrucken大学博士论文(2004年)
[34] Bessière,C.,Hebrard,E.,Hnich,B.,Kiziltan,Z.,Walsh,T.:nvalue约束的过滤算法。收录于:Barták,R.,Milano,M.(编辑)CPAIOR 2005。LNCS,第3524卷,第79-93页。斯普林格,海德堡(2005)·兹比尔1133.68427 ·doi:10.1007/114938538
[35] Bessière,C.,Hebrard,E.,Hnich,B.,Kiziltan,Z.,Walsh,T.:范围和根约束:指定计数和发生问题。收录于:IJCAI,第60-65页(2005年)
[36] Bessière,C.,Van Hentenryck,P.:生存还是毁灭。。。全局约束。收录:Rossi,F.(编辑)CP 2003。LNCS,第2833卷,第789–794页。斯普林格,海德堡(2003)·Zbl 1273.68334号 ·doi:10.1007/978-3-540-45193-8_54
[37] Zampelli,S.、Deville,Y.、Solnon,C.、Sorlin,S.和Dupont,P.E.:子图同构的过滤。收录:Bessière,C.(编辑)CP 2007。LNCS,第4741卷,第728-742页。斯普林格,海德堡(2007)·Zbl 1145.68535号 ·doi:10.1007/978-3-540-74970-7_51
[38] Foggia,P.,Sansone,C.,Vento,M.:匹配大型图形的改进算法。In:ed.第三届IAPR-TC15图形表示研讨会。(2001), http://amalfi.dis.unina.it/graph/db/vflib2.0/doc/vflib.html
[39] Cordella,L.P.,Foggia,P.,Sansone,C.,Vento,M.:vf图匹配算法的性能评估。收录于:ICIAP,第1172-1177页。IEEE计算机学会,Los Alamitos(1999)
[40] Ullmann,J.R.:子图同构的算法。J.ACM 23,31-42(1976年)·Zbl 0323.05138号 ·数字对象标识代码:10.1145/321921.321925
[41] Knuth,D.E.:斯坦福图形库。组合计算平台。纽约ACM出版社(1993)·Zbl 0806.68121号
[42] Dovier,A.,Piazza,C.:子图互模拟问题。IEEE知识与数据工程学报15,1055–1056(2003)·Zbl 05109342号 ·doi:10.1109/TKDE.2003.1209024
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。