%0 Journal Article %T 对于B存在A使P~A=NP~B成立的充要条件 %A 王洁 %J 科学通报 %D 1985 %I %X Baker等人首先对P=?NP问题进行了相对化研究,获得了深刻的结果。本文对于任意语言B,讨论了存在语言A使P~A=NP~B成立的充要条件。 我们采用Cook的带oracle的图灵查询机器为我们的计算模型,有关查询机器的详细描 %U http://www.alljournals.cn/get_abstract_url.aspx?pcid=01BA20E8BA813E1908F3698710BBFEFEE816345F465FEBA5&cid=7C7E63796F062382A606A3A9833B8C05&jid=B40D4BA57FF46E45205A09B4DC283152&aid=41666AE56DC7484177A29DE7AB8F19A0&yid=74E41645C164CD61&vid=340AC2BF8E7AB4FD&iid=F3090AE9B60B7ED1&sid=1471D37D8144EBCF&eid=1471D37D8144EBCF&journal_id=0023-074X&journal_name=科学通报&referenced_num=0&reference_num=0