Vasek Chvátal On the bicycle problem. 165-173 1983 5 Discret. Appl. Math. 2 https://doi.org/10.1016/0166-218X(83)90039-2 db/journals/dam/dam5.html#Chvatal83