A low and a high hierarchy within NP

作者:

Highlights:

摘要

A low and a high hierarchy within NP are defined. The definition is similar to the jump hierarchies below the degree of the halting problem. For this purpose a complexity theoretic counterpart of the jump operator in recursion theory is defined. Some elementary properties of these hierarchies are investigated. The high hierarchy is, in some sense, a hierarchy of generalized NP-completeness notions.

论文关键词:

论文评审过程:Received 4 October 1981, Revised 13 September 1982, Available online 2 December 2003.

论文官网地址:https://doi.org/10.1016/0022-0000(83)90027-2