Example image of eyePlorer eyePlorer map for 'Complement (complexity)': Computational complexity theory Decision problem Complement (set theory) Prime number Composite number Turing reduction Involution Complexity class Many-one reduction NP (complexity) Closure (mathematics) Co-NP Integer factorization Immerman–Szelepcsényi theorem NL (complexity) SL (complexity) L (complexity) Low (complexity) Co-NP-complete List of complexity classes Primality certificate BPL (complexity) UP (complexity) Context-free language Recursively enumerable language Complement Sipser–Lautemann theorem Interactive proof system Zero-knowledge proof