hab hier mal ein problem komme garnicht vorran bitte um hilfe...

Code java:

1 2 3 4 5 6 7 8

x=a[right]; i=left; j=right-1; while (i<=j) { while (a[i]<x) { ++i; } while ((j>=left) && (a[j]>=x)) { --j; } if (i<j) {swap(a, i, j); ++i; --j;} } swap(a, i, right);

Geben Sie für diesen Algorithmus eine Invariante an und begründen Sie mit ihrer Hilfe die
Korrektheit.

ZU allererst einmal, was soll der Algorithmus machen. Auf den ersten Blick ohne es mir genauer anzusehen würde ich auf Quicksort tippen, liege richtig?

Zitat von Technoblade

Quicksort tippen, liege richtig?

Ja genau, liegst richtig

Und wo hast du dabei ein Problem? Was ist dir unklar?

Moin,

hast Du schon mal nach "Quicksort Invariante" gegoogled?
Da gibt es doch jede Menge Seiten (bspw. gleich der erste Link), die erklären, wie man die Korrektheit der Invariante beweisen kann ....

Gruß
Klaus

Zitat von vfl_freak

nach "Quicksort Invariante" gegoogled?

Wenn es so wäre bräuchten wir doch garnicht hier son Forum oder?
Soweit ich weiß, kann man ja mit der Vor und Nachbedingung die Invariante berechnen....
könnte es stimmen, dass die Vorbedingung
(i<=j)
(a[i]<x)((j>=left) && (a[j]>=x))

****?

Naja habs eben von selbst hinbekommen....danke trotzdem für die anstrengung

Moin,

Zitat von Amaninho

Wenn es so wäre bräuchten wir doch gar nicht hier so ein Forum oder?

ganz ehrlich, bevor ich hier (oder ähnlichen Foren) Fragen stelle, schaue immer erst mal im Web nach Lösungsansätzen!
Ein bisschen Eigeninitiative (oder zumindest der Versuch derselben) wird hier schon ganz gerne gesehen

Nix für ungut!
Gruß
Klaus

Zitat von vfl_freak

Moin,
ganz ehrlich, bevor ich hier (oder ähnlichen Foren) Fragen stelle, schaue immer erst mal im Web nach Lösungsansätzen!
Ein bisschen Eigeninitiative (oder zumindest der Versuch derselben) wird hier schon ganz gerne gesehen

Oder: bevor du hier etwas schreibst, solltest du schon mal versuchen, dein Problem mit Hilfe von
a) intelligentem Überlegen
b) Nutzung von Suchmaschinen
zu lösen, weil:
1.) sonst einige Menschen hier nicht oder stark gereizt antworten werden
2.) es erfahrungsgemäß einige Zeit dauert, bis dir hier jemand den entscheidenden Tipp gibt
3.) du sonst nicht weißt, welche ähnlichen Fehler die Nutzer hier (fälschlicher weise) vermuten könnten
4.) du lernst, Suchmaschinen zu nutzen (inklusive Eigenheiten, "versteckten" Funktionen, Parametern, ...)