Vor einiger Zeit habe ich spät abends meine Wäsche gewaschen. Als ich meine Wäsche zurück in meinen Schlafsaal brachte, fing ich an, sie wegzulegen. Mein Kleiderschrank ist wie folgt aufgebaut: Meine Schubladen sind nach der Art der Kleidung kategorisiert, die sie tragen, und das ist mir sehr wichtig. Das heißt, …
Irgendwie habe ich letzte Nacht über Quicksort nachgedacht und auf Wikipedia darüber gelesen. Das Interessante für mich war: „Wenn wir konsequent einen Pivot aus den mittleren 50 Prozent wählen könnten, müssten wir die Liste höchstens aufteilenlog4/3nlog4/3n\log_{4/3} n. Die Wahl des Drehpunkts scheint ein mögliches Problem der Quicksortierung zu sein, das …
Quicksort wird als "an Ort und Stelle" beschrieben, verwendet jedoch eine Implementierung wie: def sort(array): less = [] equal = [] greater = [] if len(array) > 1: pivot = array[0] for x in array: if x < pivot: less.append(x) if x == pivot: equal.append(x) if x > pivot: greater.append(x) …
Definition: Eine erhaltene Invariante einer Zustandsmaschine ist ein Prädikat für Zustände, so dass wann immerPPPP.(q)P(q)P(q) ist wahr für einen Staat, qqq, und q→rq→rq \rightarrow r für einen Staat, rrr, dann P.(r)P(r)P(r) hält. Definition: Ein Liniendiagramm ist ein Diagramm, dessen Kanten sich alle auf einem Pfad befinden. Definition: Formal ist eine …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.