We prove that if P_(k-T)~A = P_((k+1)-T)~A for some k and an arbitrary set A, then A is reducible to its complement under a relativized nondeterministic conjunctive reduction. By substituting A by different sets, we derive some known facts such as Kadin's theorem and its extension to the class C_=P.
展开▼
机译：我们证明，如果对于某个k和任意集A，P_（k-T）〜A = P _（（k + 1）-T）〜A，那么在相对论性不确定连词归约化条件下，A可以还原为其补码。通过将A替换为不同的集合，我们可以得出一些已知的事实，例如Kadin定理及其对C_ = P类的扩展。
展开▼
