Hostname: page-component-7b7567c8c-kwt9d Total loading time: 0 Render date: 2026-11-14T09:42:53.346Z Has data issue: false hasContentIssue false

Function operators spanning the arithmetical and the polynomial hierarchy

Published online by Cambridge University Press:  05 October 2010

Armin Hemmerling*
Affiliation:
Ernst-Moritz-Arndt–Universität Greifswald, Institut für Mathematik und Informatik. Walther-Rathenau-Str. 47, 17487 Greifswald, Germany; hemmerli@uni-greifswald.de
Get access

Abstract

A modified version of the classical µ -operator as well as thefirst value operator and the operator of inverting unaryfunctions, applied in combination with the composition offunctions and starting from the primitive recursive functions,generate all arithmetically representable functions. Moreover, thenesting levels of these operators are closely related to thestratification of the arithmetical hierarchy. The same is shownfor some further function operators known from computability and complexitytheory. The close relationships between nesting levels of operators andthe stratification of the hierarchy also hold for suitablerestrictions of the operators with respect to the polynomialhierarchy if one starts with the polynomial-time computablefunctions. It follows that questions around P vs. NP andNP vs. coNP can equivalently be expressed by closureproperties of function classes under these operators. The polytime version of the first value operator can be used toestablish hierarchies between certain consecutive levels withinthe polynomial hierarchy of functions, which are related togeneralizations of the Boolean hierarchies over the classes $\mbox{$\Sigma^p_{k}$}$ .

Information

Type
Research Article
Copyright
© EDP Sciences, 2010

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Article purchase

Temporarily unavailable