статья

О задачах квазивыпуклой гладкой оптимизации с помощью оракула сравнения

Александр Гасников, Мохаммад Алькуса, Александр Лобанов, Юрий Дорн, Фёдор Стонякин, Илья Курузов, Санджив Сингх

arXiv:2502.01862

Цитировать публикацию

On quasi-convex smooth optimization problems by a comparison oracle

@article{gasnikov2024-quasi-convex-smooth-opt,
  title     = {On quasi-convex smooth optimization problems by a comparison oracle},
  author    = {Alexander Gasnikov and Mohammad Alkousa and Aleksandr Lobanov and Yuriy Dorn and Fedor Stonyakin and Ilya Kuruzov and Sanjeev Singh},
  year      = {2024},
  journal   = {Russian Journal of Nonlinear Dynamics},
  eprint    = {2502.01862},
  archivePrefix = {arXiv},
  url       = {https://arxiv.org/abs/2502.01862}
}

Скачать .bib

Часто при работе со многими моделями машинного обучения задачи оптимизации оказываются сложными из-за ограниченного понимания конструкций и характеристик целевых функций. Поэтому серьёзные затруднения возникают при использовании алгоритмов первого порядка, в которых вычисление градиента сложно или даже невозможно в различных сценариях. По этой причине мы обращаемся к методам без производных (методам нулевого порядка). Эта работа посвящена подходу к минимизации квазивыпуклых функций с использованием только недавно предложенного оракула сравнения. Этот оракул сравнивает значения функции в двух точках и сообщает, какое из них больше; таким образом, при предложенном подходе сравнения — это всё, что нужно для решения рассматриваемой задачи оптимизации. Предлагаемый алгоритм решения рассматриваемой задачи основан на технике оценки направления градиента на основе сравнений и нормализованном градиентном спуске на основе сравнений. Алгоритм нормализованного градиентного спуска — это адаптация градиентного спуска, которая обновляется в направлении градиентов, а не по самим градиентам. Мы доказали скорость сходимости предложенного алгоритма, когда целевая функция гладкая и строго квазивыпуклая в RnR^n; этому алгоритму требуется O(nD2ε2∗log⁡(nDε))O(\frac{nD^2}{ε^2}*\log(\frac{nD}{ε})) запросов сравнения, чтобы найти εε-приближение оптимального решения, где DD — верхняя граница расстояния между всеми генерируемыми точками итераций и оптимальным решением.