Title :
On oracle builder´s toolkit
Author :
Fenner, Stephen ; Fortnow, Lance ; Kurtz, Stuart A. ; Li, Lide
Author_Institution :
Univ. of Southern Maine, MA, USA
Abstract :
It is shown how to use various notions of genericity as a tool in oracle creation. A general framework for defining different types of generic sets in terms of arithmetic forcing is given. A number of basic facts about Cohen generic sets, many of which are generalizations of known results, are systematically assembled. We define sp-generic sets and extend some previous results
Keywords :
computational complexity; NP-complete sets; arithmetic forcing; generic sets; genericity; oracle creation; Arithmetic; Interleaved codes;
Conference_Titel :
Structure in Complexity Theory Conference, 1993., Proceedings of the Eighth Annual
Conference_Location :
San Diego, CA
Print_ISBN :
0-8186-4070-7
DOI :
10.1109/SCT.1993.336534
