Co-RE-완전

co-RE-완전은 복잡도 co-RE에서 완전한 결정 문제의 집합이다. 완전하다는 용어의 뜻은 NP-완전 같이 다른 xx-완전 복잡도 종류에서 쓰는 뜻과 같다. co-RE-완전은 순환 열거 문제 중에서 그 보완 문제가 "가장 어려운" 문제의 집합이라고도 할 수 있다.

이 글은 컴퓨터 과학에 관한 토막글입니다. 여러분의 지식으로 알차게 문서를 완성해 갑시다.