×
罗德尼·唐尼;马修·哈里森·特雷纳;伊斯坎德卡利穆林;亚历山大·梅尔尼科夫;丹尼尔·特雷茨基

对于在线可计算性来说，图形并不是通用的。 （英语） Zbl 1476.03046号

J.计算。系统。科学。 112, 1-12 (2020).
作者研究了所谓的准时通用结构类。非正式地，如果存在一个统一的本原递归变换，将有限签名的任何结构转换为该类中的结构，并且该变换具有逆变换，并且这两种变换也尊重同构，那么这类结构就称为准时通用。他们证明了只有一个二元函数符号的结构类是准时通用的。给出了准时范畴图的描述。从这个描述中可以看出，这类图不是准时通用的。
审核人：安德烈·莫罗佐夫（新西伯利亚）

引用于12文件

MSC公司：

03C57 可计算结构理论
03D45号 计算理论，有效呈现结构

关键词：

可计算性;逻辑;在线计算抽象理论
PDF格式BibTeX公司 XML格式引用
\textit{R.Downey}等人，J.Compute。系统。科学。112、1-12（2020年；Zbl 1476.03046）
全文： 内政部

参考文献：

[1] Alaev，P.E.，可在多项式时间内计算的结构。一、 代数日志。，55, 6, 421-435 (2017) ·Zbl 1420.03104号
[2] Alaev，P.E.，可在多项式时间内计算的结构。二、 代数日志。，56429-442（2018）·Zbl 1420.03105号
[3] Bazhenov，N。；唐尼，R。；卡里穆林，I。；Melnikov，A.，《在线结构理论基础》，Bull。符号。日志。，25, 2, 141-181 (2019) ·Zbl 1477.03167号
[4] Allan Borodin；El-Yaniv，Ran，《在线计算和竞争分析》（1998），剑桥大学出版社：剑桥大学出版社，纽约·Zbl 0931.68015号
[5] 道格拉斯·森泽（Douglas Cenzer）；罗德尼·G·唐尼。；杰弗里·雷梅尔（Jeffrey B.Remmel）。；Uddin，Zia，Abelian群的空间复杂性，Arch。数学。日志。，48, 1, 115-140 (2009) ·Zbl 1161.03021号
[6] Cenzer，D。；Remmel，J.B.，《多项式时间与可计算布尔代数》，（Arslanov，M.；Lempp，S.，《递归理论与复杂性》，1997年《喀山研讨会论文集》（1999），de Gruyter），15-53·Zbl 0948.03039号
[7] Douglas A.Cenzer。；Remmel，Jeffrey B.，多项式时间与递归模型，Ann.Pure Appl。日志。，54, 1, 17-58 (1991) ·兹伯利0756.03021
[8] Douglas A.Cenzer。；Jeffrey B.Remmel，多项式时间阿贝尔群，Ann.Pure Appl。日志。，56，1-3313-363（1992年）·Zbl 0764.03015号
[9] Cenzer，D。；Remmel，J.B.，《复杂性理论模型理论与代数》，（Ershov，Yu.L.；Goncharov，S.S.；Nerode，A.；Remmol，J.B，《递归数学手册》，《发现的逻辑研究》，数学，第138卷（1998年），《北荷兰：北荷兰阿姆斯特丹》），381-513·Zbl 0941.03035号
[10] Dehn，M.，u ber unendliche diskontinuierliche Gruppen，数学。安，71，1，116-144（1911）
[11] 大卫·B·A·爱泼斯坦。；詹姆斯·坎农（James W.Cannon）。；霍尔特（Derek F.Holt）。；西尔维奥·列维（Silvio V.F.Levy）。；Michael S.Paterson。；威廉·瑟斯顿（William P.Thurston），《群组中的文字处理》（1992），琼斯和巴特利特出版社：琼斯和巴特利特出版社，马萨诸塞州波士顿·2017年7月64日
[12] Ershov，Y。；Goncharov，S.，《建构模型》（西伯利亚代数与逻辑学院（2000），咨询局：纽约咨询局）·Zbl 0954.03036号
[13] （Ershov，Yu.L.；Goncharov，S.S.；Nerode，A.；Remmel，J.B.；Marek，V.W.，《递归数学手册》，第1卷。递归数学手册，第1卷，逻辑研究和数学基础，第138卷（1998），北荷兰人：北荷兰阿姆斯特丹），递归模型理论·Zbl 0930.03037号
[14] （Ershov，Yu.L.；Goncharov，S.S.；Nerode，A.；Remmel，J.B.；Marek，V.W.，《递归数学手册》，第2卷。递归数学手册，第2卷，逻辑和数学基础研究，第139卷（1998年），北荷兰：北荷兰阿姆斯特丹），递归代数，分析和组合学·Zbl 0905.03002号
[15] Gončarov，S.S。；Dzgoev，V.D.，模型的自稳定性，代数对数。，19, 1, 45-58 (1980), 132 ·Zbl 0468.03023号
[16] Goncharov，S。；奈特，J.，可计算结构和反结构定理，代数日志。，41, 6, 351-373 (2002) ·Zbl 1034.03044号
[17] Grigorieff，Serge，《每个递归线性排序都有一个副本》，J.Symb。日志。，55, 1, 260-276 (1990) ·兹伯利0708.03015
[18] Hermann，Grete，Die Frage der endlich vielen Schritte in der Theory der Polynomideale，数学。安，95，1736-788（1926年）
[19] Higman，G.，有限呈现群的子群，Proc。R.Soc.序列。A、 262455-475（1961年）·Zbl 0104.02101号
[20] Hirschfeldt，D。；库萨诺夫，B。；肖尔，R。；斯林科，A.，代数结构中的度谱和可计算维数，《纯粹应用年鉴》。日志。，115, 1-3, 71-113 (2002) ·Zbl 1016.03034号
[21] 哈里森·特雷纳，马修；亚历山大·梅尔尼科夫（Alexander Melnikov）；Montalbán，Antonio，《可计算代数的独立性》，J.algebra，443，441-468（2015）·Zbl 1386.03051号
[22] 哈里森·特雷纳，马修；亚历山大·梅尔尼科夫；罗素·米勒（Russell Miller）；蒙塔尔班，安东尼奥，《可计算函子和有效解释性》，J.Symb。日志。，82, 1, 77-97 (2017) ·Zbl 1390.03034号
[23] Kierstead，H.A.，Dilworth定理的有效版本，Trans。美国数学。《社会学杂志》，26863-77（1981）·Zbl 0485.03019号
[24] Kierstead，H.A.，在线着色k-可着色图，Isr。数学杂志。，105, 1, 93-104 (1998) ·Zbl 0908.05043号
[25] Kierstead，H.A.，递归和在线图着色，（Ershov，Yu.L.；Goncharov，S.S.；Nerode，A.；Remmel，J.B.，递归数学手册。递归数学手册，发现的逻辑研究。数学，第139卷（1998年），北荷兰：北荷兰阿姆斯特丹），1233-1269·Zbl 0930.03050号
[26] Kalimullin，I.Sh。；Melnikov，A.G。；Ng，K.M.，无延迟范畴的多样性，代数日志。，56, 2, 171-177 (2017) ·Zbl 1423.03151号
[27] 伊斯坎德Kalimullin；亚历山大·梅尔尼科夫（Alexander Melnikov）；Ng，Keng Meng，无延迟可计算的代数结构，理论。计算。科学。，674, 73-98 (2017) ·兹比尔1418.03151
[28] 科乌萨诺夫，巴哈迪尔；Nerode，Anil，结构的自动表示，（逻辑和计算复杂性。论文选集。逻辑和计算复杂度，LCC'94国际研讨会。逻辑和计算复杂性。精选论文。逻辑和计算复杂性，LCC’94国际研讨会，美国印第安纳州印第安纳波利斯，1994年10月13日至16日（1994年），367-392·Zbl 0946.03013号
[29] 基尔斯特德，H.A。；Penrice，S.G。；Trotter，W.T.，在线着色和递归图论，SIAM J.离散数学。，7, 72-89 (1994) ·Zbl 0795.05058号
[30] 科乌萨诺夫，巴哈迪尔；Rubin，Sasha，《自动结构：概述和未来方向》，（加权自动机：理论和应用，加权自动机理论和应用），德累斯顿，2002年，第8卷（2003），287-301·Zbl 1058.68070号
[31] LaRoche，P.，递归表示布尔代数，Not。美国数学。《社会学杂志》，24552-553（1977）
[32] Lavrov，I.A.，某些初等理论的同真公式集和有限可反驳公式集的有效不可分离性，代数对数。第2、1、5-18学期（1963年）
[33] 罗杰·C·林登。；Paul E.Schupp，组合群理论，数学经典（2001），Springer-Verlag:Springer-Verlag Berlin，1977年版再版·Zbl 0997.20037号
[34] Lovász，L。；萨克斯，M。；Trotter，W.T.，一种具有次线性性能比的在线图着色算法，离散数学。，75, 319-325 (1989) ·Zbl 0679.05031号
[35] Mal′cev，A.，《构造代数》。一、 乌斯普。马特·诺克，16，3（99），3-60（1961）·Zbl 0129.25903号
[36] Melnikov，Alexander G.，《消除可计算代数中的无界搜索》，（《揭示动力学和复杂性》，《揭示动力学与复杂性》，计算机科学讲义，第10307卷（2017年），施普林格：施普林格Cham），77-87·Zbl 1433.03117号
[37] Melnikov，A.G。；Ng，K.M.，《无延迟的来回方法和可计算性》，Isr。数学杂志。，234, 959-1000 (2019) ·Zbl 1508.03073号
[38] 米勒，R。；Poonen，B。；Schoutens，H。；Shlapentokh，A.，从图到域的可计算函子，J.Symb。日志。，83, 326-348 (2018) ·Zbl 1447.03005号
[39] Rabin，M.，可计算代数，一般理论和可计算域理论，Trans。美国数学。《社会学杂志》，95，341-360（1960）·Zbl 0156.01201号
[40] Remmel，J.B.，递归分类线性排序，Proc。美国数学。《社会学杂志》，83，2387-391（1981）·Zbl 0493.03022号
[41] Remmel，J.B.，图着色和递归有界类，Ann.Pure Appl。日志。，32, 185-194 (1986) ·Zbl 0625.03024号
[42] 里希特（Richter）、琳达·琼（Linda Jean）、结构学位（Degrees of structures）、J.塞姆（J.Symb）。日志。，46, 4, 723-731 (1981) ·Zbl 0512.03024号
[43] M.Rabin，D.Scott，一些简单理论的不确定性，未发表的注释。
[44] 托多（Todor）、赞科夫（Tsankov），理性的加法组并没有自动呈现，J.Symb。日志。，76, 4, 1341-1351 (2011) ·Zbl 1247.03070号
[45] 范德瓦尔登（B.van der Waerden）、艾恩·贝默尔孔贝尔（Eine Bemerkungüber）、安泽勒格巴克特·冯·波利诺曼（数学）。安，102，1738-739（1930）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。