×
V·阿尔文德。;富尔布吕克;约翰·科布勒;奥列格·维尔比茨基

关于Weisfeiler-Leman不变性：子图计数和相关的图属性。 （英语） Zbl 1450.05056号

J.计算。系统。科学。 113, 42-59 (2020).
摘要：（k）维Weisfeiler-Leman算法是解决图同构问题的一种有效方法。2-WL对应于Weisfeiler和Leman在50多年前提出的原始算法[“将图简化为规范形式和在这种简化过程中产生的代数”，Nauchno Techn.Inform.Seri.2，No.9，12-16（1968）]。1-WL是经典的色彩精制程序。（k\text{-WL}）的不可分辨性是图上的一种等价关系，它对同构测试、描述复杂性理论以及在人工智能中也具有一定相关性的图相似性测试具有重要意义。针对维数（k=1,2），我们研究了计数为（k\text{-WL}）不变、出现次数为（ktext{-WL{）不变的子图模式。我们对维（k=1）的所有此类模式进行了完整的描述，并大大扩展了先前已知的结果（k=2）。

引用于4文件

MSC公司：

05C60型 图论中的同态问题（重构猜想等）和同态（子图嵌入等）
05C85号 图形算法（图形理论方面）

关键词：

图的同构与相似性;魏斯费勒-勒曼算法;子图计数

软件：

nauty公司;踪迹
PDF格式BibTeX公司 XML格式引用
\textit{V.Arvind}等人，《计算杂志》。系统。科学。113、42-59（2020；Zbl 1450.05056）
全文： 内政部 arXiv公司

参考文献：

[1] Arvind，V。；Fuhlbrück，F。；Köbler，J。；Verbitsky，O.，论Weisfeiler-Leman不变性：子图计数和相关图属性，（计算理论基础（2019），施普林格国际出版社：施普林格国际出版社商会），111-125·Zbl 1534.68137号
[2] 巴拜，L。；Erdős，P。；Selkow，S.M.，随机图同构，SIAM J.计算机。，9, 3, 628-635 (1980) ·Zbl 0454.05038号
[3] 麦凯，B.D。；Piperno，A.，实用图同构，II，J.Symb。计算。，60, 94-112 (2014) ·兹比尔1394.05079
[4] Morgan，H.L.，《化学结构独特机器描述的生成——化学文摘服务开发的技术》，J.Chem。文件。，5, 2, 107-113 (1965)
[5] 魏斯费勒，B。；Leman，A.，《将图还原为标准形式以及其中出现的代数》，NTI，Ser。2、9、12-16（1968），英文翻译可在
[6] Bose，R.C。；梅斯纳，D.M.，《与部分平衡设计的结合方案相对应的线性结合代数》，《数学年鉴》。《统计》，30，21-38（1959年）·Zbl 0089.15002号
[7] Higman，D.，秩3的有限置换群，数学。Z.，86，145-156（1964）·兹伯利0122.03205
[8] Babai，L.，拟多项式时间中的图同构，（第48届ACM计算理论年会论文集（STOC’16）（2016）），684-697·Zbl 1376.68058号
[9] 蔡，J。；Fürer，M。；Immerman，N.，图识别变量数的最优下界，组合数学，12，4，389-410（1992）·Zbl 0785.68043号
[10] Grohe，M.，带排除子项图的定点可定义性和多项式时间，J.ACM，59，5，27:1-27:64（2012）·Zbl 1281.68129号
[11] Scheinerman，E.R。；Ullman，D.H.，分数图论。《图论的理性方法》（1997），威利：约翰·威利父子出版社·Zbl 0891.05003号
[12] 达瓦尔，A。；Severini，S。；萨帕塔，O.，卵石游戏和共谱图，电子。注释离散数学。，61, 323-329 (2017) ·Zbl 1378.05130号
[13] Fürer，M.，关于组合不变量和谱不变量的幂，线性代数应用。，432, 9, 2373-2380 (2010) ·Zbl 1217.05141号
[14] Fürer，M.，《关于Weisfeiler-Lehman算法的组合能力》，（算法和复杂性-第十届国际会议（CIAC’17）论文集。算法与复杂性——第十届国际会议（CIAC’17）论文集，计算机科学讲稿，第10236卷（2017）），260-271·Zbl 1489.05146号
[15] Dvořák，Z.，《利用同态数识别图》，《图论》，64，4，330-342（2010）·Zbl 1207.05128号
[16] 戴尔，H。；格罗，M。；Rattan，G.，Lovász会见了Weisfeiler和Leman（第45届自动化、语言和编程国际学术讨论会（ICALP’18）。第45届国际自动化、语言和编程学术讨论会（ICALP’18），LIPIcs，第107卷（2018年），达格斯图尔-莱布尼茨-泽特鲁姆福尔信息学院，40:1-40:14·兹比尔1504.05276
[17] Shervashidze，N。；Schweitzer，P。；van Leeuwen，E.J。；Mehlhorn，K。；Borgwardt，K.M.，Weisfeiler-Lehman graph kernels，J.Mach。学习。第12号决议，2539-2561（2011年）·Zbl 1280.68194号
[18] 莫里斯，C。；Kersting，K。；Mutzel，P.，Globalized Weisfeiler-Lehman graph kernels:global-local feature maps of graphs，（2017 IEEE International Conference on Data Mining（ICDM’17）（2017），IEEE Computer Society，IEEE计算机学会），327-336
[19] 莫里斯，C。；Ritzert，M。；费伊，M。；Hamilton，W.L。；Lenssen，J.E。；藤条，G。；Grohe，M.，Weisfeiler和Leman go neural:高阶图形神经网络，（AAAI人工智能会议论文集，第33卷（2019年）），4602-4609
[20] 高，C。；Lafferty，J.，《使用小个子图统计测试全球网络结构》（2017年），技术代表。
[21] Grochow，J.A。；Kellis，M.，《使用子图枚举和对称破缺发现网络基序》，（第11届计算分子生物学研究国际年会（RECOMB'07）。第十一届国际计算分子生物学研究年会（RECOMB'07），《计算机科学讲义》，第4453卷（2007），施普林格出版社，92-106
[22] 米洛·R。；Shen-Orr，S。；伊兹科维茨，S。；北卡罗来纳州卡什坦。；Chklovskii，D。；阿隆，U。，《网络主题：复杂网络的简单构建块》，《科学》，2985594827（2002）
[23] Ugander，J。；Backstrom，L.公司。；Kleinberg，J.M.，《子图频率：绘制大型图形集合的经验地理和极值地理》，（第22届国际万维网会议（WWW’13）（2013），ACM），1307-1318
[24] Hasan，医学硕士。；Dave，V.S.，《大型网络中的三角计算：综述》，Wiley Interdiscip。版本数据最小知识。发现。，8, 2 (2018)
[25] Newman，M.E.J.，《复杂网络的结构和功能》，SIAM Rev.，45，2，167-256（2003）·Zbl 1029.68010号
[26] Dawar，A.，《带计数的定点逻辑的性质和威力》，SIGLOG News，2，1，8-21（2015）
[27] 阿塞里亚斯，A。；布拉托夫，A.A。；Dawar，A.，仿射方程组和无限逻辑计数，Theor。计算。科学。，410, 18, 1666-1683 (2009) ·Zbl 1168.68040号
[28] 安德森，M。；达瓦尔，A。；Holm，B.，《在不破坏抽象的情况下求解线性程序》，J.ACM，62，6，48:1-48:26（2015）·Zbl 1426.68111号
[29] Dawar，A.，有限结构的受限二阶逻辑，Inf.Compute。，143, 2, 154-174 (1998) ·Zbl 0909.68078号
[30] 比泽，R.A。；Farrell，E.J.，距离规则图的匹配多项式，国际数学杂志。数学。科学。，23, 2, 89-97 (2000) ·Zbl 0947.05063号
[31] 法雷尔，E.J。；郭敬明。；Constantine，G.M.，关于匹配系数，离散数学。，89, 2, 203-210 (1991) ·Zbl 0764.05074号
[32] Bollobás，B.，《随机图》，《剑桥高等数学研究》，第73卷（2001年），剑桥大学出版社：剑桥大学出版社·Zbl 0997.05049号
[33] Wormald，N.，随机正则图模型，（组合数学调查（1999），剑桥大学出版社），239-298·Zbl 0935.05080号
[34] Arvind，V。；Köbler，J。；藤条，G。；Verbitsky，O.，《图形同构、颜色细化和紧凑性》，计算。复杂。，26, 3, 627-685 (2017) ·Zbl 1379.05080号
[35] 基弗，S。；Schweitzer，P。；Selman，E.，《逻辑与计数识别的图》，（第40届计算机科学数学基础国际研讨会论文集（MFCS’15）。第40届计算机科学数学基础国际研讨会论文集（MFCS'15），《计算机科学讲义》，第9234卷（2015），施普林格出版社，319-330·Zbl 1465.68101号
[36] 拉马纳，M.V。；Scheinerman，E.R。；Ullman，D.，图的分数同构，离散数学。，132, 1-3, 247-265 (1994) ·Zbl 0808.05077号
[37] Lovász，L.，《大型网络和图形极限》，学术讨论会出版物，第60卷（2012年），美国数学学会·Zbl 1292.05001号
[38] Curticapean，R。；戴尔，H。；Marx，D.，同态是计算小子图的良好基础，（第49届美国计算机学会SIGACT计算理论年度研讨会论文集（STOC'17）（2017），美国计算机学会），210-223·Zbl 1369.05191号
[39] 罗伯逊，N。；西摩，P.，Graph Minors。二十、。瓦格纳猜想，J.库姆。理论，Ser。B、 92、2、325-357（2004）·Zbl 1061.05088号
[40] Diestel，R.，图论（2000），Springer:Springer New York，NY·Zbl 0945.05002号
[41] Immerman，N.，《描述性复杂性》，《计算机科学研究生论文》（1999），斯普林格出版社·Zbl 0918.68031号
[42] 研究员，M.R。；Hermelin，D。；F.A.罗萨蒙德。；Vialette，S.，关于多区间图问题的参数化复杂性，Theor。计算。科学。，410, 1, 53-61 (2009) ·Zbl 1161.68038号
[43] Hella，L.，PTIME中的逻辑层次结构，Inf.Compute。，129, 1, 1-19 (1996) ·Zbl 0864.68095号
[44] Pyber，L.，大连通强正则图是哈密顿图（2014），Tech.rep。
[45] Kreutzer，S。；Schweikardt，N.，关于Hanf等价和小诱导子图的嵌入数量，（第23届EACSL计算机科学逻辑年会（CSL）和第29届ACM/IEEE计算机科学逻辑年会（LICS）联席会议（2014），ACM），60:1-60:10·Zbl 1394.03057号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。