{"title":"复杂性类和稀疏预言机","authors":"D. P. Bovet, P. Crescenzi, R. Silvestri","doi":"10.1109/SCT.1991.160248","DOIUrl":null,"url":null,"abstract":"The authors obtain positive relativization results. In particular, the goal is to prove statements of the kind: 'Given two complexity classes C/sub 1/ and C/sub 2/, C/sub 1/=C/sub 2/ if and only if for every sparse set S, C/sub 1//sup S/=C/sub 2//sup S/.' The authors derive a sufficient condition to obtain such results and, as an application, they prove a general theorem from which, as far as they know, all of the results obtained previously along with new ones can be immediately derived.<<ETX>>","PeriodicalId":158682,"journal":{"name":"[1991] Proceedings of the Sixth Annual Structure in Complexity Theory Conference","volume":"351 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1991-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"33","resultStr":"{\"title\":\"Complexity classes and sparse oracles\",\"authors\":\"D. P. Bovet, P. Crescenzi, R. Silvestri\",\"doi\":\"10.1109/SCT.1991.160248\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The authors obtain positive relativization results. In particular, the goal is to prove statements of the kind: 'Given two complexity classes C/sub 1/ and C/sub 2/, C/sub 1/=C/sub 2/ if and only if for every sparse set S, C/sub 1//sup S/=C/sub 2//sup S/.' The authors derive a sufficient condition to obtain such results and, as an application, they prove a general theorem from which, as far as they know, all of the results obtained previously along with new ones can be immediately derived.<<ETX>>\",\"PeriodicalId\":158682,\"journal\":{\"name\":\"[1991] Proceedings of the Sixth Annual Structure in Complexity Theory Conference\",\"volume\":\"351 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1991-06-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"33\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1991] Proceedings of the Sixth Annual Structure in Complexity Theory Conference\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SCT.1991.160248\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1991] Proceedings of the Sixth Annual Structure in Complexity Theory Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SCT.1991.160248","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
The authors obtain positive relativization results. In particular, the goal is to prove statements of the kind: 'Given two complexity classes C/sub 1/ and C/sub 2/, C/sub 1/=C/sub 2/ if and only if for every sparse set S, C/sub 1//sup S/=C/sub 2//sup S/.' The authors derive a sufficient condition to obtain such results and, as an application, they prove a general theorem from which, as far as they know, all of the results obtained previously along with new ones can be immediately derived.<>
![[1991] Proceedings of the Sixth Annual Structure in Complexity Theory Conference](/Content/css/sci/img/zetp.jpg)
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
