ein Problem mit nicht notwendigerweise eindeutiger Lösung.

Zu einer Eingabe a bezeichnet L(a) die Menge erlaubter Lösungen. Ein Algorithmus löst ein Suchproblem, wenn er zur Eingabe a ein Element aus L(a) berechnet bzw. mit „∅“ antwortet, falls L(a) leer ist. Jedes Entscheidungsproblem und jedes Optimierungsproblem ist auch ein Suchproblem. Viele Optimierungsprobleme haben i. allg. keine eindeutigen Lösungen, so z. B. das Cliquenproblem, das Rucksackproblem und das Travelling-Salesman-Problem.