D120.de/forum

Hallo, Laut Wiki wird die Invariante eingehalten, dass S alle aktiven Knoten enthält. Laut diesem Wiki-Eintrag gehört t (der Target-Knoten) per Definition nicht zu den aktiven Knoten, sodass t niemals zur Menge der aktiven Knoten S hinzugefügt werden darf. Beim Hinzufügen eines Knotens w in S wird a...

Danke für die Antwort. Heißt das, bei der Abnahme ist es auch in Ordnung, wenn in dem GUI noch die zusätzlichen Kanten zu sehen sind?

Hallo, Ich habe eine Frage zum Level-Graph bzw. Schichtengraph in Dinic. Im Wiki ist dieser wie folgt definiert: Construct the acyclic subgraph G'=(V', A') of the residual network that contains an arc if, and only if, the arc is on at least one (s-t)-path with smallest number of arcs (and contains a...

Das Buch ist verkauft.

Die ICS-Dateien aus TUCAN sind nicht richtig formatiert, standardmäßig ist eigentlich UTF-8 vorgesehen, aber die Dateien sehen eher nach UTF-16 aus. Versuch mal, die Datei zu konvertieren, zum Beispiel mit: iconv -f UTF-16 -t UTF-8 file_from_tucan.ics > fixed_file.ics Und dann die neue Datei in Thun...

Danke für die Antwort. Ja, mir ist auch aufgefallen, dass man dann beweisen muss, dass für alle Test-Instanzen gilt: Test t != 0 & \created(t) ==> t.b >= 0. Über deinem Code kann ich aber problemlos ohne Änderung preserveInv von test() beweisen? Benutzt du die KeY-Version von der FGdI3-Seite? Komisc...

Hallo, mir gelingt es mit KeY nicht, die einfachsten Invarianten zu beweisen, sofern diese etwas über Instanzvariablen aussagen. Beispiel: public class Test { public static int a; public int b; /*@ public static invariant a >= 0; */ public static void test_static() { a = 1; } /*@ public instance inv...

Edit: Hat sich erledigt.

Das ist auch so gedacht, dass die SimpleIntegerExpression so berechnet wird. In testSimpleIntegerExpressionEvaluate wird nämlich das Ergebnis 35 für den Ausdruck 3+5*6-5/10*100+2 erwartet, das Ergebnis erreicht man nur, wenn 5/10=0 ist.

Ich sehe das ähnlich, finde es aber nicht so tragisch solange man mit dem Stoff durchkommt. Wenn mir der Stoff zu langsam abgehandelt wird, sehe ich mir die Aufzeichnungen mit erhöhter Abspielgeschwindigkeit an. Dann besteht auch nicht das Problem mit der kleinen Schriftgröße und dem schwachem Kontr...