Categories of impartial rulegraphs and gamegraphs
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866929572562337792 |
|---|---|
| author | Bašić, Bojan Ellis, Paul Ernst, Dana C. Popović, Danijela Sieben, Nándor |
| author_facet | Bašić, Bojan Ellis, Paul Ernst, Dana C. Popović, Danijela Sieben, Nándor |
| contents | The traditional mathematical model for an impartial combinatorial game is defined recursively as a set of the options of the game, where the options are games themselves. We propose a model called gamegraph, together with its generalization rulegraph, based on the natural description of a game as a digraph where the vertices are positions and the arrows represent possible moves. Such digraphs form a category where the morphisms are option preserving maps. We study several versions of this category. Our development includes congruence relations, quotients, and isomorphism theorems and is analogous to the corresponding notions in universal algebra. The quotient by the maximum congruence relation produces an object that is essentially equivalent to the traditional model. After the development of the general theory, we count the number of non-isomorphic gamegraphs and rulegraphs by formal birthday and the number of positions. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2312_00650 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Categories of impartial rulegraphs and gamegraphs Bašić, Bojan Ellis, Paul Ernst, Dana C. Popović, Danijela Sieben, Nándor Combinatorics The traditional mathematical model for an impartial combinatorial game is defined recursively as a set of the options of the game, where the options are games themselves. We propose a model called gamegraph, together with its generalization rulegraph, based on the natural description of a game as a digraph where the vertices are positions and the arrows represent possible moves. Such digraphs form a category where the morphisms are option preserving maps. We study several versions of this category. Our development includes congruence relations, quotients, and isomorphism theorems and is analogous to the corresponding notions in universal algebra. The quotient by the maximum congruence relation produces an object that is essentially equivalent to the traditional model. After the development of the general theory, we count the number of non-isomorphic gamegraphs and rulegraphs by formal birthday and the number of positions. |
| title | Categories of impartial rulegraphs and gamegraphs |
| topic | Combinatorics |
| url | https://arxiv.org/abs/2312.00650 |