{"id":"arxiv/2609.24454","url":"https://arxiv.org/abs/2609.24454","tags":["math.OC","cs.CG","math.MG"],"score":0,"title":"The logarithmic spiral is optimal for shoreline search: a computer-assisted proof","domain":"math.OC","source":"arxiv","authors":["Alexander Temerev"],"reviews":0,"subject":"math.OC","summary":"A ship starts at a point of the plane and moves at unit speed; it has to reach an unknown straight line, of which neither the distance nor the direction is known. The competitive ratio of a path is the supremum, over all lines, of the time at which the line is reached divided by its distance. Baeza-Yates, Culberson and Rawlins conjectured that a logarithmic spiral, with ratio $C_{\\mathrm{sp}} = 13.8111351794611\\ldots$, is optimal. We give a computer-assisted proof. Paths are arbitrary: the distance from the start and the polar angle may both decrease. The proof lifts the set of found…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-21","reactions":{}}