Complicated complementations

H. Buhrman, L. Torenvliet
Proceedings. Fourteenth Annual IEEE Conference on Computational Complexity (Formerly: Structure in Complexity Theory Conference) (Cat.No.99CB36317)  
Kolmogorov complexity has proven to be a very useful tool in simplifying and improving proofs that use complicated combinatorial arguments. In this paper we use Kolmogorov complexity for oracle construction. We obtain separation results that are much stronger than separations obtained previously even with the use of very complicated combinatorial arguments. Moreover the use of Kolmogorov arguments almost trivializes the construction itself. In particular we construct relativized worlds where:
more » ... NP \ CoNP = 2 P=poly. 2. NP has a set that is both simple and NP \ CoNP-immune. 3. CoNP has a set that is both simple and NP \ CoNP-immune. 4. p 2 has a set that is both simple and p 2 \ p 2 -immune.
doi:10.1109/ccc.1999.766281 dblp:conf/coco/BuhrmanT99 fatcat:nl5fxjvjinebbbao7gfwknrxvi