×

兹马思-数学第一资源

图的几乎对称性检测。(英语) Zbl 1400.05160号
摘要:我们提出了一个分枝定界框架来解决以下问题:给定一个图\(G\)和一个整数\(k\),找到一个由不超过\(k\)条边组成的使顶点轨道数目最小化的子图。我们把这种子图上的对称称为\(G\)的“几乎对称”。我们在PEBBL中实现了分支和绑定框架,以允许并行枚举,并演示了扩展到16个核心的良好性能。在测试图上,我们证明了所提出的分枝策略比随机分枝策略好得多。最后,我们将所提出的策略视为快速发现图的几乎对称性的启发式方法。作为本次提交文件一部分进行审查的软件已获得数字对象标识符doi:10.5281/zenodo.840558.
理学硕士:
05C60型 图论中的同构问题(重构猜想等)和同态(子图嵌入等)
05C85型 图算法(图论方面)
90C27型 组合优化
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] Arvind,V.,Köbler,J.,Kuhnert,S.,Vasudev,Y.:近似图同构。2012年计算机科学数学基础,第100-111页。斯普林格(2012)·Zbl 1365.68464号
[2] Babai,L.:拟多项式时间中的图同构。在:第48届ACM SIGACT计算理论研讨会论文集,STOC 2016,第684-697页,美国纽约,纽约。ACM(2016)·Zbl 1376.68058
[3] Buchheim,C.,Jünger,M.:模糊对称性检测的整数规划方法。国际制图研讨会,第166-177页。斯普林格(2003)·Zbl 1215.68172
[4] 卡尔伯森,J.,约翰逊,D.,莱万多夫斯基,G.,特技,M.:图着色实例。http://mat.gsia.cmu.edu/COLOR/instances.html2015年3月
[5] Darga,P.T.,Sakallah,K.A.,Markov,I.L.:使用对称稀疏性更快地发现对称性。第45届设计自动化年会论文集,DAC'08,第149-154页,纽约,纽约,美国
[6] 埃克斯坦,J;哈特,我们;Phillips,CA,PEBBL:一个面向对象的可伸缩并行分支定界框架,数学。程序。计算机,7429-469,(2015年)·Zbl 1329.90171
[7] Erdős,P;Rényi,A,不对称图,数学学报。洪,14295-315,(1963年)·Zbl 0118.18901号
[8] Feige,U.:平均情况复杂度和近似复杂度之间的关系。在:第34届ACM计算理论年会论文集,第534-543页。ACM(2002年)·Zbl 1192.68358号
[9] Feige,U.,Kilian,J.:零知识与色数。第十一届IEEE计算复杂性年会论文集,1996年,第278-287页。IEEE(1996)·Zbl 0921.68089
[10] Fox,M.,Long,D.,Poteous,J.:发现图中的近似对称性。第22届全国人工智能大会论文集,第一卷,第415-420页。AAI出版社(2007)
[11] Fürstenberg,C.:一幅图。http://en.wikipedia.org/wiki/Graph_theory#mediaviewer/File:6n-graf.svg,2015年3月
[12] 加雷,S.J.,一些简化的问题。第六届ACM计算理论研讨会论文集,第47-63页。ACM(1974)
[13] 戈德里奇,O;米卡利,S;维格森,A.证明只有其有效性或np语言中的所有语言都有零知识证明系统,J ACM,38690-728,(1991)·Zbl 0799.68101
[14] Knuth,D.E.:斯坦福GraphBase:组合计算平台,第37卷。艾迪生·韦斯利,雷丁(1993)·Zbl 0806.68121号
[15] Kuhn,HW,分配问题的匈牙利方法,Nav。资源日志。Q、 2,83-97,(1955年)·Zbl 0143.41905
[16] 林,C.-L:近似图变换问题的困难。在:算法和计算,第74-82页。斯普林格(1994)·Zbl 0953.68542
[17] Margot,F,分枝与切割中同构剪枝,数学。程序,94,71-90,(2002年)·Zbl 1023.90088
[18] Margot,F,利用对称ILP中的轨道,数学。程序,98,3-21,(2003)·Zbl 1082.90070
[19] Markov,I.:图的几乎对称性。国际对称会议论文集,第60-70页(2007)
[20] 关于图同构计数问题的注记。利特,8131-136,(1979年)·Zbl 0395.68057
[21] 实用图同构。范德比尔特大学计算机科学系(1981年)·Zbl 0521.05061
[22] 麦凯,BD;皮珀诺,A,实用图同构,II,J.Symb。Comput.,60,94-112,(2014年)·Zbl 1394.05079
[23] McKay,B.D.,Piperno,A.:Nauty迹线图。http://pallini.di.uniroma1.it/Graphs.html2015年3月
[24] 《分配和运输问题的算法》,J.Soc。工业应用。数学,5,32-38,(1957年)·Zbl 0083.15302
[25] O'Donnell,R.,Wright,J.,Wu,C.,Zhou,Y.:鲁棒图同构的硬度,Lasserre间隙和随机图的不对称性。第二十五届ACM-SIAM离散算法研讨会论文集,第1659-1677页。暹罗(2014)·Zbl 1422.68089
[26] 奥斯特罗夫斯基,J;林德罗斯,J;罗西,F;轨道分支,数学。计划,126147-178,(2011年)·Zbl 1206.90101
[27] 读,RC;《图同构病》,J.Gr.理论,1339-363,(1977)·Zbl 0381.05026
[28] Stachniss,C:C匈牙利方法的实现。http://www2.informatik.uni-freiburg.de/stachnis/misc.html,2015年3月
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。