Determiniertheit (Algorithmus)

Ein Algorithmus ist in der Regel dazu bestimmt, eine Menge von Eingabewerten auf eine nicht zwangsläufig gleichmächtige Menge von Ausgabewerten abzubilden. Man spricht von einem determinierten Algorithmus, wenn es sich bei dieser Abbildung um eine mathematische Funktion handelt; also genau dann, wenn jeder Eingabewert auf genau einen Ausgabewert abgebildet wird.

Praktisch gesehen ist die Ausgabe zu einer bestimmten Eingabe immer gleich; die Zwischenergebnisse können sich aber bei jeder Ausführung des Algorithmus beliebig unterscheiden.

Der Begriff der Determiniertheit ist vom Begriff Determinismus zu unterscheiden. Deterministische Algorithmen sind auch stets determiniert; die Umkehrung gilt jedoch nicht: Es gibt auch nichtdeterministische Algorithmen, die determiniert sind.