@inproceedings{94a7fbea35a049d0a85e1bd379229500,
title = "P-selective sets, and reducing search to decision vs. self-reducibility",
abstract = "We obtain several results that distinguish self-reducibility of a language L with the question of whether search reduces to decision for L. We prove that if NE intersects co-NE ≠ E, then there exists a set L in NP - P such that search reduces to decision for L, search does not nonadaptively reduce to decision for L, and L is not self-reducible. We obtain results that distinguish adaptively randomly self-reducible sets from nonadaptively randomly self-reducible sets, results concerning tradeoffs in multiprover interactive proof systems, and results that distinguish checkable language from those that are nonadaptively checkable. Many of our results depend on new techniques for constructing p-selective sets.",
author = "Naik, {Ashish V.} and Mitsunori Ogiwara and Selman, {Alan L.}",
year = "1993",
month = jan,
day = "1",
language = "English (US)",
isbn = "0818640715",
series = "Proceedings of the Eighth Annual Structure in Complexity Theory Conference",
publisher = "Publ by IEEE",
pages = "52--61",
editor = "Anon",
booktitle = "Proceedings of the Eighth Annual Structure in Complexity Theory Conference",
note = "Proceedings of the Eighth Annual Structure in Complexity Theory Conference ; Conference date: 18-05-1993 Through 21-05-1993",
}