5 papers
Maker-Breaker games on infinite graphs with precolored edges
Nathan Bowler, Florian Gut, Henri Ortmüller
Suppose we are given graphs and . In the classical Maker-Breaker game two players, Maker and Breaker, alternately claim edges of and it is Maker's goal…
Drawing strategies in Strong Ramsey games for 3-uniform hypergraphs
Nathan Bowler, Henri Ortmüller
The Strong Ramsey game is a two player game with players and , where and are -uniform hypergraphs for some . is always finite…
Locally interval graphs are circular-arc graphs
Tara Abrishami, Sandra Albrechtsen, Nathan Bowler +2
Circular-arc graphs are graphs that can be represented as intersection graphs of subpaths of a cycle. Interval graphs are graphs that can be represented as intersection graphs of s…
is a win for Player 1
Nathan Bowler, Henri Ortmüller
The Strong Ramsey game is a two player game with players and , where and are -uniform hypergraphs for some . is always finite…
Probabilistic Strategies: Definability and the Tensor Completeness Problem
Nathan Bowler, Sergey Goncharov, Paul Blain Levy
Programs that combine I/O and countable probabilistic choice, modulo either bisimilarity or trace equivalence, can be seen as describing a probabilistic strategy. For well-founded…