@article{ITA_1996__30_2_135_0, author = {Thierauf, Thomas and Toda, Seinosuke and Watanabe, Osamu}, title = {On sets bounded truth-table reducible to $P$-selective sets}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, pages = {135--154}, publisher = {EDP-Sciences}, volume = {30}, number = {2}, year = {1996}, mrnumber = {1420688}, zbl = {0860.68050}, language = {en}, url = {http://archive.numdam.org/item/ITA_1996__30_2_135_0/} }
TY - JOUR AU - Thierauf, Thomas AU - Toda, Seinosuke AU - Watanabe, Osamu TI - On sets bounded truth-table reducible to $P$-selective sets JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1996 SP - 135 EP - 154 VL - 30 IS - 2 PB - EDP-Sciences UR - http://archive.numdam.org/item/ITA_1996__30_2_135_0/ LA - en ID - ITA_1996__30_2_135_0 ER -
%0 Journal Article %A Thierauf, Thomas %A Toda, Seinosuke %A Watanabe, Osamu %T On sets bounded truth-table reducible to $P$-selective sets %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1996 %P 135-154 %V 30 %N 2 %I EDP-Sciences %U http://archive.numdam.org/item/ITA_1996__30_2_135_0/ %G en %F ITA_1996__30_2_135_0
Thierauf, Thomas; Toda, Seinosuke; Watanabe, Osamu. On sets bounded truth-table reducible to $P$-selective sets. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 30 (1996) no. 2, pp. 135-154. http://archive.numdam.org/item/ITA_1996__30_2_135_0/
[AA94] Polynomial-time truth-table reductions to P-selective sets, In Proc. 9th Structure in Complexity Theory Conference, 1994, IEEE, 24-30.
and ,[AHH+93] Reductions to sets of low information content, Recent Developments in Complexity Theory, Cambridge University Press, (Also available as Technical Report TR-417, University of Rochester, Department of Computer Science, Rochester, NY, April 1992). | Zbl
, , , , , , , , and ,[AI186] The complexity of sparse sets in P, In Proceedings 1st Structure in Complexity Theory Conference, 1986, 1-11, IEEE Computer Society. | MR | Zbl
,[BDG88] Structural Complexity I. 1988, EATCS Monographs on Theoretical Computer Science, Springer-Verlag. | MR | Zbl
, and ,[BDG91] Structural Complexity II. 1991, EATCS Monographs on Theoretical Computer Science, Springer-Verlag. | MR | Zbl
, and ,[Bei88] NP-hard sets are P-superterse unless R = NP, Technical Report 88-04, Department of Computer Science, The John Hopkins University, 1988.
,[BKS94] Approximable sets. In Poc. 9th Structure in Complexity Theory Conference, IEEE, 12-23, 1994. | MR
, and ,[ESY84] The complexity of promise problems with applications to public-key cryptography, Information and Control, 1984, 61, pp. 114-133. | MR | Zbl
, and ,[HHO+93] Selectivity. In Proceedings of the 5th International Conference on Computation and Information, ICCI 93, IEEE, pp. 55-59, 1993.
, , , , and ,[HOW92] How hard are sparse sets? In Proc. 7th Strcuture in Complexity Theory Conference, IEEE 222-238, 1992. | MR
, and ,[HL94] On Reductions of NP to Sparse Sets, Journal of Computer and System Sciences, 1994, 48, pp. 324-336. | MR | Zbl
and ,[JT93] Computing functions with parallel queries to NP, In Proc. 8th Structure in Complexity Theory Conference, IEEE 280-291, 1, 1993. | MR
and ,[Joc68] Semirecursive sets and positive reducibility, Transactions of the AMS, 1968, 131, (2), pp. 420-436. | MR | Zbl
,[KL82] Turing machines that take advice, L'Enseignement Mathématique, 1982, 28, pp. 191-209. | MR | Zbl
and ,[Ko83] On self-reducibility and weak P-selectivity, Journal of Computer and System Sciences, 1983, 26, pp. 209-221. | MR | Zbl
,[LLS75] A comparison of polynomial time reducibilities, Theoretical Computer Science, 1975, 1, (2), pp. 103-124. | MR | Zbl
, and ,[Mah82] Sparse complete sets for NP: solution of a conjecture of Berman and Hartmanis, Journal of Computer and System Sciences, 1982, 25, pp. 130-143. | MR | Zbl
,[O94] Polynomial-time membership comparable sets, In Proc. 9th Structure in Complexity Theory Conference, IEEE, 2-11, 1994.
,[OW91] On polynomial-time bounded truth-table reducibility of NP sets to sparse sets, SIAM Journal on Computing, 1991, 20, (3), pp.471-483. | MR | Zbl
and ,[Sal93] Relativized limitations of the left settechnique andclosure classes of sparse sets, In Proc. 8th Structure in Complexity Theory Conference, IEEE, 215-222, 1993.
,[Sch90] The power of counting, In Complexity Theory Retrospective (A.Selman Ed.), Springer-Verlag, 1990, pp. 204-223. | MR
,[Sel79] P-selective sets, tally languages, and the behavior of polynomial time reducibilities on NP, Mathematical Systems Theory, 1979, 13, pp. 55-65. | MR | Zbl
,[Sel82a] Analogues of Semirecursive sets and effective reducibilities to the study of NP complexity, Information and Control, 1982, pp.36-51. | MR | Zbl
,[Sel82b] Reductions on NP and P-selective sets, Theoretical Computer Science, 1982, 19, pp. 287-304. | MR | Zbl
,[Sto77] The polynomial-time hierarchy, Theoretical Computer Science, 1977, 3, pp. 1-22. | MR | Zbl
,[Tod91] On polynomial-time truth-table reducibilities of intractable sets of P-selective sets, Mathematical Systems Theory, 1991, pp. 69-82. | MR | Zbl
,[Tor93] Personal Communication.
,[Val76] Relative complexity of checking and evaluating, Information Processing Letters, 1976, 5, (1), pp. 20-23. | MR | Zbl
,[VV86] NP is as easy as detecting unique solutions, Theoretical Computer Science, 1986, 47, pp. 85-93. | MR | Zbl
and ,[Wat90] Unpublished note.
,