|
|||||
|
|
| 对于B存在A使P~A=NP~B成立的充要条件 | |
| 引用本文： | 王洁.对于B存在A使P~A=NP~B成立的充要条件[J].科学通报,1985,30(10):792-792. |
| 作者姓名： | 王洁 |
| 作者单位： | 中山大学计算机科学系 广州 |
| 摘 要： | Baker等人首先对P=?NP问题进行了相对化研究,获得了深刻的结果。本文对于任意语言B,讨论了存在语言A使P~A=NP~B成立的充要条件。 我们采用Cook的带oracle的图灵查询机器为我们的计算模型,有关查询机器的详细描 |
| 本文献已被 CNKI 等数据库收录！ | |
| 点击此处可从《科学通报》浏览原始摘要信息 | |
| 点击此处可从《科学通报》下载免费的PDF全文 | |