整数到实数的多项式时间可计算函数的离散常微分方程描述
摘要：离散常微分方程描述的可在多项式时间内计算的整数到整数函数的类被刻画出来，也被称为有限差分。这样做，我们指出了线性（离散）常微分方程和经典的常微分方程工具（如变量变换）对于捕捉可计算性和复杂性度量的基本作用，或作为一种编程工具。在本文中，我们扩展了该方法，以描述可在多项式时间内计算的整数到实数函数的类，即可计算分析意义上的类。特别是，我们提供了一种以最小类函数描述这些函数的方式，该类包含一些基本函数，并且通过组合、线性长度ODE和自然有效的极限模式而封闭。
作者：Manon Blanc and Olivier Bournez
论文ID：2209.13599
分类：Computational Complexity
分类简称：cs.CC
提交时间：2022-10-04