Sparse sets, lowness, and highness
Visualitza/Obre
Cita com:
hdl:2117/103245
Tipus de documentArticle
Data publicació1986-08
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
We develop the notions of “generalized lowness” for sets in PH (the union of the polynomial-time hierarchy) and of “generalized highness” for arbitrary sets. Also, we develop the notions of “extended lowness” and “extended highness” for arbitrary sets. These notions extend the decomposition of NP into low sets and high sets developed by Schöning [15] and studied by Ko and Schöning [9].
We show that either every sparse set in PH is generalized high or no sparse set in PH is generalized high. Further, either every sparse set is extended high or no sparse set is extended high. In both situations, the former case corresponds to the polynomial-time hierarchy having only finitely many levels while the latter case corresponds to the polynomial-time hierarchy extending infinitely many levels.
CitacióBalcazar, J. L., Book, R., Schoening, U. Sparse sets, lowness, and highness. "SIAM journal on computing", Agost 1986, vol. 15, núm. 1, p. 739-747.
ISSN0097-5397
Versió de l'editorhttp://epubs.siam.org/doi/abs/10.1137/0215053
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
p28434_406_28434_ed.pdf | 5,522Mb | Visualitza/Obre |