Known Results
| Can the Lonely runner conjecture be proved for k≥8? |
| k | year proved | proved by | notes |
|---|---|---|---|
| 1 | - | - | trivial: t=0; any t |
| 2 | - | - | trivial: t=(v1-v0)/2 |
| 3 | - | - | Any proof for k>3 also proves k=3 |
| 4 | 1972 | Betke and Wills; Cusick | - |
| 5 | 1984 | Cusick and Pomerance; Bienia et al. | - |
| 6 | 2001 | Bohman, Holzman, Kleitman; Renault | - |
| 7 | 2008 | Barajas and Serra | - |
Read more about this topic: Lonely Runner Conjecture
Famous quotes containing the word results:
“It would be easy ... to regard the whole of world 3 as timeless, as Plato suggested of his world of Forms or Ideas.... I propose a different view—one which, I have found, is surprisingly fruitful. I regard world 3 as being essentially the product of the human mind.... More precisely, I regard the world 3 of problems, theories, and critical arguments as one of the results of the evolution of human language, and as acting back on this evolution.”
—Karl Popper (1902–1994)