关于相对化的P与NP问题的一个注记

李祥在文献1]中得到如下结果: 定理1 下述命题等价: (1) P≠NP; (2) NPT~∞是递归可表现的类; (3) ((?)A∈NP)(P~A≠NP~A); (4) ((?)A∈NP)(P~A≠NP~A或A∈NPT~∞)。 这里,NPT~∞表示全体无穷的NP图灵完全语言构成的集类。针对定理1的第4款,李祥提出了如下问题:是否有两个无穷的NP图灵完全语言A及B,使P~A=NP,P~B≠NP~B?~(**)本文对