CO-P是否经常令人愉快?
-
29-09-2020 - |
题
p是重新的,但是多项式时间可解除的语言的补充也归因地令人享有令人享受?
如果两个都是重新,那么这使得p递归?
解决方案
co- $ \ mathsf {p}=mathsf {p} $ 。要查看此项,请选择您喜欢的问题 $ a $ 在co- $ \ mathsf {p} $ ,让 $ t $ 是一个用于 $ a $ (在模拟 $ t $ ,如果 $ t $ 拒绝,并且拒绝if $ t $ 接受。
不隶属于 cs.stackexchange