一种具备原始的自动函数和关系作为基本操作的计算模型
摘要：使用基本步骤代替图灵带的单次更新，Hartmanis和Simon（Hartmanis和Simon，1974）以及Floyd和Knuth（Floyd和Knuth，1990）的先前工作研究了设备的情况。其中之一的发现是，在数字环境中，数字的加法，减法，比较和位布尔运算保持了多项式时间，而引入串联或乘法则可以在多项式步骤内解决所有PSPACE问题。因此，我们提议使用带有自动函数的更新和比较作为基本操作，并使用常数个寄存器；所得模型涵盖了Hartmanis和Simon以及Floyd和Knuth的所有基本操作，但模型仍保持在多项式时间内。本文特别研究了各种自然问题的确定性复杂性，并对该模型的非确定性复杂性进行了概述。
作者：Ziyuan Gao, Sanjay Jain, Li Zeyong, Ammar Fathin Sabili and Frank Stephan
论文ID：2201.06836
分类：Computational Complexity
分类简称：cs.CC
提交时间：2022-01-19