×
蒂姆·博伊基特

可逆一维细胞自动机的高效穷举列表。 （英语） Zbl 1071.68065号

西奥。计算。科学。 325，第2期，215-247（2004）.
摘要：本文研究一维细胞自动机的代数公式。使用公式连接组合结构和图论变得清晰。关于唯一性和同构的强大结果允许我们概述生成可逆一维细胞自动机穷举列表的有效算法，并计算存在的不同示例的数量。这些算法使用“有序算法”方法来避免暴力搜索的陷阱。

引用于9文件

MSC公司：

68问题80 细胞自动机（计算方面）

关键词：

一维细胞自动机;详尽的枚举;有序算法;代数模型;图形模型

软件：

间隙;琳达;葡萄;鹦鹉螺
PDF格式BibTeX公司 XML格式引用
\textit{T.Boykett}，Theor。计算。科学。325，第2号，215--247（2004；Zbl 1071.68065）
全文： 内政部

整数序列在线百科全书：

n阶幂等可逆二元（即半径的一半）细胞自动机的个数。等价地，n个节点上的环节点对称2-色唯一2-路图的个数。等价地，n阶幂等半中心双群的个数。

参考文献：

[1] Amaroso，S。；Patt，Y.N.，镶嵌结构平行映射的满射性和内射性的决策程序，J.Comp。《系统科学》，6448-464（1972）·Zbl 0263.94019号
[2] Charles H.Bennett，《计算的逻辑可逆性》，IBM J.Res.Dev.，1973年11月，第525-532页。；Charles H.Bennett，《计算的逻辑可逆性》，IBM J.Res.Dev.，1973年11月，第525-532页·Zbl 0267.68024号
[3] Tim Boykett，可逆计算的代数方面，西澳大利亚大学博士论文，1997年。；Tim Boykett，可逆计算的代数方面，西澳大利亚大学博士论文，1997年·Zbl 0891.16028号
[4] Tim Boykett，朝向一维可逆细胞自动机的Noether-like守恒定律，可用作http://www.arxiv.org/abs/nline.CG/031003; Tim Boykett，朝向一维可逆细胞自动机的Noether-like守恒定律，可用作http://www.arxiv.org/abs/nlin.CG/0312003
[5] Tim Boykett，Cris Moore，《通勤细胞自动机，复杂系统》（1997）55-64。；Tim Boykett，Cris Moore，《通勤细胞自动机》，《复杂系统》（1997）55-64·Zbl 1338.68189号
[6] A.亚瑟·德里斯科；Moore，Cris，细胞自动机块变换的代数性质，复杂系统，10185-194（1996）·Zbl 0893.68109号
[7] 特雷弗·埃文斯，点的乘积-一些简单代数及其恒等式，美国数学。月刊（1967）362-372。；特雷弗·埃文斯，点的乘积-一些简单代数及其恒等式，美国数学。月刊（1967）362-372·Zbl 0207.32901号
[8] M.A.Fiol，I.Alegra，J.L.A.Yebra，J.Fábrega，顶点之间行走长度相等的有向图，In:Y.Alavi，G.Chartrand，L.Lesnick，D.R.Lick，C.E.Wall（编辑），图论及其在算法和计算机科学中的应用，Wiley，1985年，第313-322页。；M.A.Fiol，I.Alegra，J.L.A.Yebra，J.Fábrega，顶点之间行走长度相等的有向图，In:Y.Alavi，G.Chartrand，L.Lesnick，D.R.Lick，C.E.Wall（编辑），图论及其在算法和计算机科学中的应用，Wiley，1985年，第313-322页·Zbl 0571.05021号
[9] 戴维·盖伦特（David Gelernter），《琳达的生殖传播》（Generative communication in Linda），ACM Trans。掠夺。语言系统，7，1，80-112（1985）·Zbl 0559.68030号
[10] Guggenberger，W。；Rung，J.，L-Grupopoidebraische und topologische Eigenschaften spezielle Gruppoide，贡献代数几何，44，1，263-283（2003）·Zbl 1016.22002年
[11] David Hillman，可逆一维细胞自动机的结构，Physica D，52，277-292（1991）·Zbl 0793.68106号
[12] 霍夫曼，A.J.，研究问题2-11，J.组合理论，2393（1967）
[13] J.Kari，《关于可逆细胞自动机的逆邻域》，载于：G.Rosenberg，A.Salomaa（编辑），Lindenmayer Systems，《理论计算机科学、计算机图形学和发育生物学的影响》，1992年，第477-495页。；J.Kari，《关于可逆细胞自动机的逆邻域》，In：G.Rosenberg，A.Salomaa（编辑），Lindenmayer Systems，Impact In Theory Computer Science，Computer Graphics and Development Biology，1992，第477-495页·Zbl 0785.68069号
[14] Kari，J.，2D细胞自动机的可逆性是不可判定的，Physica D，45，379-385（1993）·兹比尔0729.68058
[15] E.Knuth，Donald，《关于中心群的注释》，J.Combin.Theory，8376-390（1970）·Zbl 0192.34501号
[16] Lam，C.W.H.，关于满足（A^m=dI+λJ\）的有理循环，Lin.Alg。应用，12139-150（1975）·Zbl 0332.15007号
[17] Lam，C.W.H.，关于（A^m=dI+λJ\）的一些解，J.Combination Theory Ser。A、 29140-147（1977）·兹比尔0354.05022
[18] Länger，H.，诱导群胚和诱导半群，（Kautschitsch，Hermann；等，《对普通代数的贡献》（1979），Verlag Johannes Heyn:Verlag Johnnes Heyn Klagenfurt），177-186·Zbl 0398.20058号
[19] Le Bruyn，L。；Van Den Bergh，M.，线性细胞自动机的代数性质，线性代数应用，157（1991）·Zbl 0790.68083号
[20] Ma，S.L.，关于满足（A^m=dI+λJ\）的有理循环，Lin.Alg。申请书，62，155-161（1984）·Zbl 0552.15005号
[21] B.D.McKay，；B.D.McKay，
[22] McKay，B.D.，无同构穷举生成，J.Algorithms，26，306-324（1998）·Zbl 0894.68107号
[23] McLean，David，幂等半群，Amer。数学。月刊，64，110-113（1954）·Zbl 0055.01404号
[24] N.S.Mendelsohn，具有唯一路径性质的有向图，In:P.Erdos，A.Renyi，Vera T.Sos（编辑），组合理论及其应用，第4卷，数学学会Janos Bolyai，1970年，第783-799页。；N.S.Mendelsohn，具有唯一路径性质的有向图，In:P.Erdos，A.Renyi，Vera T.Sos（编辑），组合理论及其应用，第4卷，数学学会Janos Bolyai，1970年，第783-799页·Zbl 0209.28402号
[25] Moore，Cris，准线性细胞自动机，Physica D，103，100-132（1997）·Zbl 1194.37023号
[26] Moore，Cris，《通过将非线性细胞自动机分解为线性细胞自动机快速预测》，Physica D，111，27-41（1998）·Zbl 0932.37004号
[27] 盛田贤一；Harao，Masateru，一维可逆（内射）细胞自动机的计算普适性，Trans。IEICE E，72,6758-762（1989）
[28] D.E.Otero，提取（m）；D.E.Otero，提取\（m\）·Zbl 2014年9月7日
[29] Pedersen，John，元胞自动机作为代数系统，复杂系统，6237-250（1992）·Zbl 0768.68105号
[30] Pilz，Günter，Near ring，《数学研究》，第23卷（1983年），北荷兰：北荷兰阿姆斯特丹·Zbl 0225.16019
[31] 里德，R.C.，《每个人都是赢家》，《离散数学》，2107-120（1978）·Zbl 0392.05001号
[32] Richardson，D.，局部变换的Tesselations，J.Comp。系统科学，6373-388（1972）·兹比尔0246.94037
[33] F.Royle，Gordon，有限几何中的有序算法和一些应用，《离散数学》，185，105-115（1998）·Zbl 0956.68148号
[34] Ryser，H.J.，矩阵方程的推广（A^2=J），Lin.Alg。申请书，3451-460（1970）·Zbl 0206.29402号
[35] Martin Schönert等人，《GAP，群组算法和编程》，《技术报告》，Lehrstuhl Dür Mathematik，亚琛RWTH，1994年。；Martin Schönert等人，《GAP，群组算法和编程》，《技术报告》，Lehrstuhl Dür Mathematik，RWTH Aachen，1994年。
[36] E.Shader，Leslie，关于所有可能秩的有限中心群的存在性，J.Combin.理论Ser A，16，221-229（1974）·Zbl 0279.20048号
[37] L.H.Soicher，葡萄; L.H.Soicher，葡萄·Zbl 0833.05071号
[38] 托马索·托福利；H.Margolus，Norman，可逆细胞自动机综述，Physica D，45，229-253（1993）·Zbl 0729.68066号
[39] W.T.Tutte，《图论，数学及其应用百科全书》，第21卷，组合数学，剑桥大学出版社，剑桥，2001年。；W.T.Tutte，《图论，数学及其应用百科全书》，第21卷，组合数学，剑桥大学出版社，剑桥，2001年·Zbl 0964.05001号
[40] Vorhees，《关于加性细胞自动机内射性的注记》，《复杂系统》8（1994）151-159。；Vorhees，《关于加性细胞自动机内射性的注记》，《复杂系统》8（1994）151-159·Zbl 0828.68098号
[41] 王凯，关于矩阵方程（A^m=λJ\），J.Combination Theory Ser。A、 29、134-141（1980）·Zbl 0445.15010号
[42] 王凯，关于矩阵方程（A^m=λJ）的（g）-循环解，J.Combination Theory Ser。A、 33287-296（1982年）·Zbl 0493.15011号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。