Везде в дальнейшем будем обозначать через C(P,Z) окружность с центром в точке (P,O) и проходящую через точку Z=(Z_x,Z_y).

Очевидно, что на искомой окружности лежит по меньшей мере одна точка. Действительно, в противном случае мы можем, не меняя центра окружности, уменьшить ее радиус, а это противоречит предположению о том, что нами была построена окружность минимального радиуса.

Докажем следующее простое утверждение: Если на искомой окружности лежит единственная точка, то центр окружности есть проекция этой точки на ось абсцисс.

Предположим противное - на минимальной окружности лежит единственная точка Z(Z_x,Z_y), а центр ее не совпадает с (Z_x,0). Если мы начнем понемножку двигать центр окружности, проходящей через точку Z, в направлении (Z_x,0), то, так как все точки, кроме Z, лежат внутри окружности, до какого-то момента они и будут оставаться внутри нее. Таким образом мы можем хоть чуть-чуть, но сдвинуть центр, уменьшив при этом радиус окружности, содержащей все точки. Получаем противоречие с предположением о минимальности радиуса.

Следствие. Если на искомой окружности лежит только одна точка, то это точка с максимальной по модулю ординатой.

Отметим далее, что окружность с центром на оси абсцисс

единственным образом определяется двумя лежащими на ней точками (центр этой окружности - это точка пересечения оси абсцисс и срединного перпендикуляра к отрезку, соединяющего эти две точки).

Таким образом мы получаем следующий

Алгоритм 1:

Шаг 1.Ищем точку (x_i,y_i) с максимальной по модулю ординатой y_i (если таких точек несколько, и у них разные абсциссы, то перейти на Шаг 2), и для окружности C(x_i,(x_i,y_i)) проверяем, содержит ли она все N точек. Если да, то задача решена, если нет, то

Шаг 2. Среди окружностей, определяемых всевозможными парами точек (P_i, P_j), находим те, которые содержат все точки, а затем выбираем из них окружность минимального радиуса.

Пар точек, которые могут определять окружности, всего N(N-1)/2, т.е. порядка N*N, следовательно, и возможных окружностей тоже порядка N*N. Для проверки принадлежности N точек каждой окружности требуется порядка N операций. Получаем, что сложность этого алгоритма порядка N³. (Когда мы говорим о сложности алгоритма, то мы рассматриваем только зависимость роста числа требуемых операций от числа N, игнорируя все константные множители и медленно растущие слагаемые).

Рассмотрим другой способ решения этой задачи, основанный

на более глубоком ее анализе.

Проверка по Шагу 1 ранее изложенного алгоритма остается без изменения. Пусть искомая окружность не найдена.

Для обоснования Шага 2 докажем следующее утверждение: Пусть окружность с центром (P_ij,0) определяется точками

P_i(x_i,y_i) и P_j(x_j,y_j). Она только тогда может быть содержащей все точки окружностью C минимального радиуса, когда (P_ij,0) лежит на ортогональной проекции отрезка [(x_i,y_i),(x_j,y_j)] на ось абсцисс, т.е. должны выполняться неравенства x_i<=P_ij<=x_j.

Окружность C с центром (_Pij0) должна проходить не менее чем через 2 точки заданного множества из N точек, и при этом из этих точек всегда можно выбрать две такие (обозначим их P_i(x_i,y_i) и P_j(x_j,y_j)), что x_i<P_ij<x_j. Действительно, если бы абсциссы всех лежащих на окружности точек были, например, меньше P_ij, то (P_ij,0) можно было бы сместить влево по оси абсцисс на некоторую величину с уменьшением радиуса охватывающей все точки окружности, что противоречит минимальности найденной ранее окружности.

Ни одна из точек, лежащих на окружности не может иметь абсциссы P_ij вследствие невыполнения условия Шага 1.

Итак: всегда можно найти две лежащие на окружности точки P_i и P_j с абсциссами, соответственно, меньше и больше абсциссы центра окружности. Эти точки определяют центр окружности (P_ij,0) - точку пересечение серединного перпендикуляра к отрезку [P_i,P_j] с осью абсцисс. При этом точка (P_ij,0), естественно, будет лежать на проекции отрезка [P_i,P_j] на ось абсцисс.

Рассматривая все пары точек (P_i,P_j) таких, что точка пересечения (P_ij,0) серединного перпендикуляра к отрезку [P_i,P_j] с осью абсцисс лежит на проекции отрезка [P_i,P_j] на ось абсцисс, получаем, что центр искомой окружности минимального радиуса совпадает с одной из таким образом полученных точек. Каждая из рассматриваемых пар точек (P_i,P_j) определяет окружность минимального радиуса R_ij, содержащую эти две точки.

Из всего вышесказанного получаем, что интересующая нас окружность минимального радиуса, содержащая N точек, должна

Всего пар точек (P_i,P_j) не более (N²-N)/2, и, следовательно, сложность алгоритма

O((N²-N)/2) = O(N²-N) = O(N²).

Тут мы, как и обычно, избавляемся от констант и медленно растущих слагаемых.

Все вычисления на машине проводятся с ограниченной точностью, с определенным числом знаков после запятой. Поэтому нам бывает достаточно только указать, что интересующая нас точка лежит внутри отрезка заранее заданной длины epsilon. Epsilon задается пользователем. Например, если мы хотим найти координату точки с точностью 5 знаков после запятой, то epsilon = 10^-6.

В отличие от варианта #2 мы не будем брать все перпендикуляры, попадающие на проекции отрезков и искать среди получаемых окружностей окружность с максимальным радиусом. Наоборот, описанным ниже способом будем выбирать точку на оси абсцисс и проверять, является ли она искомой или нет.

Из варианта решения #2 можно сделать вывод, что искомая точка лежит на отрезке [A₀,B₀]=[min{x_i},max{x_i}]. Пусть C₀=(A₀+B₀)/2 - середина этого отрезка, а L=B₀-A₀ его длина.

Обозначим:

D₁(C₀)=максимальное из расстояний от точки (C₀,0) до точек (x_i,y_i) с абсциссами x_i<=C₀;

D_r(C₀)=максимальное из расстояний от точки (C₀,0) до точек (x_i,y_i) с абсциссами x_i>=C₀.

i-ый итеративный (повторяющийся) шаг алгоритма, i=0, 1, 2, 3, ... :

Если B_i-A_i<=epsilon, то центр окружности лежит на отрезке [A_i,B_i] и желаемая точность достигнута. Стоп.

Иначе

Вычисляем C_i=(A_i+B_i)/2.

Находим D_l(C_i) и D_r(C_i).

Если D_l(C_i)<D_r(C_i), то искомая точка не может лежать на промежутке [A_i,C_i), так как радиус любой содержащей N точек окружности с центром на этом промежутке больше D_r(C_i) (проверьте сами!), а окружность с центром C_i имеет радиус D_r(C_i). Поэтому центр искомой окружности лежит на [C_i,B_i], который мы обозначим [A_i+1,B_i+1],

иначе, если D_r(C_i)<D_l(C_i), то, аналогично, получаем, что центр искомой окружности лежит на [A_i,C_i], которой мы обозначим [A_i+1,B_i+1]

иначе, если D_r(C_i)=D_l(C_i),

то C_i - центр искомой окружности. Стоп.

Конец i-го итеративного шага. Выполнить шаг i+1.

Мы видим, что длина L начального отрезка на каждом шаге уменьшается вдвое. Алгоритм, вообще говоря, заканчивает работу при выполнении условия

L/(2^S)<=epsilon,

т.е. требуется не более чем S=[log₂ (L/epsilon)]+1 шагов, где log₂ - это логарифм по основанию 2.

Так как на каждом шаге (для вычисления D_l и D_r) выполняется не более O(N) операций, то всего их потребуется порядка O(N log₂ (L/epsilon)).