A Finite Automaton Approach to Combinatorial Games
This study applies finite automata to the automatic solving of a variety of combinatorial games. For games whose positions and moves can be represented as regular languages and their operations, we design a two-stage automatic solving algorithm: first, construct a candidate finite automaton to determine the $\mathcal{P}$- and $\mathcal{N}$-positions, and then perform rigorous formal verification on this automaton; once verified, a complete solution of the game is obtained. For partizan octal games, we introduce a generalized misère quotient, overcoming the limitation that traditional theory…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.13273
curl -X POST /api/v1/records/arxiv/2608.13273/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.13273/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'