p是重新的,但是多项式时间可解除的语言的补充也归因地令人享有令人享受?

如果两个都是重新,那么这使得p递归?

有帮助吗?

解决方案

co- $ \ mathsf {p}=mathsf {p} $ 。要查看此项,请选择您喜欢的问题 $ a $ 在co- $ \ mathsf {p} $ ,让 $ t $ 是一个用于 $ a $ (在模拟 $ t $ ,如果 $ t $ 拒绝,并且拒绝if $ t $ 接受。

许可以下: CC-BY-SA归因
不隶属于 cs.stackexchange
scroll top