MakarovSuites
Deutsch
EnglishDeutschРусскийУкраїнськаFrançaisEspañolItalianoPolski
Kontakt & Lizenzen

Math

Rucksack: Gier gegen die Tabelle

Wähle nummerierte Kisten unter einem Gewichtslimit. Vergleiche mit Gier und der exakten Lösung, öffne eine Tabellenzelle und verfolge die optimale Auswahl rückwärts.

Rucksack: Gier gegen die Tabelle — Bild aus der Anwendung
Bild aus der Anwendung

Was passiert

Wähle nummerierte Kisten unter einem Gewichtslimit. Vergleiche mit Gier und der exakten Lösung, öffne eine Tabellenzelle und verfolge die optimale Auswahl rückwärts. T(i,c): bester Wert der ersten i Gegenstände bei Kapazität c. Klicke eine Zelle: Blau lässt aus, Grün nimmt. Pfeile blättern. w = Gewicht, v = Wert. Die Kistengröße ist dekorativ; nur das Gesamtgewicht zählt. Die teilbare Grenze gehört zu einer anderen Aufgabe mit teilbaren Gegenständen. Sie ist keine zulässige 0/1-Auswahl.

Gleichungen des Moduls
Gleichungen
0/1: sum(w_i x_i) <= W; max sum(v_i x_i), x_i aus {0,1}
T(0,c) = 0
w_i > c: T(i,c) = T(i-1,c)
w_i <= c: T(i,c) = max(T(i-1,c), v_i + T(i-1,c-w_i))
v_i/w_i ↓; i ↑
F_greedy <= F_0/1 <= F_fractional
V_single = max({0} ∪ {v_i : w_i <= W})
max(F_greedy, V_single) >= F_0/1 / 2
N_DP = n*W; N_subsets = 2^n

Weitere Experimente

Zum Katalog
Simplex in der Ebene — Bild aus der Anwendung

Math

Simplex in der Ebene

Der zulässige Bereich liegt auf dem Tisch, darüber hängt eine Platte in Höhe der Zielfunktion. Die Zielfunktion ist linear, also ist die Platte flach und geneigt, und der beste Punkt ist buchstäblich ihre höchste Ecke.

Die Turingmaschine und die fleißigen Biber — Bild aus der Anwendung

Math

Die Turingmaschine und die fleißigen Biber

Ein Papierband zwischen zwei Spulen, ein Metallkopf mit Zustandslampe und eine Regeltabelle. Jeder Schritt läuft als Lesen, Schreiben, Bewegen, neuer Zustand ab; das Journal darunter hält den ganzen Lauf, und eine geänderte Regel bewahrt den alten Lauf als Geist. Die Rekorde sind durch Aufzählen aller Maschinen gefunden, nicht zitiert.

Fourier, eine Periode und ein Faktor — Bild aus der Anwendung

Math

Fourier, eine Periode und ein Faktor

Vergleichen Sie eine Spitze mit ihrem Nachbarn. Dann messen: Eine Spitze liefert einen Nennerkandidaten, keinen garantierten Faktor. Ideales CPU-Modell, 12 Qubits, ohne Rauschen oder Hardware. Für N=21 gilt Q=128 < N²: geringere Präzision. Nur teilerfremde Basen; sonst liefert ggT(a,N) bereits einen Faktor.