co-p는 재귀 적으로 열거 가능합니까?
-
29-09-2020 - |
문제
p는 다시 있지만 다항식 시간에 알지 못한 언어의 클래스의 보완도 재귀 적으로 열거 할 수 있습니까?
둘 다 다시 있으면 이는 P 재귀를 만듭니다.
해결책
$ \ mathsf {p}=mathsf {p} $ .이를 보려면 $ a $ co- $ \ mathsf {p} $ 을 선택하십시오. $ T $ $ a $ ( $ \ mathsf {p} $ ) $ t '$ 을 구성하십시오.컨테이너 "> $ T $ 은 $ T $ $ T $ 수락.
제휴하지 않습니다 cs.stackexchange