TY - GEN

T1 - P-selective sets, and reducing search to decision vs. self-reducibility

AU - Naik, Ashish V.

AU - Ogiwara, Mitsunori

AU - Selman, Alan L.

N1 - Funding Information:
* Funding for this research was provided by the National Science Foundation under Grant CCR-9002292.

PY - 1993

Y1 - 1993

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0027252420&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0027252420&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0027252420

SN - 0818640715

T3 - Proceedings of the Eighth Annual Structure in Complexity Theory Conference

SP - 52

EP - 61

BT - Proceedings of the Eighth Annual Structure in Complexity Theory Conference

A2 - Anon, null

PB - Publ by IEEE

T2 - Proceedings of the Eighth Annual Structure in Complexity Theory Conference

Y2 - 18 May 1993 through 21 May 1993

ER -