Showing math.COShow all
2 papers · 1 filter
math.CO2025
The lonely runner conjecture holds for eight runners
Matthieu Rosenfeld
We prove that the lonely runner conjecture holds for eight runners. Our proof relies on a computer verification and on recent results that allow bounding the size of a minimal coun…
math.CO2025
Local obstructions in sequences revisited
Matthieu Rosenfeld, Alexander Shen
In this article, we consider some simple combinatorial game and a winning strategy in this game. This game is then used to prove several known results about non-repetitive sequence…