×
杨朝池;五月，查尔曼·P。

用有限自动机寻找有向图同构的算法。 （英语） Zbl 0428.68072号

国际期刊计算。通知。科学。 9, 117-140 (1980).
页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面
扫描Zbl 0428.68072

MSC公司：

68兰特 计算机科学中的图论（包括图形绘制）
65年第68季度 形式语言和自动机
65年第68季度 算法和问题复杂性分析
05C20号 有向图（有向图），比赛
05-04 与组合学有关的问题的软件、源代码等

关键词：

用有限自动机寻找有向图同构;图同构问题;确定性状态机;摩尔机器;非确定性状态机;最坏情况复杂性
PDF格式BibTeX公司 XML格式引用
\textit{C.-C.Yang}和\textit{C.P.May}，国际计算机杂志。通知。科学。9、117--140（1980年；Zbl 0428.68072）
全文： 内政部

参考文献：

[1] A.T.Berztiss？有向图同构的回溯过程，？美国医学会期刊20:365？377 (1973). ·Zbl 0304.68042号 ·doi:10.1145/321765.321766
[2] D.G.Corneil和C.C.Gotlieb？图同构的一个有效算法，？美国医学会期刊17:51？64 (1970). ·Zbl 0199.27801号 ·doi:10.1145/321556.321562
[3] N.Deo、J.M.Davis和R.E.Lord？有向图同构的一种新算法，？比特17:16？30 (1977). ·兹比尔0362.68076 ·doi:10.1007/BF01932396
[4] F.哈拉里？图的邻接矩阵的确定，？SIAM版本4:202？210 (1962). ·Zbl 0113.17406号 ·数字对象标识代码：10.1137/104057
[5] J.E.Hopcraft和J.K.Wong？平面图同构的线性时间算法，？第六届美国计算机学会计算机理论年会论文集，华盛顿州西雅图，1974年，第172页？184
[6] R.M.Karp？组合问题之间的可约性，？《计算机计算的复杂性》，R.E.Miller和J.W.Thatcher主编，Plenum出版社，纽约（1972年），第85页？103
[7] G.列维？图同构：一种启发式的面向边划分的算法，？计算12:291？313 (1974). ·Zbl 0281.68022号 ·doi:10.1007/BF02253334
[8] F.R.摩尔？关于确定性、非确定性和双向有限自动机等价性证明中状态集大小的界，？IEEE传输。计算机C-20:1211？1214 (1971). ·Zbl 0229.94033号 ·doi:10.1109/T-C.1971.223108
[9] A.Proskurowski？搜索图的唯一关联矩阵，？比特14:209？226 (1974). ·Zbl 0285.05126号 ·doi:10.1007/BF01932948
[10] G.Salton，《自动信息组织和检索》，McGraw-Hill，纽约，（1968年）。
[11] D.C.Schmidt和L.E.Druffel？一种使用距离矩阵测试有向图同构的快速回溯算法，？美国临床医学杂志23:433？445 (1976). ·Zbl 0357.05049号 ·doi:10.145/321958.31963
[12] Y.J.Shah、G.I.Davids和M.K.McCarthy？最优特征与图同构，？IEEE传输。系统、单声道和控制论4:313？319 (1974). ·Zbl 0306.05133号 ·doi:10.1109/TSMC.1974.5409142
[13] 小E.H.Sussenguth？信息处理中的结构匹配，？博士论文，哈佛大学，马萨诸塞州剑桥市，1964年。
[14] 小E.H.Sussenguth？用于匹配化学结构的图形理论算法，？化学杂志。，36?43（1965年12月5日）。
[15] J.Turner？广义矩阵函数与图同构问题，？SIAM J.应用。数学。16:520?526 (1968). ·Zbl 0185.51701号 ·数字对象标识代码：10.1137/0116041
[16] J.R.Ullmann？模式识别技术，？Crane，Russak and Company，Inc.，纽约（1973年）·Zbl 0315.68001号
[17] J.R.Ullmann？子图同构的一种算法，？美国临床医学杂志21:31？42 (1976). ·Zbl 0323.05138号 ·数字对象标识代码：10.1145/321921.321925
[18] S.H.Unger？GIT-测试有向线图对同构的启发式程序，？通信ACM 7:26？34 (1964). ·Zbl 0123.33710号 ·数字对象标识代码：10.1145/363872.363899
[19] L.Weinberg？确定平面三连通图同构的一种简单有效的算法，？IEEE传输。电路理论13:142？148 (1966). ·doi:10.1109/TCT.1966.1082573
[20] C.C.杨？在顺序机器的状态集上生成所有闭合分区，？IEEE传输。计算机C-23:530？533 (1974). ·Zbl 0285.94026号 ·doi:10.10109/T-C.19974.223976
[21] C.C.杨？有限自动机的结构保持态射及其在图同构中的应用，？IEEE传输。计算机C-24:1133？1139 (1975). ·Zbl 0318.94044号 ·doi:10.1109/T-C.1975.224148
[22] C.C.杨和C.P.梅？关于有限自动机图同构的一个修正和一些评论，？IEEE传输。计算机C-27:95？96 (1978). ·Zbl 0369.94027号 ·doi:10.1109/TC.1978.1674961
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。