Example image of eyePlorer eyePlorer map for 'Computational problem': Computer Mathematical object Theoretical computer science Algorithm Computational complexity theory String (computer science) Decision problem Search problem Relation Counting problem (complexity) Optimization problem Independent set (graph theory) Promise problem Hardness of approximation Interactive proof system Property testing Cambridge University Press Princeton University Press The Princeton Companion to Mathematics Asymptotic computational complexity Complete (complexity) Computational resource DLOGTIME First-order reduction Function problem Graph isomorphism problem Memory bound function PostBQP Reduction (complexity) Uniformity (complexity) DSPACE DTIME Generic-case complexity PCP (complexity) PCP theorem Computer science Descriptive complexity theory Computability Circuit complexity Pseudorandom generator Distributed computing