• Keine Ergebnisse gefunden

Games with perfect information

N/A
N/A
Protected

Academic year: 2021

Aktie "Games with perfect information"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Games with perfect information

Exercise sheet 1

TU Braunschweig

Sebastian Muskalla Summer term 2018

Out: April 4 Due: April 11

Submit your solutions on Wednesday, April 11, during the lecture.

Please submit in groups of three persons.

Exercise 1

Complete the tree from Example 2.3 from the lecture notes, i.e. draw the full tree of plays for the initial state(2,2,1), where we assume that player 1 is active. For every node, write down the Nim sum. Furthermore, mark all winning states in the tree.

Exercise 2

Prove Lemma 2.9 from the lecture notes: Let(c1, . . . ,ck)be an unbalanced state. There is a suc- cessor state (i.e. a state to which we can go with one single move) that is balanced.

Hint:Consider the smallest indexjsuch that NimΣ(c1, . . . ,ck)jis odd. (Note that “smallest” means that the corresponding bit is most significant.) Prove that there is an indexiwithcij =1 that can be modified to get to a balanced state.

Referenzen

ÄHNLICHE DOKUMENTE

(Counting of lattice points.) You can use for example Apostol, Introduction to analytic number theory, Theorem 3.3.. (NOT for crosses, and not to be handed in.) Deadline for

der Universit at M unchen Set

Prof. Then U is not isomorphic to the aÆne. line. But that means that the map cannot

Let Φ PA be the axiom system of Peano arithmetic and let Cons Φ PA be the formula that expresses the consistency of Φ PA (as defined in

Mathematische Grundlagen der Informatik RWTH

The syntax of FO is given by the usual rules together with an additional ε-rule: If ψ is a formula, and x is a variable, then εxψ is a term (read “an x such

Throughout, R denotes a ring, and, unless otherwise stated, all rings are assumed to be associative rings with 1, and modules are assumed to be left

Deduce from Remark 35.12 of the Lecture Notes that column orthogonality relations for the Brauer characters take the form Π tr Φ =