{"title":"同构猜想成立，单向函数相对于oracle存在","authors":"J. Rogers","doi":"10.1109/SCT.1995.514731","DOIUrl":null,"url":null,"abstract":"We demonstrate an oracle relative to which there are one-way functions but every paddable 1-li-degree collapses to an isomorphism type, thus yielding a relativized failure of the Joseph-Young (1985) conjecture (JYC). We then use this result to construct an oracle relative to which the isomorphism conjecture (IC) is true but one-way functions exist, which answers an open question of Fenner, Fortnow, and Kurtz (1992). Thus, there are now relativizations realizing every one of the four possible states of affairs between the IC and the existence of one-way functions.","PeriodicalId":318382,"journal":{"name":"Proceedings of Structure in Complexity Theory. Tenth Annual IEEE Conference","volume":"27 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1995-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"11","resultStr":"{\"title\":\"The isomorphism conjecture holds and one-way functions exist relative to an oracle\",\"authors\":\"J. Rogers\",\"doi\":\"10.1109/SCT.1995.514731\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We demonstrate an oracle relative to which there are one-way functions but every paddable 1-li-degree collapses to an isomorphism type, thus yielding a relativized failure of the Joseph-Young (1985) conjecture (JYC). We then use this result to construct an oracle relative to which the isomorphism conjecture (IC) is true but one-way functions exist, which answers an open question of Fenner, Fortnow, and Kurtz (1992). Thus, there are now relativizations realizing every one of the four possible states of affairs between the IC and the existence of one-way functions.\",\"PeriodicalId\":318382,\"journal\":{\"name\":\"Proceedings of Structure in Complexity Theory. Tenth Annual IEEE Conference\",\"volume\":\"27 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1995-06-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"11\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of Structure in Complexity Theory. Tenth Annual IEEE Conference\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SCT.1995.514731\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of Structure in Complexity Theory. Tenth Annual IEEE Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SCT.1995.514731","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
The isomorphism conjecture holds and one-way functions exist relative to an oracle
We demonstrate an oracle relative to which there are one-way functions but every paddable 1-li-degree collapses to an isomorphism type, thus yielding a relativized failure of the Joseph-Young (1985) conjecture (JYC). We then use this result to construct an oracle relative to which the isomorphism conjecture (IC) is true but one-way functions exist, which answers an open question of Fenner, Fortnow, and Kurtz (1992). Thus, there are now relativizations realizing every one of the four possible states of affairs between the IC and the existence of one-way functions.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
