Здравствуйте, AlexSkvortsov, Вы писали:

AS>Доказательство зацикливания и конечности тривиально.
AS>Вводим параметр Ss = "сумма минимальных углов всех треугольников" или
AS>Sr "сумма радиусов описанных окружностей всех треугольников".
AS>После перестроения по условию Делоне Ss всегда возрастает,
AS>а Sr всегда уменьшается (это легко доказывается и следует из
AS>определения условия Делоне).
AS>Т.к. эти параметры монотонно изменяются, следовательно, одна и та же
AS>комбинация треугольников никогда не повторится, т.е.
AS>возможность зацикливания исключена.
Кажется понятно!
То есть по ходу перестановок Sr уменьшается И НЕ МОЖЕТ ДАЖЕ ЛОКАЛЬНО ВОЗРАСТИ?

AS>А т.к. количество всех возможных триангуляций на N точках конечно
AS>(зависит по экспоненте от N), то и перестроения когда-то закончатся.
Спасибо!!!