Co-RE

From Wikipedia, the free encyclopedia

Co-RE is the set of all languages that are complements of a language in RE. In a sense, Co-RE contains languages of which membership can be disproved in a finite amount of time, but proving membership might take forever.

v • d • e Important complexity classes (more)

P • NP • co-NP • NP-C • co-NP-C • NP-hard • UP • #P • #P-C • L • NL • NC • P-C • PSPACE • PSPACE-C • EXPTIME • NEXPTIME • EXPSPACE • 2-EXPTIME • PR • RE • Co-RE • RE-C • Co-RE-C • R • BQP • BPP • RP • ZPP • PCP • IP • PH