3 papers
cs.DM2026
The lonely runner conjecture holds for nine runners
Matthieu Rosenfeld
We prove that the lonely runner conjecture holds for nine runners. Our proof is based on a couple of improvements of the method we used to prove the conjecture for eight runners.
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…