摘要。在有界算法中,已经发展了一系列理论,这些理论与多项式中的复杂性类相对应
层次结构和多项式时间以下。最近的研究试图描述可证明的全NP搜索问题
在这种理论中,如果一个完全NP搜索问题可以用T语言形式化,那么它在理论T中是可证明的完全问题,并且T可以证明,对于每个实例,搜索问题都存在一个解决方案。例如,Buss和Krajcek证明了在某种有界算术理论(表示为T12或电视1)以PLS为特征。T以上理论的进一步表征12后来被发现。据我们所知,T下面的理论没有这种特征12直到这项工作。
对于某些理论,给定一类可证明的全NP搜索问题S,我们研究项目的总体目标是识别在AC下S内完备的某些特定的可证明全NP问题类(通常通过特定的组合原理定义)0-多种还原;应使用AC证明完整性0-仅推理,即在V中形式化0例如,Cook和Nguyen证明了PLS,其中邻域函数和初始点由AC给出0-对于T中的一类可证明的全NP搜索问题,函数在上述意义上是完备的12.
对于与多项式时间相关的理论,我们确定了搜索问题类通货膨胀迭代(IITER),它符合我们上述的目标。如果X是F(X)的子集(在有限集字符串的自然标识下),则函数F(定义在有限字符串上)是膨胀的。IITER原理定义为迭代原理的特殊情况,其中迭代函数必须是AC0-可计算和通货膨胀。
库克和阮有一种定义有界算术理论V的通用方法C类复杂度等级C低于多项式时间。对于这种理论VC类,我们定义了一个搜索问题类KPT[C],它符合我们上述的目标。这些问题是基于Krajicek、Pudlak和Takeuti证明的Herbrand定理的一个版本。