EXOTIC: An Exact, Optimistic, Tree-Based Algorithm for Min-Max Optimization

2508.12479v1 math.OC, cs.AI, cs.GT, cs.MA, econ.GN, q-fin.EC, 90C26, 90C47, 68Q32, 91A06, 65K05 2025-08-20
Авторы:

Chinmay Maheshwari, Chinmay Pimpalkhare, Debasish Chatterjee

Резюме на русском

## Контекст Минимум-максимум (мин-макс) оптимизация широко распространена в областях, таких как игровая теория, машинное обучение с адверсарным подходом и другие. Обратите внимание, что градиентные методы, которые широко используются для решения таких задач, могут оказаться неэффективными в случаях, когда функции мин-макс не наследуют выпуклость или конкретные свойства. Особенно это касается задач мин-макс с невыпуклыми и неконкретными функциями. В данной работе рассматривается методология для поиска глобального оптимума в таких задачах. ## Метод Авторы предлагают EXOTIC (Exact, Optimistic, Tree-Based Algorithm) — алгоритм, основанный на деревьях и предназначенный для решения мин-макс задач. Основная идея заключается в преобразовании оптимизационной задачи в решаемую подходящими методами. Для этого вводится реформулировка задачи, которая превращает мин-макс в макс-мин, при этом используется новое оптимизируемое выпукло-неконкретное представление. Для решения этой задачи используется итеративный серийный метод: оптимизатор выпуклой оптимизации решает внутреннюю задачу, тогда как внешняя задача решается с помощью деревового поиска. За счет этого подхода, алгоритм может находить глобальное решение с заданным точностью. ## Результаты На основе введенной модели проводились эксперименты, которые показали высокую эффективность EXOTIC в сравнении с градиентными методами. Были разработаны бенчмарк-проблемы с аналитическими решениями, что позволило проверить EXOTIC на задачах с известными решениями. Эти тесты подтвердили высокую точность решений EXOTIC и сравнительную выгоду перед градиентными методами. Также были проведены эксперименты на реальных задачах мин-макс, в том числе в многоучастниковских играх. ## Значимость Этот алгоритм может быть применен в различных областях, где возникают задачи мин-макс, в том числе в машинном обучении, игровой теории и других задачах, требующих глобального решения. В отличие от градиентных методов, EXOTIC обеспечивает глобальное решение, что является ключевым преимуществом в задачах с неконкретными и невыпуклыми функциями. Это может привести к значительным выгодам в сложных задачах, таких как безопасность в многоучастниковских играх или оптимизация в сложных системах. ## Выводы В ходе работы был предложен новый алгоритм EXOTIC для решения мин-макс задач. Алгоритм показал себя эффективнее существующих градиентных методов на бенчмарк-задачах и практических примерах. Основным направлением для будущих исследований является улучшение эффективности алгоритма для более возможного сложных задач, а такж

Abstract

Min-max optimization arises in many domains such as game theory, adversarial machine learning, etc., with gradient-based methods as a typical computational tool. Beyond convex-concave min-max optimization, the solutions found by gradient-based methods may be arbitrarily far from global optima. In this work, we present an algorithmic apparatus for computing globally optimal solutions in convex-non-concave and non-convex-concave min-max optimization. For former, we employ a reformulation that transforms it into a non-concave-convex max-min optimization problem with suitably defined feasible sets and objective function. The new form can be viewed as a generalization of Sion's minimax theorem. Next, we introduce EXOTIC-an Exact, Optimistic, Tree-based algorithm for solving the reformulated max-min problem. EXOTIC employs an iterative convex optimization solver to (approximately) solve the inner minimization and a hierarchical tree search for the outer maximization to optimistically select promising regions to search based on the approximate solution returned by convex optimization solver. We establish an upper bound on its optimality gap as a function of the number of calls to the inner solver, the solver's convergence rate, and additional problem-dependent parameters. Both our algorithmic apparatus along with its accompanying theoretical analysis can also be applied for non-convex-concave min-max optimization. In addition, we propose a class of benchmark convex-non-concave min-max problems along with their analytical global solutions, providing a testbed for evaluating algorithms for min-max optimization. Empirically, EXOTIC outperforms gradient-based methods on this benchmark as well as on existing numerical benchmark problems from the literature. Finally, we demonstrate the utility of EXOTIC by computing security strategies in multi-player games with three or more players.

Ссылки и действия