ULSK

Also, was wollen wir zeigen? Also zeigen, dass das mit den Spielen, das wir uns ausgedacht haben, korrekt ist.

Das war ja nicht eigentlich die Definition von Erfülltheit in NSW Müller-Ruhe mit Fixpunkten,

sondern die hatten wir ja unabhängig über Kostatarsky und Fixpunktsatz definiert.

Wir wissen, dass das dann tatsächlich korrekt ist. Also, er hat zwei Teile, ich weiß nicht, ob es hier zwei Füchte von Fixpunkten gibt.

Also, stellen wir uns einmal vor, wir hätten so eine kleine Fixpunkte-Defination, also x gleich min Phi.

Und dann gibt es, wenn ich ein Transitionssystem T habe und ein Zustand x dann, ist das halt fix die Notation in der Bereich, die ich glaube, ne?

Also, so ein Ding erfüllt, aber jetzt muss ich nichts sagen.

Also, z, also z jetzt in der Formel ist dieses definierte x vielleicht noch irgendwie verwendet.

Genau, dann wenn unser Spieler D, D wie Defends oder Defender von der Spielposition x, м worked, ich schрыt die Spielposition jetzt noch in das自己 der Broker unleash.

Wenn die Fähmler von der Spielposition x,x ausgewinnt,

natürlich gemäß der Spielregel, der zu dem Röge eher unendliche Spiele verliesst.

Analyse mit der anderen Spielregel.

Die vier unterschiedliche Bereiche sind jetzt in der Hand.

Wir sehen hier zwei Äquivalenzen, macht vier Implikationen und jede Bereichstrategie ist ein bisschen anders.

Jetzt fühlen wir uns vorab gerade, das ist die leichteste.

Ich habe A von links nach rechts geschossen.

A von links nach rechts, B gewinnt.

B von links nach rechts, das ist auch meine Ansicht nach die richtige Antwort.

Das ist eine Gewichtstategie, die wir definieren und wir müssen uns keine Sorgen darum machen, wie lange das Spiel dauert.

Wir müssen also eine Gewinnstrategie für D angeben.

Wir können da diese Pattern folgen, wir geben eine Invariante an, die es gibt.

Wir erfüllen mehr als die Invariante.

Ich vergesse jetzt mal, dass wir die Z-Ding schon mal verwendet haben.

Wenn ich in einer Position x,z bin im Spiel, gilt T,x erfüllt z.

Wir müssen von einer Invariante immer zwei Dinge zeigen.

Erstens ist sie durchhaltbar, zweitens ist sie reich.

Jetzt muss man zeigen, dass wir diese Invariante durchsetzen können.

Für alle x,z drängt man auf Induktionen.

Wir haben viele Induktive Fälle, weil wir uns diese Negationsnormatform gegeben hatten.

Der erste Fall wäre z.B. z.B. true.

Jetzt müssen wir schauen, dass das Spiel durchsetzbar ist.

Natürlich über Lande, die wir schon gewonnen haben, aber auch zu viel.

Z.B. z.B. true.

Das Spiel ist zu Ende, insofern gibt es keine Invariante mehr durchzusetzen.

Und D hat gewonnen.

Das Spiel ist nützlich bei Force.

Das Spiel sollte in dem Moment schon gelb in der Force gefüllt sein.

Wir werden jetzt in einer Position, z.B. z.B. z.B. 2.

Wer ist dran?

Wer bei uns ist, der heißt der Attacker.

Z.B. z.B. true.

Z.B. z.B. true.

Z.B. z.B. true.

Z.B. z.B. true.

Z.B. z.B. true.

Und dasjenige, die eh spielt, ist die Karte.

So, Box Archie, der ist da.

Der Attacker ist dran, was kann er tun?

Wir werden jetzt in Nachfolge-Zustand.