Das Kefk Network Wiki befindet sich im Testbetrieb.

Suchproblem

Aus Kefk.

Als Suchproblem bezeichnet man in der Theoretischen Informatik ein Problem, bei dem zu einer gegebenen Eingabe eine bestmögliche Lösung gesucht ist. Das Suchproblem unterscheidet sich vom zugehörigen Optimierungsproblem darin, dass beim Optimierungsproblem nicht die Lösung selbst, sondern der ihr zugeordnete Zahlwert gesucht ist.

Formal ist ein Suchproblem definiert durch einen in einer symbolischer Repräsentation dargelegeten Start- und Zielzustandsbeschreibung, einer Menge von Operatoren und einer Funktion, welche bestimmt, ob der aktuelle Zustand ein Zielzustand ist. Die Anwendung aller vorhandenen Operatoren auf den Startzustand und auf die so resultierenden Zustände spannen den Suchraum auf, welcher häufig auch als Suchbaum notiert werden kann.