e/Lonely runner conjecture

Information
has gloss	eng: In number theory, and especially the study of diophantine approximation, the lonely runner conjecture is a conjecture originally due to J. M. Wills in 1967. Applications of the conjecture are widespread in mathematics; they include view obstruction problems and calculating the chromatic number of distance graphs and circulant graphs . The conjecture was given its picturesque name by L. Goddyn in 1998 .
lexicalization	eng: lonely runner conjecture
instance of	(noun) a tentative insight into the natural world; a concept that is not yet verified but that if true would explain certain facts or phenomena; "a scientific hypothesis that survives experimental testing becomes a scientific theory"; "he proposed a fresh theory of alkalis that later was accepted in chemical practices" hypothesis, theory, possibility