{"title":"P-selective sets, and reducing search to decision vs. self-reducibility","authors":"E. Hemaspaandra, A. Naik, M. Ogihara, A. Selman","doi":"10.1109/SCT.1993.336541","DOIUrl":null,"url":null,"abstract":"Several results that distinguish self-reducibility of a language L with the question of whether search reduces to decision for L are obtained. It is proved that if NE intersection co-NE not=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. Results that distinguish adaptively randomly self-reducible sets from nonadaptively randomly self-reducible sets, results concerning tradeoffs in multipower interactive proof systems, and results that distinguish checkable languages from those that are nonadaptively checkable are obtained. Many of the results depend on new techniques for constructing P-selective sets.<<ETX>>","PeriodicalId":331616,"journal":{"name":"[1993] Proceedings of the Eigth Annual Structure in Complexity Theory Conference","volume":"17 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"68","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1993] Proceedings of the Eigth Annual Structure in Complexity Theory Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SCT.1993.336541","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 68
Abstract
Several results that distinguish self-reducibility of a language L with the question of whether search reduces to decision for L are obtained. It is proved that if NE intersection co-NE not=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. Results that distinguish adaptively randomly self-reducible sets from nonadaptively randomly self-reducible sets, results concerning tradeoffs in multipower interactive proof systems, and results that distinguish checkable languages from those that are nonadaptively checkable are obtained. Many of the results depend on new techniques for constructing P-selective sets.<>