В advent of code бинарным поиском решалось так - сначала находим такой круг, которым просто можно накрыть ваще все. Потом делим его на части (в половину радиуса) и находим, какая из частей накрывает больше других. Но там метрика была x+y, там это было чуток проще