×

构造多元完全图不变量的计算方法。 (英语) 兹比尔1329.05279

摘要:在本文中,我们提出了一种求完全图不变量的计算方法。具体来说,我们生成了具有9个和10个顶点的连通非同构图的穷举集,并证明了97维多维图不变量能够区分每个非同构图形。此外,为了降低由大量图(例如,涉及1000多万个具有10个顶点的网络)引起的问题的计算复杂性,我们提出了一种基于高度区分的单个图不变量的低维迭代过程。我们还表明,这种计算方法可以实现完美的区分。总之,我们的数值结果证明了具有9个和10个顶点的网络存在这样的图不变量。此外,我们还证明了我们的迭代方法具有多项式时间复杂度。

MSC公司:

05C85号 图形算法(图形理论方面)
65年第68季度 算法和问题复杂性分析
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 阿卜杜勒拉希姆,M。;Misra,M.,用于对象识别的图同构算法,模式分析。申请。,1, 189-201 (1998) ·Zbl 0911.68182号
[2] Aho,A.V。;霍普克罗夫特,J.E。;Ullman,J.D.,《计算机算法的设计与分析》(1974),Addison-Wesley·Zbl 0326.68005号
[3] Arvind,V。;达斯,B。;Köbler,J.,《K树同构的空间复杂性》(第18届国际算法与计算研讨会(ISAAC)论文集)。第18届算法与计算国际研讨会论文集,LNCS,4835(2007),Springer,822-833·Zbl 1193.68124号
[4] Arvind,V。;达斯,B。;Köbler,J.,部分2-树标准化的logspace算法,(第三届俄罗斯国际计算机科学研讨会(CSR)论文集)。第三届俄罗斯国际计算机科学研讨会论文集(CSR),LNCS,5010(2008),Springer,40-51·Zbl 1142.68368号
[5] 巴拜,L。;Luks,E.M.,图的规范标记。图的规范标注,收录于STOC'83:第十五届ACM计算理论年会论文集(1983),ACM出版社:美国纽约ACM出版社
[6] Balaban,A.T.,《高度区分的基于距离的拓扑指数》,化学。物理学。莱特。,89, 399-404 (1982)
[7] 巴拉班,A.T。;Balaban,T.S.,基于距离信息的化学图的新顶点不变量和拓扑指数,J.Math。化学。,8, 383-397 (1991)
[8] 巴拉班,A.T。;Harary,F.,特征多项式并不能唯一地决定分子的拓扑结构,J.Chem。文件。,11, 258-259 (1971)
[9] Basak,S.C.,《邻域复杂性的信息论指数及其应用》(Devillers,J.;Balaban,A.T.,《QSAR和QSPAR中的拓扑指数和相关描述符》(1999),Gordon和Breach科学出版社:Gordon and Breach Science出版社,荷兰阿姆斯特丹),563-595
[10] 南卡罗来纳州巴萨克。;Magnuson,V.R.,《分子拓扑与麻醉》,Arzeim-福施/药品说明书。,33,I,501-503(1983)
[11] Bonchev,D.,《化学结构表征的信息论指标》(1983),研究出版社:研究出版社奇切斯特出版社
[12] Bonchev,D。;O.Mekenyan。;Trinajstić,N.,通过拓扑信息方法识别异构体,J.Compute。化学。,2, 2, 127-148 (1981)
[14] 孔戴,D。;Foggia,F。;Sansone,C。;Vento,M.,《模式识别中的图形匹配三十年》,《国际模式记录》。Artif公司。整数。,18, 265-298 (2004)
[15] 科尔曼,T.H。;Leiserson,C.E。;Rivest,R.L.,《算法导论》(1990),麻省理工学院出版社·Zbl 1158.68538号
[16] 科内尔·D·G。;Gotlieb,C.C.,图同构的有效算法,J.ACM,17,51-64(1970)·Zbl 0199.27801号
[17] 科斯塔,L.daF。;罗德里格斯,F。;Travieso,G.,复杂网络的表征:测量调查,高级物理。,56, 167-242 (2007)
[18] (Dehmer,M.,《复杂网络的结构分析》(2010),Birkhäuser Publishing)·Zbl 1201.05002号
[19] Dehmer,M。;Emmert-Streib,F。;Tsoy,Y。;Varmuza,K.,《量化图的结构复杂性:数学化学中的信息度量》(Putz,M.,原子和分子的量子前沿(2011),Nova Publishing),479-498
[20] Dehmer,M。;Grabner,M。;Furtula,B.,《使用基于距离、度和特征值的度量对网络进行结构区分》,《公共科学图书馆·综合》,第7期,e38564页(2012年)
[21] Dehmer,M。;Grabner,M。;Varmuza,K.,《图形的高分辨力信息指数》,《公共科学图书馆·综合》,7,e31214(2012)
[22] Dehmer,M。;Kraus,V.,关于图熵的极值性质,MATCH Commun。数学。计算。化学。,68, 889-912 (2012) ·Zbl 1289.05228号
[23] Dehmer,M。;Mowshowitz,A.,图熵度量的历史,Inform。科学。,1, 57-78 (2011) ·Zbl 1204.94050号
[24] Devillers,J。;Balaban,A.T.,《QSAR和QSPR中的拓扑指数和相关描述符》(1999),Gordon和Breach科学出版社:Gordon and Breach Science出版社,荷兰阿姆斯特丹
[25] Diudea,M.V。;古特曼,I。;Jäntschi,L.,《分子拓扑》(2001),Nova出版社:Nova Publishing New York,NY,USA
[26] Faulon,J.L.,《分子图的同构、自同构划分和正则标记可以在多项式时间内求解》,J.Chem。通知。计算。科学。,38, 3, 432-444 (1998)
[27] 古特曼,I。;李,X。;Zhang,J.,Graph energy,(Dehmer,M.;Emmert-Streib,F.,《复杂网络分析:从生物学到语言学》(2009),Wiley-VCH),145-174·兹比尔1256.05140
[28] Halin,R.,Graphentherie(1989),Akademie Verlag:德国柏林·Zbl 0684.05015号
[29] 霍尔,N.R。;Preiser,S.,《综合网络复杂性度量》,IBM J.Res.Develop。,28, 15-27 (1984)
[30] Harary,F.,图论(1969),Addison-Wesley出版公司:Addison-卫斯理出版公司,美国马萨诸塞州雷丁·Zbl 0182.57702号
[31] 伊伦菲尔德,W.-D。;Gasteiger,J.,《分子结构元素识别和分类的哈希码》,J.Compute。化学。,15, 8, 793-813 (1994)
[33] Junttila,T。;Kaski,P.,《为大型和稀疏图设计一个有效的规范标注工具》(Applegate,D.;Stolting Brodat,G.;Panario,D.;Sedgewick,R.,《第九届算法工程与实验研讨会论文集》和《第四届分析算法与组合数学研讨会论文集(2007)》,SIAM)·Zbl 1428.68222号
[34] Konstantinova,E.V.,非分支六边形系统图的一些拓扑和信息距离指数的判别能力,J.Chem。通知。计算。科学。,36, 54-57 (1996)
[35] Konstantinova,E.V.,《关于信息指数在化学图论中的一些应用》,(Ahlswede,R.;Bäumer,L.;Cai,N.;Aydinian,H.;Blinovsky,V.;Deppe,C.;Mashurian,H.,《信息传递与组合学通论》,《信息传输与组合学通用理论》,《计算机科学讲义》(2006),施普林格),831-852·Zbl 1158.94337号
[36] Konstantinova,E.V。;Paleev,A.A.,多环图拓扑指数的敏感性,Vychils。Sistemy,136,38-48(1990),(俄语)·Zbl 0769.05068号
[37] 李,F。;Shang,H。;Woo,P.Y.,基于电路仿真的同构判定及其在任意图中的应用,电路系统。信号处理。,27, 5, 749-761 (2008) ·Zbl 1173.94472号
[38] 刘杰。;Liu,B.,图的类拉普拉斯能量不变量,MATCH Commun。数学。计算。化学。,2, 355-372 (2008) ·Zbl 1164.05044号
[39] 刘,X。;Klein,D.J.,图同构问题,计算机J。化学。,12, 10, 1243-1251 (1991)
[40] Luks,E.M.,有界价图的同构可以在多项式时间内进行测试,J.Compute。系统。科学。,25, 42-49 (1982) ·Zbl 0493.68064号
[41] McKay,B.D.,图同构,Congr。数字。,730, 45-87 (1981)
[43] 梅勒,A。;魏平。;Lücking,A.,人际结盟的网络模型,熵,12,61440-1483(2010)
[44] Mowshowitz,A.,图的熵和复杂性I:图的相对复杂性指数,Bull。数学。生物物理学。,30, 175-204 (1968) ·Zbl 0165.57601号
[46] Noy,M.,由多项式不变量确定的图,Theor。计算。科学。,307, 2, 365-384 (2003) ·Zbl 1048.05072号
[48] Raychaudhury,C。;Ray,S.K。;Ghosh,J.J。;罗伊,A.B。;Basak,S.C.,《利用信息论拓扑指数鉴别异构体结构》,J.Compute。化学。,5, 581-588 (1984)
[49] 里德·R。;Corneil,D.,《图形同构疾病》,J.图论,1339-363(1977)·Zbl 0381.05026号
[50] Sagan,H.,《数学物理中的边界和特征值问题》(1989),多佛出版社·Zbl 1227.35003号
[51] Skiena,S.,《图形同构》(Pemmaraju,S.;Skiena,S.),《实现离散数学:组合数学和图论与数学》(1990),《阅读》,艾迪森·韦斯利:阅读》,马萨诸塞州艾迪生·韦斯利,美国),181-187·兹比尔0786.05004
[52] Spialter,L.,《原子连接性矩阵(ACM)及其特征多项式(ACMCP):一种新的面向计算机的化学命名法》,《美国化学杂志》。Soc.,85,2012-2013(1963)
[53] Toda,S.,图同构:其复杂性和算法(摘要),(Rangan,C.P.;Raman,V.;Ramanujam,R.,FSTTCS,软件技术和理论计算机科学基础,第19届会议,印度钦奈,1999年12月13日至15日,《计算机科学讲义》,第1738卷(1999年),施普林格出版社),341
[54] Todeschini,R。;Consonni,V。;Mannhold,R.,《分子描述符手册》(2002年),Wiley-VCH:Wiley-VC Weinheim,德国
[55] Ulanowicz,R.E.,生态学中的信息理论,计算。化学。,25, 393-399 (2001)
[56] Ulanowicz,R.E.,生态网络分析的定量方法,计算。生物化学。,28, 321-339 (2004) ·Zbl 1088.92061号
[57] Wang,W。;罗,Y.,关于图的类拉普拉斯能量不变量,线性代数应用。,437, 713-721 (2012) ·Zbl 1243.05156号
[58] 威廉·T。;Hollander,J.,网络的信息论描述,Physica A,388,385-396(2007)
[59] Wu,C.W.,关于拉普拉斯矩阵的多部分可分性在图同构下不变的图,Disc。马塞姆。,310, 2811-2814 (2010) ·Zbl 1208.05088号
[60] Zemlyachenko,V.N。;新墨西哥州科尔尼恩科。;Tyshkevich,R.I.,图同构问题,数学杂志。科学。,29, 1426-1481 (1985) ·Zbl 0564.05049号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。