用有界算术中的归纳定义刻画复杂类
Characterising Complexity Classes by Inductive Definitions in Bounded Arithmetic
摘要：
著名的描述性特征的P和PSPACE重述的库克-阮风格的二阶有界算术。本文引入二阶有界算术上的归纳定义公理。我们表明，P可以捕获的公理的暴胀归纳定义，而PSPACE可以捕获的公理的非暴胀归纳定义。
英文摘要：
Famous descriptive characterisations of P and PSPACE are restated in terms of the Cook-Nguyen style second order bounded arithmetic. We introduce an axiom of inductive definitions over second order bounded arithmetic. We show that P can be captured by the axiom of inflationary inductive definitions whereas PSPACE can be captured by the axiom of non-inflationary inductive definitions.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
