Алгоритм нахождения обобщенного чебышевского центра множеств, заданных опорными функциями

Статья посвящена задаче оптимизации. Пусть ${A, B \subset \mathbb{R}^n}$ – выпуклые компакты. Рассмотрим минимальное число ${t^0 > 0}$ такое, что $t^0 B$ накрывает $A$ после сдвига на вектор ${x^0 \in \mathbb{R}^n}$. Цель – найти $t^0$ и $x^0$. В частном случае, когда $B$ является единичным шаром с центром в нуле, $x^0$ и $t^0$ известны как чебышевский центр и чебышевский радиус $A$. В данной статье рассматривается случай, когда $A$ и $B$ определяются с помощью своих опорных функций. Предложен алгоритм в духе градиентного спуска Б.Т. Поляка для эффективного решения таких задач. Алгоритм имеет сверхлинейную скорость сходимости и может решать стомерные тестовые задачи за разумное время, однако для гарантии наличия сходимости необходимы некоторые дополнительные условия на $A$ и $B$. Дополнительно исследовано поведение алгоритма для простого частного случая, что приводит к ряду теоретических результатов. Изучаются также возмущения этого частного случая.