尼古拉·巴热诺夫;马修·哈里森·特雷纳;伊斯坎德卡利穆林;亚历山大·梅尔基诺夫;Ng，Keng Meng女士 自动和多项式时间代数结构。 （英语） Zbl 1454.03042号 J.塞姆。日志。 84，第4号，1630-1669（2019）. 每个自动结构都是可判定的，这一事实通过将特定结构表示为自动结构，为解决许多算法可判定性问题提供了一种方法。作者回答了库萨尼诺夫和内罗德提出的问题：对于一个结构来说，自动机是可呈现的，是否存在普遍接受的必要和充分条件？作者还研究了一个类似的问题，关于多项式时间可表示的结构A.内罗德和J.B.雷梅尔[竞赛数学.106，221–249（1990；Zbl 0701.03017号)].定理1.1。自动机可表示结构的索引集\（I{\mathrm{Aut}}=\{I\in\omega:\text{第}I\text{-th个可计算结构有一个自动表示}）是\（\Sigma_1^1）-完成的。因此，对于可计算结构，没有方便的必要和充分条件可以自动表示，下一个结果给出了多项式时间可表示结构的相同答案。定理1.2。多项式时间表示结构的索引集（I{mathrm{Poly}}={I\in\omega:\text{第二个可计算结构具有多项式时间表示}）是（Sigma_1^1）-完备的。审核人：Jamalbek Tussupov（阿斯塔纳） 引用于19文件 MSC公司： 03C57号 可计算结构理论 05年3月 与逻辑问题相关的自动机和形式文法 03D20日 递归函数和关系、子递归层次结构 03D45号 计算理论，有效呈现结构 03天80 可计算性和递归理论的应用 65年第68季度 形式语言和自动机 关键词：可计算结构;自动机表示结构;多项式时间表示结构 引文：Zbl 0701.03017号 PDF格式BibTeX公司 XML格式引用 \textit{N.Bazhenov}等人，J.Symb。日志。84，第4号，1630--1669（2019；Zbl 1454.03042） 全文： 内政部 链接 参考文献： [1] Abu Zaid，F.、Grädel，E.和Reinhardt，F.，《建议自动结构和统一自动类》，第26届EACSL计算机科学逻辑年会（CSL 2017）（Goranko，V.和Dam，M.，编辑），《莱布尼茨国际信息学学报》（LIPIcs），第82卷，德国达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所，2017年，第35:1-35:20页·Zbl 1434.03099号 [2] Alaev，P.E.，可在多项式时间内计算的结构的存在性和唯一性。《代数与逻辑》，第55卷（2016年），第1期，第72-76页·Zbl 1361.03042号 [3] Ash，C.和Knight，J.，《可计算结构与超算术层次》，《逻辑与数学基础研究》，第144卷，北荷兰，阿姆斯特丹，2000年·Zbl 0960.03001号 [4] Bennett，C.H.，计算的逻辑可逆性。IBM研究与开发杂志，第17卷（1973年），第525-532页·Zbl 0267.68024号 [5] Blumensath，A.和Grädel，E.，《自动结构》，第15届IEEE计算机科学逻辑年会（加州圣巴巴拉，2000年）（Williams，A.D.，编辑），IEEE计算机社会出版社，加州洛斯阿拉米托斯，2000年，第51-62页。 [6] Braun，G.和Strüngmann，L.，《分解有限自动机可表示的无扭阿贝尔群》。《国际代数与计算杂志》，第21卷（2011年），第8期，第1463-1472页·Zbl 1245.20067号 [7] Brumleve，D.、Hamkins，J.D.和Schlicht，P.，《无限象棋的mate-in-n问题是可判定的》，《世界如何计算》（Cooper，S.B.、Dawar，A.和Löwe，B.编辑），《计算机科学讲义》，第7318卷，斯普林格，海德堡，2012年，第78-88页·Zbl 1357.03042号 [8] Calvert，W.、Fokina，E.、Goncharov，S.S.、Knight，J.F.、Kudinov，O.、Morozov，A.S.和Puzarenko，V.，高阶结构类的索引集，本期刊，第72卷（2007），第4期，第1418-1432页·Zbl 1145.03021号 [9] Carson，J.、Harizanov，V.、Knight，J.，Lange，K.、McCoy，C.、Morozov，A.、Quinn，S.、Safranski，C.和Wallbaum，J.《描述自由群》。《美国数学学会学报》，第364卷（2012年），第11期，第5715-5728页·兹比尔1302.03045 [10] Cenzer，D.、Downey，R.G.、Remmel，J.B.和Uddin，Z.，阿贝尔群的空间复杂性。《数理逻辑档案》，第48卷（2009年），第1期，第115-140页·Zbl 1161.03021号 [11] Cenzer，D.和Remmel，J.，《多项式时间与递归模型》。《纯粹和应用逻辑年鉴》，第54卷（1991年），第1期，第17-58页·Zbl 0756.03021号 [12] Cenzer，D.和Remmel，J.，《可行范畴阿贝尔群》，《可行数学，II》（纽约州伊萨卡，1992年）（Clote，P.和Remmel，J.B.，编辑），《计算机科学与应用逻辑进展》，第13卷，伯克哈用户波士顿，马萨诸塞州波士顿，1995年，第91-153页·Zbl 0846.03014号 [13] Cenzer，D.和Remmel，J.B.，《多项式时间与可计算布尔代数，递归理论与复杂性》，《1997年喀山研讨会论文集》（Arslanov，M.和Lempp，S.，编辑），de Gruyter，柏林，1999年，第15-53页·Zbl 0948.03039号 [14] Cenzer，D.A.和Remmel，J.B.，多项式时间阿贝尔群。《纯粹和应用逻辑年鉴》，第56卷（1992年），第1-3期，第313-363页·Zbl 0764.03015号 [15] Delhommé，C.，Automaticitédes ordinaux et des grapes homagenes。巴黎科学院，第339卷（2004年），第1期，第5-10页·Zbl 1077.68071号 [16] Downey，R.和Melnikov，A.G.，可计算完全可分解群。《美国数学学会学报》，第366卷（2014年），第8期，第4243-4266页·Zbl 1341.03056号 [17] Downey，R.G.、Kach，A.M.、Lempp，S.、Lewis-Pye，A.E.M.、Montalban，A.和Turetsky，D.D.，可计算范畴的复杂性。《数学进展》，第268卷（2015年），第423-466页·Zbl 1345.03063号 [18] Downey，R.G.和Montalbán，A.，无挠阿贝尔群的同构问题是解析完全的。《代数杂志》，第320卷（2008年），第6期，第2291-2300页·Zbl 1156.03042号 [19] Epstein，D.B.A.、Cannon，J.W.、Holt，D.F.、Levy，S.V.F.、Paterson，M.S.和Thurston，W.P.，《群组中的文字处理》，琼斯和巴特利特出版社，马萨诸塞州波士顿，1992年·2017年7月64日 [20] Ershov，Y.和Goncharov，S.，《构造模型》，西伯利亚代数和逻辑学院，顾问局，纽约，2000年·Zbl 0954.03036号 [21] Fokina，E.B.，可判定模型的索引集。Sibirskii Matematicheskii Zhurnal，第48卷（2007年），第5期，第1167-1179页·Zbl 1164.03326号 [22] Fokina，E.B.、Goncharov，S.S.、Kharizanova，V.、Kudinov，O.V.和Turetski，D.，关于m可判定表示的n可判定结构的索引集。《代数逻辑》，第54卷（2015年），第4期，第520-528、544-545、547-548页。 [23] Fröhlich，A.和Shepherdson，J.C.，《场论中的有效程序》。伦敦皇家学会哲学学报。A辑，第248卷（1956年），第407-432页·Zbl 0070.03502号 [24] Fuchs，L.，无限阿贝尔群。第一卷，《纯粹与应用数学》，第36卷，学术出版社，纽约，1970年·Zbl 0209.05503号 [25] Fuchs，L.，无限阿贝尔群。第二卷，纯数学和应用数学。第36-II卷，学术出版社，纽约，1973年·Zbl 0257.20035号 [26] Gončarov，S.S.，《非自动等价构造的数量》。《逻辑代数》，第16卷（1977年），第3期，第257-282页，第377页·Zbl 0405.03016号 [27] Goncharov，S.S.、Bazhenov，N.A.和Marchuk，M.I.，布尔代数的索引集，相对于强构造是自动稳定的。Sibirskii Matematicheskii Zhurnal，第56卷（2015年），第3期，第498-512页·Zbl 1349.03036号 [28] Goncharov，S.S.、Bazhenov，N.A.和Marchuk，M.I.，自然类构造模型的索引集，相对于强构造而言是自动稳定的。Doklady Akademii Nauk，第464卷（2015年），第1期，第12-14页。 [29] Goncharov，S.S.和Naĭt，D.，可计算结构和反结构定理。《代数逻辑》，第41卷（2002年），第6期，第639-681页，第757页·Zbl 1034.03044号 [30] Grigorieff，S.，《每个递归线性排序在dtime-space（n，log（n））中都有一个副本》，《期刊》，第55卷（1990年），第1期，第260-276页·Zbl 0708.03015号 [31] Harrison，J.，递归伪维序。《美国数学学会学报》，第131卷（1968年），第526-543页·Zbl 0186.01101号 [32] 哈里森·特雷纳（Harrison-Trainor，M.），对可判定的可展示结构没有分类。《数理逻辑杂志》，第18卷（2018），第2期，1850010·Zbl 1522.03125号 [33] Hjorth，G.，可数无挠阿贝尔群上的同构关系。《数学基础》，第175卷（2002年），第3期，第241-257页·Zbl 1021.03042号 [34] 霍奇森，B.R.，《关于自动机可判定理论的直接积》。《理论计算机科学》，第19卷（1982年），第3期，第331-335页·兹伯利0493.03002 [35] Jain，S.、Khoussainov，B.和Stephan，F.，有限生成半自动群。可计算性，第7卷（2018年），第2-3期，第273-287页·Zbl 1396.20031号 [36] Jain，S.、Khoussainov，B.、Stephan，F.、Teng，D.和Zou，S.，《半自动结构》。《计算系统理论》，第61卷（2017年），第4期，第1254-1287页·Zbl 1420.03072号 [37] Kalimullin，I.、Melnikov，A.和Ng，K.M.，《可立即计算的代数结构》。理论计算机科学，第674卷（2017），第73-98页·Zbl 1418.03151号 [38] Kalimullin，I.S.、Melnikov，A.G.和Ng，K.M.，《毫不拖延的分类多样性》。《代数与逻辑》，第56卷（2017年），第2期，第171-177页·Zbl 1423.03151号 [39] Kharlampovich，O.、Khousainov，B.和Myasnikov，A.，《从自动结构到自动组》。《群体、几何与动力学》，第8卷（2014年），第1期，第157-198页·Zbl 1322.20025号 [40] Khousainov，B.、Liu，J.和Minnes，M.，《一元自动图：算法视角》。《计算机科学中的数学结构》，第19卷（2009年），第1期，第133-152页·Zbl 1163.68034号 [41] Khousainov，B.和Minnes，M.，《自动结构的模型理论复杂性》。《纯粹和应用逻辑年鉴》，第161卷（2009年），第3期，第416-426页·Zbl 1221.03025号 [42] Khousainov，B.和Minnes，M.，《关于自动结构的三次讲座》，《2007年逻辑学术讨论会》（Delon，F.，Kohlenbach，U.，Maddy，P.和Stephan，F.编辑），《逻辑讲义》，第35卷，符号逻辑协会，加利福尼亚州拉荷亚，2010年，第132-176页·Zbl 1228.03017号 [43] Khoussainov，B.和Nerode，A.，《结构、逻辑和计算复杂性的自动表示》（印第安纳波利斯，IN，1994）（Leivant，D.，编辑），《计算机科学讲义》，第960卷，柏林斯普林格出版社，1995年，第367-392页。 [44] Khousainov，B.和Nerode，A.，《自动结构理论中的开放性问题》。《欧洲理论计算机科学协会公报》（2008），第94期，第181-204页·Zbl 1169.03352号 [45] 库萨诺夫，B.、尼尔斯，A.、鲁宾，S.和斯蒂芬，F.，《自动结构：丰富性和局限性》。《计算机科学中的逻辑方法》，第3卷（2007年），第2期，第2:2、18页·Zbl 1128.03028号 [46] Khousainov，B.和Rubin，S.，《自动结构：概述和未来方向》。《自动化杂志》，《语言与组合数学》，第8卷（2003年），第2期，第287-301页·兹比尔1058.68070 [47] Lachlan，A.H.，关于与递归可数集理论相关的一些对策。《数学年鉴》（2），第91卷（1970年），第291-310页·Zbl 0276.02023号 [48] Lempp，S.和Slaman，T.A.，《（aleph_0）范畴理论和Ehrenfeucht理论索引集的复杂性》，《逻辑学进展》（Gao，S.，Jackson，S.以及Zhang，Y.编辑），《当代数学》，第425卷，美国数学学会，普罗维登斯，RI，2007年，第43-47页·Zbl 1123.03035号 [49] Lyndon，R.C.和Schupp，P.E.，组合群理论，数学经典，Springer-Verlag，柏林，2001年，1977年版再版·兹比尔0997.20037 [50] Mal'cev，A.，《构造代数》。I.Uspekhi Matematicheskikh Nauk，第16卷（1961年），第3（99）号，第3-60页·Zbl 0129.25903号 [51] McCoy，C.和Wallbaum，J.，描述自由基，第二部分：（{\rm{\Pi}}_4^0）硬度和无（{\rm{\Sigma}}_2^0）基。《美国数学学会学报》，第364卷（2012年），第11期，第5729-5734页·Zbl 1325.03037号 [52] Melnikov，A.G.，《消除可计算代数中的无界搜索》，《揭示动力学和复杂性》（Kari，J.、Manea，F.和Petre，I.编辑），《计算机科学讲义》，第10307卷，Springer，Cham，2017年，第77-87页·Zbl 1433.03117号 [53] Nerode，A.和Remmel，J.B.，多项式时间等价类型，逻辑与计算（宾夕法尼亚州匹兹堡，1987年）（Sieg，W.，编辑），当代数学，第106卷，美国数学学会，罗德岛普罗维登斯，1990年，第221-249页·Zbl 0701.03017号 [54] Nies，A.和Semukhin，P.，有限自动机可表示阿贝尔群。《纯粹与应用逻辑年鉴》，第161卷（2009年），第3期，第458-467页·Zbl 1219.68116号 [55] Nurtazin，A.T.，强弱构造和可计算族。《代数与逻辑》，第13卷（1974年），第3期，第177-184页·Zbl 0305.02061号 [56] Oliver，G.P.和Thomas，R.M.，《有限生成群的自动演示》，STACS 2005（Diekert，V.和Durand，B.编辑），《计算机科学讲义》，第3404卷，Springer，柏林，2005年，第693-704页·Zbl 1118.20301号 [57] Rabin，M.，可计算代数，可计算域的一般理论和理论。《美国数学学会学报》，第95卷（1960年），第341-360页·Zbl 0156.01201号 [58] Riggs，K.，无挠阿贝尔群的可分解性问题是解析完全的。《美国数学学会学报》，第143卷（2015年），第8期，第3631-3640页·Zbl 1347.03083号 [59] Rogers，H.，《递归函数和有效可计算性理论》，第二版，麻省理工学院出版社，马萨诸塞州剑桥，1987年。 [60] Selivanov，V.L.，一般递归函数族的枚举。《代数与逻辑》，第15卷（1976年），第2期，第128-141页·Zbl 0358.02051号 [61] Soare，R.，《递归可枚举集和度》，《数学逻辑中的透视》，Springer-Verlag，柏林，1987年，《可计算函数和可计算生成集的研究》·Zbl 0623.03042号 [62] Spector，C.，递归有序，本期刊，第20卷（1955年），第151-163页·兹比尔0067.00303 [63] Thomas，S.，有限秩无挠阿贝尔群的分类问题。《美国数学学会杂志》，第16卷（2003年），第1期，第233-258页·Zbl 1021.03043号 [64] Tsankov，T.，《理性的加法组没有自动呈现》，《期刊》，第76卷（2011年），第4期，第1341-1351页·Zbl 1247.03070号 [65] 范德瓦尔登，B.，Eine Bemerkungüber die Unzerlegbarkeit von Polynomen。《数学年鉴》，第102卷（1930年），第1期，第738-739页。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。