×

用约束规划解决子图同构问题。 (英语) Zbl 1213.68473号

摘要:子图同构问题在于确定目标图中是否存在模式图的副本。在本文中,我们引入了一个全局约束和一个相关的过滤算法,以在约束编程的背景下解决这个问题。过滤算法的主要思想是根据每个节点与图中其他节点的关系来标记每个节点,并在这些标记上定义一个偏序,以表示子图同构的标记兼容性。此标签的部分顺序用于筛选域。标签也可以通过添加邻居标签中的信息来加强。这种强化可以反复应用,直到达到固定点。实际实验表明,与最新的算法和其他约束编程方法相比,我们的新过滤方法对无标度图的困难实例更有效。

MSC公司:

68兰特 计算机科学中的图论(包括图形绘制)
68周05 非数值算法
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

参考文献:

[1] Barabasi,A.-L.(2003年)。链接:一切是如何与其他一切联系起来的,以及它的含义。纽约:Plume。
[2] Bessière,C.和Van Hentenryck,P.(2003)。生存还是毁灭。.。全局约束。第九届约束规划原理与实践国际会议论文集。LNCS(第2833卷,第789-794页)。纽约:斯普林格·Zbl 1273.68334号
[3] Conte,D.、Foggia,P.、Sansone,C.和Vento,M.(2004)。模式识别中的图形匹配三十年。IJPRAI,18(3),265-298。
[4] Cordella,L.、Foggia,P.、Sansone,C.、Tortella,F.和Vento,M.(1998年)。图形匹配:一种快速算法及其评估。在《ICPR’98:第14届模式识别国际会议论文集》(第2卷,第1582页)中。华盛顿特区:IEEE计算机协会·Zbl 0909.68154号
[5] Cordella,L.、Foggia,P.、Sansone,C.和Vento,M.(2001)。一种改进的匹配大型图的算法。在第三届IAPR-TC15模式识别中基于图形的表示研讨会上(第149-159页)。库恩。
[6] Cordella,L.P.、Foggia,P.、Sansone,C.和Vento,M.(1999)。vf图匹配算法的性能评估。ICIAP’99:第十届图像分析和处理国际会议记录(第1172页)。华盛顿特区:IEEE计算机协会·Zbl 0909.68154号
[7] Cormen,T.H.、Stein,C.、Rivest,R.L.和Leiserson,C.E.(2001)。算法简介。纽约:McGraw-Hill高等教育·Zbl 1047.68161号
[8] Darga,P.T.、Liffiton,M.H.、Sakallah,K.A.和Markov,I.L.(2004)。在cnf对称性检测中利用结构。程序中。设计自动化会议(DAC)(第530–534页)。皮斯卡塔韦:IEEE/ACM。
[9] Deville,Y.、Dooms,G.、Zampelli,S.和Dupont,P.(2005)。用于近似图形匹配的Cp(图形+映射)。在第一届有限整数域外约束规划国际研讨会上,CP2005(第33-48页)。
[10] Dooms,G.、Deville,Y.和Dupont,P.(2005)。Cp(图):在约束编程中引入图计算领域。在约束编程的原理和实践中。计算机科学课堂讲稿(第3709卷,第211-225页)·Zbl 1153.68457号
[11] Foggia,P.、Sansone,C.和Vento,M.:同构和子图同构基准的图形数据库。CoRR公司。PL/0105015·Zbl 1028.68040号
[12] Fowler,G.、Haralick,R.、Gray,F.G.、Feustel,C.和Grinstead,C.(1983年)。通过顶点划分实现有效的图自同构。人工智能,21,245–269·Zbl 0506.68053号 ·doi:10.1016/S0004-3702(83)80012-5
[13] Garey,M.和Johnson,D.(1979年)。计算机和棘手。纽约:弗里曼·Zbl 0411.68039号
[14] Grochow,J.A.和Kellis,M.(2007年)。使用子图枚举和对称破缺的网络模体发现。T.P.Speed和H.Huang(编辑),RECOMB。计算机科学课堂讲稿(第4453卷,第92-106页)。纽约:斯普林格。
[15] Guo,J.、Hueffner,F.和Moser,H.(2007)。二部竞赛中的反馈弧集是np-完全的。信息处理信件,102(2-3),62-65·Zbl 1184.68264号 ·doi:10.1016/j.ipl.2006.11.016
[16] Hopcroft,J.E.和Karp,R.M.(1973)。二部图中最大匹配的(text{n}^{mbox{5/2}})算法。SIAM计算机杂志,2(4),225-231·Zbl 0266.05114号 ·doi:10.1137/02019年2月20日
[17] Larrosa,J.和Valiente,G.(2002年)。图形模式匹配的约束满足算法,数学。计算机科学结构,12(4),403–422·Zbl 1009.68103号
[18] McKay,B.D.(1981年)。实用图同构。国会数学家,30,45-87·Zbl 0521.05061号
[19] Régin,J.(1995年)。Dédevelopment D’outils算法注入智能人工智能。儿童器官的应用,博士论文。
[20] Regin,J.-C.(1994年)。CSP中差异约束的过滤算法。程序中。第12届美国人工智能协会。阿默尔。人工智能协会(第1卷,第362-367页)。
[21] Rudolf,M.(1998)。利用约束满足技术进行有效的图形模式匹配。在图变换的理论和应用中。计算机科学课堂讲稿(第1764期,第238-252页)。纽约:斯普林格。
[22] Sorlin,S.和Solnon,C.(2004)。图同构问题的全局约束。在第六届关于组合优化问题约束规划中人工智能和操作规则技术集成的国际会议上(CP-AI-OR 2004)。LNCS(第3011卷,第287-301页)。纽约:Springer-Verlag·Zbl 1094.90585号
[23] Sorlin,S.和Solnon,C.(2006年)。图同构问题的一种新的过滤算法。在第三届约束传播和实施国际研讨会上。CP2006·Zbl 1162.05337号
[24] Sorlin,S.和Solnon,C.(2008)。图同构问题的参数滤波算法。约束,13(4),518–537·Zbl 1162.05337号 ·doi:10.1007/s10601-008-9044-1
[25] Ullmann,J.R.(1976年)。子图同构的一种算法。美国医学会杂志,23(1),31–42·Zbl 0323.05138号 ·数字对象标识代码:10.1145/321921.321925
[26] Valiente,G.(2002年)。树和图的算法。柏林:斯普林格·Zbl 1007.05001号
[27] Zampelli,S.(2008年)。子图同构的约束规划方法。UCLouvain计算机科学与工程系博士论文。
[28] Zampelli,S.、Deville,Y.和Dupont,P.(2005年)。近似约束子图匹配。在约束编程的原理和实践中。计算机科学课堂讲稿(第3709卷,第832-836页)。
[29] Zampelli,S.、Deville,Y.、Solnon,C.、Sorlin,S.和Dupont,P.(2007年)。子图同构过滤。程序中。约束编程原理和实践的第13章。计算机科学课堂讲稿(第728-742页)。纽约:斯普林格·Zbl 1145.68535号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。