Minkowski games
St\'ephane Le Roux, Arno Pauly, Jean-Fran\c{c}ois Raskin

TL;DR
The paper introduces Minkowski games, a class of two-player positional games in Euclidean space, analyzing their winning strategies, computational complexity, and decision problem properties.
Contribution
It provides the first formal study of Minkowski games, characterizing winning conditions and establishing complexity results for boundedness and safety variants.
Findings
Boundedness games are coNP-complete.
Safety games are undecidable.
General characterizations of winning strategies.
Abstract
We introduce and study Minkowski games. These are two player games, where the players take turns to chose positions in based on some rules. Variants include boundedness games, where one player wants to keep the positions bounded, and the other wants to escape to infinity; as well as safety games, where one player wants to stay within a prescribed set, while the other wants to leave it. We provide some general characterizations of which player can win such games, and explore the computational complexity of the associated decision problems. A natural representation of boundedness games yields coNP-completeness, whereas the safety games are undecidable.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
