Korrektheitsbeweis für einen Algorithmus zur Zählung von Senken in einem Array
Wie kann die Korrektheit eines Algorithmus zur Zählung von Senken in einem Array bewiesen werden? Der gegebene Algorithmus hat zum Ziel, die Anzahl der Senken in einem gegebenen Array zu zählen. Eine Senke ist definiert als eine Position i, für die gilt: A[i-1] > A[i] < A[i+1]. …