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.
Last updated: 1999-02-15