Non-wellfounded Conway games

Martin Blahynka

Bakalářská práce

Anotace:

Conwayovy hry patří mezi partyzánské kombinatorické hry dvou hráčů. V této práci formalizujeme Conwayovy hry pomocí jednoduchého grafového modelu. V takto zavedeném formalizmu dokazujeme tzv. determinacy theorem. Dále formalizujeme poziční hry a ukazujeme, jak je možné redukovat Conwayovy hry na poziční hry a naopak.

Abstract:

Conway games are a type of partisan combinatorial game between two players. We give an exposition of (possibly non-well-founded) Conway games based on a simple graph model. We consider every infinite play to be a draw. In this formalism we prove determinacy of Conway games. We similarly formalise positional games – another type of game – and show how the two types of games can be reduced to each other.

Keywords

Conway games, winning regions, determinacy, positional games

Jazyk práce: angličtina

Datum vytvoření / odevzdání či podání práce: 26. 5. 2020

Obhajoba závěrečné práce

• Obhajoba proběhla 25. 6. 2020
• Vedoucí: Dr. rer. nat. Achim Blumensath
• Oponent: prof. RNDr. Antonín Kučera, Ph.D.

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Informatika / Matematická informatika