×
阿莱夫，体育。;Selivanov，V.L。

可在多项式时间内计算的代数数字段。二、。 （英语。俄文原件） Zbl 1515.03158号

代数逻辑 60，第6号，349-359（2022）; 《代数逻辑60》第6期第533-548页（2021年）的译文。
摘要：本文是【代数逻辑58，No.6，447-469（2020；Zbl 1484.03058号); 《代数逻辑》58，No.6，673–705（2019）的翻译]，其中我们构造了复代数数域和实代数数有序域的多项式时间表示。在这里，我们讨论了此类结构的其他已知自然表示。我们证明了所有这些表示都是等价的，并证明了一个定理，解释了为什么会这样。在分析所提到的表示时，我们引入了商结构的概念。证明了多项式时间可计算商结构与普通商结构是否等价的问题几乎等价于（mathrm{P}=mathrm}NP}）问题。找到了答案为肯定的条件。

引用于5文件

MSC公司：

03C57号 可计算结构理论
03D45号 计算理论，有效呈现结构
2014年11月 代数数；代数整数环
2016年11月 数字理论算法；复杂性
11单元09 模型理论（数字理论方面）

关键词：

代数数域;多项式时间可计算结构;多项式时间可计算结构的等价性

引文：

Zbl 1484.03058号
PDF格式BibTeX公司 XML格式引用
\textit{P.E.Alaev}和\textit{V.L.Selivanov}，代数逻辑60，No.6，349--359（2022；Zbl 1515.03158）；《代数逻辑学》第60卷第6期第533--548页（2021年）的译文
全文： 内政部

参考文献：

[1] 阿莱夫，体育；Selivanov，VL，多项式时间内可计算的代数数域。一、 代数与逻辑，58，6，447-469（2019）·兹比尔1484.03058 ·doi:10.1007/s10469-020-09565-0
[2] 阿莱夫，体育；Selivanov，VL，代数数域的多项式时间表示，Lect。注释计算。科学。，10936, 20-29 (2018) ·Zbl 1509.03107号 ·doi:10.1007/978-3-319-94418-02
[3] 阿莱夫，体育；Selivanov，VL，代数数域的多项式可计算性，Dokl。RAN，481，4，355-357（2018）·Zbl 1509.03107号
[4] Alaev，PE，多项式时间可计算结构的存在性和唯一性，代数和逻辑，55，1，72-76（2016）·Zbl 1361.03042号 ·doi:10.1007/s10469-016-9377-6
[5] Alaev，PE，可在多项式时间内计算的结构。一、 代数与逻辑，55，6，421-435（2016）·Zbl 1420.03104号 ·doi:10.1007/s10469-017-9416-y
[6] D.Cenzer和J.B.Remmel，“复杂性理论模型理论和代数”，载于《递归数学手册》第1卷，递归模型理论，Y.L.Ershov、S.S.Goncharov、A.Nerode和J.B.Remmel（编辑），Stud.Log。已找到。数学。，138，Elsevier，阿姆斯特丹（1998），第381-513页·Zbl 0941.03035号
[7] A.I.Mal'tsev，“构造代数.I”，Usp。Mat.Nauk，16，第3期，3-60页（1961年）·Zbl 0129.25903号
[8] Goncharov，SS；Ershov，YL，《构造模型》，西伯利亚代数和逻辑学院（1999），新西伯利亚：诺克。新西伯利亚科尼加·Zbl 1043.03518号
[9] M.Coste M.和M.F.Roy，“Thom引理，实代数数的编码和半代数集拓扑的计算”，J.Symb。计算。，5，编号1/2，121-129（1988）·Zbl 0689.14006号
[10] Ershov，YL，《数词理论》（1977），莫斯科：瑙卡，莫斯科
[11] Alaev，PE，具有有限多个生成器的多项式可计算结构，代数和逻辑，59，3626-272（2020）·Zbl 1484.03079号 ·doi:10.1007/s10469-020-09598-5
[12] P.E.Alaev，“可在多项式时间内计算的有限生成结构”，提交给Sib。数学。J·Zbl 1420.03105号
[13] 布拉斯，A。；Gurevich，Y.，等价关系、不变量和正规形式，SIAM J.Compute。，13, 4, 682-689 (1984) ·Zbl 0545.68035号 ·doi:10.1137/0213042
[14] Glasser，C。；Reitwessner，C。；Selivanov，V.，NP和coNP的收缩性质，Theor。计算。科学。，412, 8-10, 853-864 (2011) ·Zbl 1223.68040号 ·doi:10.1016/j.tcs.2010.11.035
[15] A.Blass和Y.Gurevich，“等价关系、不变量和正规形式。II，”摘自《逻辑与机器：决策问题和复杂性》，Lect。票据构成。科学。，171，柏林施普林格出版社（1984年），第24-42页·Zbl 0545.68036号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。