Formal ist ein Suchproblem definiert durch eine in einer symbolischen Repräsentation dargelegte Start- und Zielzustandsbeschreibung, einer Menge von Operatoren und einer Funktion, welche bestimmt, ob der aktuelle Zustand ein Zielzustand ist.