一般分支递归与多项式时间完备性
摘要：可行计算函数的结构递归在归纳定义的数据结构上的声音和完整的隐式复杂性形式。 可行计算意味着结构递归定义在输入的表示大小的时间多项式内运行，其中这些表示可以利用数据共享。 这里的归纳定义的数据结构包括列表和树。 在这里，声音意味着隐式复杂性形式中的程序具有可行的运行时间。 完备性意味着可行结构递归计算的每个函数在隐式复杂性形式中都有一个程序。 本文是对Avanzini，Dal Lago，Martini和Zorzi的工作的后续，他们关注的是此类形式的声音性，但未考虑完整性问题。
作者：Norman Danner, James S. Royer
论文ID：2205.10348
分类：Computational Complexity
分类简称：cs.CC
提交时间：2022-05-23