文件大小：1.39 MB 13页
加权边有向图的同构检验
作者
阿道夫·皮佩诺 
-
部分： 体积： 第17届国际实验算法研讨会（SEA 2018）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 国际实验算法研讨会（SEA） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2018-06-19
文件
文件标识符
作者详细信息
引用为 获取BibTex
摘要
主题分类
ACM科目分类
计算数学→图论 计算方法→组合算法
关键词
实用图同构 加权有向图 分区优化
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
V.L.Arlazarov、I.I.Zuev、A.V.Uskov和I.A.Faradzhev。 将有限无向图简化为标准形式的算法。苏联计算数学和数学物理，14（3）：195-201974。 
-
拉什洛巴拜。 拟多项式时间中的图同构[扩展抽象]。 2016年，美国纽约州纽约市，STOC’16，第684-697页，第四十八届年度ACM计算理论研讨会论文集。 ACM公司。
-
克里斯托夫·伯克霍尔茨（Christoph Berkholz）、保罗·邦斯玛（Paul Bonsma）和马丁·格罗（Martin Grohe）。 规范颜色细化复杂性的严格上下限。 Hans L.Bodlaender和Giuseppe F.Italiano，《算法——2013年欧洲账户体系》编辑，第145-156页。 施普林格-柏林-海德堡，2013年。
-
蔡金一、马丁·福勒和尼尔·伊梅尔曼。 用于图形识别的变量数的最佳下界。 组合数学，12（4）：389-4101992。
-
D.G.科尼尔和C.C.戈特利布。 一种有效的图同构算法。 美国医学杂志，17（1）：51-641970。
-
Paul T.Darga、Mark H.Liffiton、Karem A.Sakallah和Igor L.Markov。 在cnf对称性检测中利用结构。 《第41届设计自动化年会论文集》，DAC’04，第530-534页，美国纽约州纽约市，2004年。 ACM公司。
-
Paul T.Darga、Karem A.Sakallah和Igor L.Markov。 使用对称性的稀疏性更快地发现对称性。 在《第45届设计自动化年会论文集》中，DAC’08，第149-154页，美国纽约州纽约市，2008年。 ACM公司。
-
约翰·霍普克罗夫特。 有限自动机中最小化状态的n log n算法。 Zvi Kohavi和Azaria Paz主编，《机器和计算理论》，第189-196页。 学术出版社，1971年。
-
托米·琼蒂拉和佩特里·卡斯基。 为大型和稀疏图设计一个高效的规范标记工具。 算法工程与实验会议记录，第135-149页，美国宾夕法尼亚州费城，2007年。 工业和应用数学学会。
-
托米·琼蒂拉和佩特里·卡斯基。 规范标记的冲突传播和组件递归。 阿尔贝托·马切蒂·帕卡米拉（Alberto Marchetti-Paccamela）和迈克尔·西格尔（Michael Segal）主编，《（计算机）系统中算法的理论与实践》，第151-162页。 施普林格-柏林-海德堡，2011年。
-
何塞·路易斯·洛佩斯·普雷萨、安东尼奥·费尔南德斯·安塔和路易斯·努涅斯·奇洛奎。 Conauto-2.0：快速同构测试和自同构群计算。 CoRR，abs/1108.10602011年。 网址： http://arxiv.org/abs/108.1060 . -
何塞·路易斯·洛佩斯·普雷萨和安东尼奥·费尔南德斯·安塔。 图同构测试的快速算法。 Jan Vahrenhold，《实验算法》编辑，第221-232页。 施普林格-柏林-海德堡，2009年。
-
布伦丹·D·麦凯。 实用图同构。 国会数学家，30:45-871980。
-
Brendan D.McKay和Adolfo Piperno。 nauty和Traces，软件分发网页。 http://cs.anu.edu.au/ ~bdm/nauty和URL: http://pallini.di.uniroma1.it . -
Brendan D.McKay和Adolfo Piperno。 nauty和Traces用户指南（2.6版）。 可在 http://cs.anu.edu.au/ ~bdm/nauty和URL: http://pallini.di.uniroma1.it . -
Brendan D.McKay和Adolfo Piperno。 实用图同构。 符号计算杂志，60:94-1122014。
-
Daniel Neuen和Pascal Schweitzer。 实用图同构的基准图。 2017年9月4日至6日在奥地利维也纳举行的第25届欧洲算法年会，2017年欧洲航天局，第60:1-60:14页。
-
R.Parris和Ronald C.Read。 图形的编码过程。 技术报告，西印度群岛大学计算机中心，1969年。
-
阿道夫·皮佩诺。 图的正则标号中的搜索空间收缩（初步版本）。 CoRR，abs/0804.48812008年。 网址： http://arxiv.org/abs/0804.4881 .