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)