本文讨论两个问题:(1)研究了 NP=?NP 与 NP=?CO—NP 之间的关系;(2)证明了 NP=CO—NP【=】(■C■∑*)(C∈NP且C∈NPT)。......

本文获得了下述结果:存在递归集A使得类co—NP中有语言L是MIP—禁集。...