<Computability> A Computational problem that requires identifying a solution from some, possibly infinite, solution spaCe (set of possible solutions). E.g. "What is the millionth prime number?". This Contrasts with a {deCision problem} whiCh merely asks whether a given answer is a solution or not. (1999-02-15)