Enzyklopädie > R > Rangfunktion (Informatik)
Rangfunktion (Informatik)
Unter einer Rangfunktion (englisch ranking function) versteht man in der Informatik eine Funktion mit Werten in den natürlichen Zahlen, die beim Lauf eines Algorithmus von Rechenschritt zu Rechenschritt monoton fällt. Diese Eigenschaft nutzt man aus, um die Terminierung des Algorithmus zu beweisen.
Mehr Informationen (Wikipedia)
Die Informationen wurden von Wikipedia übernommen, einer offenen Enzyklopädie in welche Freiwillige ihre Beiträge beisteuern.
Die Texte sind unter den Bedingungen der GNU Free Documentation License zugänglich.Encyklopedie (cz) Encyklopédia (sk) Encyclopedia (en)