Overcoming a Learning Bottleneck in Impartial Games: A Circuit Complexity Approach

arXiv:2411.06403 · cs.AI · Submitted 2024-11-10 · Read on arXiv

cs.AI

Submitted: 2024-11-10

Updated: 2026-10-11

Comments: 48 pages, 8 figures. Substantially revised and retitled; adds persistent recurrence, Lean-checked constructions and an interactive edition. Interactive paper and Lean sources: https://sr123.github.io/impartial-games-learning-lean/

Code: https://github.com/SR123/NIM

Project page: https://sr123.github.io/impartial-games-learning-lean

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

Sources

Related papers