×

\(p\)-selective self-reducible sets: a new characterization of P. (English) Zbl 0859.68032

Summary: We show that any \(p\)-selective and self-reducible set is in P. As the converse is also true, we obtain a new characterization of the class P. A generalization and several consequences of this theorem are discussed. Among other consequences, we show that under reasonable assumptions auto-reducibility and self-reducibility differ on NP, and that there are non-\(p-T\)-mitotic sets in NP.

MSC:

68Q15 Complexity classes (hierarchies, relations among complexity classes, etc.)
Full Text: DOI