Korrektheitsbeweis für einen Algorithmus zur Zählung von Senken in einem Array
Wie lässt sich die Korrektheit eines Algorithmus, der Senken in einem Array zählt, fundiert nachweisen? Der Algorithmus zur Zählung von Senken in einem Array ist ein wichtiges Werkzeug in der Informatik. Senken sind spezielle Positionen innerhalb eines Arrays. Genauer gesagt sind dies Stellen, an denen der Wert kleiner ist als die Werte auf beiden Seiten. …