Conjecture du coureur solitaire
From Wikipedia, the free encyclopedia
En mathématiques, et plus particulièrement dans l'étude de l'approximation diophantienne, la conjecture du coureur solitaire est une conjecture formulée par John M. Wills en 1967. Les applications de cette conjecture balayent de nombreux domaines des mathématiques : problèmes d'obstruction de vue[1], calculs de nombres chromatiques[2], etc. Le nom pittoresque de cette conjecture a été proposé par Luis Goddyn en 1998[3].
On considère k coureurs sur une piste circulaire de longueur 1. Au temps t = 0, tous les coureurs sont à la même position et commencent à courir à des vitesses deux à deux distinctes. Un coureur est dit solitaire au temps t s'il est à une distance d'au moins 1/k de tous les autres coureurs. La conjecture du coureur solitaire affirme que chaque coureur sera solitaire à certains moments.
Propriétés
A priori, les vitesses sont des réels, mais on peut se restreindre sans perte de généralité à des rationnels ou des entiers[4],[5].
