📊 Статистика дайджестов

Всего дайджестов: 35039 Добавлено сегодня: 432

Последнее обновление: сегодня
Авторы:

Erwan Meunier, Julien M. Hendrickx

## Контекст Децентрализованные алгоритмы онлайн-оптимизации играют ключевую роль в решении проблем взаимодействия множества агентов, которые без прямого общения должны принимать решения, оптимизируя общую функцию. Такие алгоритмы широко применяются в сетевых системах, распределенных алгоритмах и системах управления. Однако их эффективность сильно зависит от того, насколько точно оценивается их производительность в условиях децентрализованного взаимодействия. Наличие неточных или слишком условных оценок может привести к неверным выводам и неэффективным решениям в реальных системах. ## Метод Мы применяем подход, основанный на **Performance Estimation Problem (PEP)**, для точного вычисления худшего-случайной производительности децентрализованных алгоритмов. Этот подход позволяет автоматически получить численные значения показателей производительности, обеспечивая точность и достоверность результатов. Мы рассматриваем алгоритмы с разными шагами и структурами взаимодействия, оценивая их взаимосвязь с результатом оптимизации. ## Результаты Наши эксперименты показали, что некоторые доступные оценки производительности являются сильно условными и могут отклоняться от реального поведения алгоритмов на несколько порядков меньше. Например, мы обнаружили, что некоторые алгоритмы в течение долгого времени не прибывают от взаимодействия между агентами, что не соответствует их теоретическим оценкам. Мы также провели тюнинг шаговых размеров в алгоритмах, улучшив их регрет за худшый случай на до 20%. ## Значимость Наши результаты имеют решающее значение для практического применения децентрализованных онлайн-алгоритмов. Они позволяют избежать ошибок в выборе алгоритмов, обеспечивая более точные возможности оценки. Это может привести к эффективнейму использованию ресурсов в сетях, распределенных системах и управлении. Более того, наш подход открывает пути для дальнейшего исследования над другими алгоритмами и их оптимизацией в условиях децентрализации. ## Выводы Мы показали, что многие доступные оценки производительности децентрализованных алгоритмов являются сильно условными и могут мешать принятию правильных решений. Наши результаты указывают на необходимость детальных экспериментов и тюнинга алгоритмов для более точного понимания их реальной производительности. Будущие работы будут сфокусированы на расширении этого подхода к другим моделям и системам, а также на поиске новых стратегий для улучшения децентрализованных алгоритмов.
Annotation:
We analyze Decentralized Online Optimization algorithms using the Performance Estimation Problem approach which allows, to automatically compute exact worst-case performance of optimization algorithms. Our analysis shows that several available performance guarantees are very conservative, sometimes by multiple orders of magnitude, and can lead to misguided choices of algorithm. Moreover, at least in terms of worst-case performance, some algorithms appear not to benefit from inter-agent communica...
ID: 2509.06466v1 math.OC, cs.AI, cs.DC, cs.MA
Авторы:

Zsombor Szádoczki, Sándor Bozóki, László Sipos, Zsófia Galambosi

## Контекст Оптимальный подход к решению проблем с приоритезацией и моделированием предпочтений заключается в том, чтобы уменьшить число сравнений, необходимых для принятия решения. Это целесообразно как с точки зрения эффективности, так и с точки зрения удобства для самого решающего. Текущая исследовательская работа основывается на ранее проведенных экспериментах, в которых использовались цветовые сравнения для моделирования предпочтений. Целью является разработка наиболее эффективного порядка сравнений, чтобы упростить задачу решающим. Это решение может быть применено в различных областях, где требуется оптимальное моделирование предпочтений. ## Метод Для построения оптимального порядка сравнений была проведена экспериментальная работа, в рамках которой проанализированы сразу все возможные комбинации сравнений, которые могли бы привести к оптимальному результату. Подход основывается на методе логарифмического меньшинства квадратов для расчета весов. Использовались данные, полученные в ходе эксперимента с цветовыми сравнениями, проведенным на цветах (красный, зеленый, синий, розовый, голубой, желтый) в калиброванных цветных булавках. Эксперимент был проведен с учетом полного покрытия всех возможных вариантов сравнений, чтобы получить наиболее точные результаты. Это позволило построить наиболее эффективную последовательность сравнений. ## Результаты В ходе исследования были получены результаты, подтверждающие успешность полученного порядка сравнений. Экспериментальные данные, полученные в ходе цветовых сравнений, были сравнены со статистическими данными из ранее проведенных исследований. Оказалось, что результаты эксперимента полностью соответствуют теоретическим ожиданиям. Были выявлены наилучшие последовательности сравнений, которые позволяют достичь оптимальных результатов в самых выгодных условиях. Была также разработана таблица с рекомендациями и создана Java-приложение для упрощения применения полученных результатов в практических задачах. ## Значимость Полученные результаты имеют широкое применение в области моделирования предпочтений и принятия решений. Они могут быть применены в различных сферах, в том числе в индустрии, бизнесе и исследовательских проектах, где требуется быстрое и эффективное моделирование предпочтений. Одним из основных преимуществ является уменьшение числа сравнений, что позволяет экономить время и силы решающих. Также, полученный подход может иметь потенциал для улучшения современных методов принятия решений, особенно в тех областях, где требуется оптимальная модель приоритезации. ## Выводы В результа
Annotation:
One of the essential issues in decision problems and preference modeling is the number of comparisons and their pattern to ask from the decision maker. We focus on the optimal patterns of pairwise comparisons and the sequence including the most (close to) optimal cases based on the results of a color selection experiment. In the test, six colors (red, green, blue, magenta, turquoise, yellow) were evaluated with pairwise comparisons as well as in a direct manner, on color-calibrated tablets in IS...
ID: 2508.17520v1 math.OC, cs.AI
Авторы:

Chinmay Maheshwari, Chinmay Pimpalkhare, Debasish Chatterjee

## Контекст Минимум-максимум (мин-макс) оптимизация широко распространена в областях, таких как игровая теория, машинное обучение с адверсарным подходом и другие. Обратите внимание, что градиентные методы, которые широко используются для решения таких задач, могут оказаться неэффективными в случаях, когда функции мин-макс не наследуют выпуклость или конкретные свойства. Особенно это касается задач мин-макс с невыпуклыми и неконкретными функциями. В данной работе рассматривается методология для поиска глобального оптимума в таких задачах. ## Метод Авторы предлагают EXOTIC (Exact, Optimistic, Tree-Based Algorithm) — алгоритм, основанный на деревьях и предназначенный для решения мин-макс задач. Основная идея заключается в преобразовании оптимизационной задачи в решаемую подходящими методами. Для этого вводится реформулировка задачи, которая превращает мин-макс в макс-мин, при этом используется новое оптимизируемое выпукло-неконкретное представление. Для решения этой задачи используется итеративный серийный метод: оптимизатор выпуклой оптимизации решает внутреннюю задачу, тогда как внешняя задача решается с помощью деревового поиска. За счет этого подхода, алгоритм может находить глобальное решение с заданным точностью. ## Результаты На основе введенной модели проводились эксперименты, которые показали высокую эффективность EXOTIC в сравнении с градиентными методами. Были разработаны бенчмарк-проблемы с аналитическими решениями, что позволило проверить EXOTIC на задачах с известными решениями. Эти тесты подтвердили высокую точность решений EXOTIC и сравнительную выгоду перед градиентными методами. Также были проведены эксперименты на реальных задачах мин-макс, в том числе в многоучастниковских играх. ## Значимость Этот алгоритм может быть применен в различных областях, где возникают задачи мин-макс, в том числе в машинном обучении, игровой теории и других задачах, требующих глобального решения. В отличие от градиентных методов, EXOTIC обеспечивает глобальное решение, что является ключевым преимуществом в задачах с неконкретными и невыпуклыми функциями. Это может привести к значительным выгодам в сложных задачах, таких как безопасность в многоучастниковских играх или оптимизация в сложных системах. ## Выводы В ходе работы был предложен новый алгоритм EXOTIC для решения мин-макс задач. Алгоритм показал себя эффективнее существующих градиентных методов на бенчмарк-задачах и практических примерах. Основным направлением для будущих исследований является улучшение эффективности алгоритма для более возможного сложных задач, а такж
Annotation:
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 tran...
ID: 2508.12479v1 math.OC, cs.AI, cs.GT, cs.MA, econ.GN, q-fin.EC, 90C26, 90C47, 68Q32, 91A06, 65K05
Авторы:

Mircea Lazar

## Контекст Одним из ключевых направлений в динамических системах является развитие методов, позволяющих линейно интерпретировать нелинейные системы с помощью расширенного оператора КупMана. Этот подход широко применяется в области контроля и прогнозирования динамических процессов. Однако существуют некоторые проблемы: во-первых, необходимо грамотно выбрать основные функции, чтобы линеаризовать нелинейные системы; во-вторых, необходимо развить методы, позволяющие эффективно решать задачи управления в реальном времени. Недостатки текущих методов в том, что они часто либо недостаточно точны, либо неэффективны в сложных системах. Целью данного исследования является развитие методов, позволяющих линеаризовать нелинейные системы с помощью расширенного оператора КупMана и эффективно решать задачи управления в реальном времени. ## Метод Для решения этих проблем, автор предлагает использовать новую методологию на основе произведения гильбертовых пространств. В частности, будет использоваться гильбертово пространство, полученное как произведение пространств, которые описывают состояние и входные данные системы. Для обеспечения линейного представления нелинейных систем будет применена теория гильбертовых пространств и развитие методов данных-драйвенных контроля. Автор также предлагает применение нелинейного фундаментального лейма, который позволит выразить нелинейные зависимости в системе через линейные операции в гильбертовом пространстве. Для реализации этих подходов требуется сбор и обработка больших объемов данных, а также использование методов машинного обучения для оптимизации гильбертовых пространств. ## Результаты Автор предлагает метод, позволяющий представить нелинейные системы в виде линейного оператора в гильбертовом пространстве, полученного как произведение пространств, описывающих состояние и входные данные. Было проведено экспериментальное исследование на примере Van der Pol-осциллятора. Было показано, что применение расширенного оператора КупMана позволяет линеаризовать динамику системы и эффективно решать задачи управления. Также было показано, что применение нелинейного фундаментального лейма позволяет точно описать нелинейные зависимости в системе. ## Значимость Развитые методы имеют широкие применения в динамических системах, в том числе в области контроля и прогнозирования динамических процессов. Они позволяют эффективно решать задачи управления в реальном времени, а также повысить точность прогнозирования динамики нелинейных систем. Это дает возможность развития новых методологий контроля и прогнозирования, которые могут быть применены в различных техни
Annotation:
The generalization of the Koopman operator to systems with control input and the derivation of a nonlinear fundamental lemma are two open problems that play a key role in the development of data-driven control methods for nonlinear systems. Both problems hinge on the construction of observable or basis functions and their corresponding Hilbert space that enable an infinite-dimensional, linear system representation. In this paper we derive a novel solution to these problems based on orthonormal e...
ID: 2508.07494v1 math.OC, cs.AI
Авторы:

Meixuan Wang, Yinyu Ye, Zijie Zhou

#### Контекст Сервирование ло LLM (Large Language Models) является важной задачей для платформ, обрабатывающих запросы в реальном времени. Запросы к LLM могут варьироваться в зависимости от длины входных промотов (prefill lengths) и длины получаемых ответов (decode lengths). Это значит, что каждый запрос потребляет различное количество памяти, что создает сложивую структуру для оптимального сервирования. Помимо этого, запросы могут накладывать ограничения на порядок обработки и пакетирование, что далее усложняет задачу. Таким образом, целью этого исследования является оптимизация сервирования запросов LLM в условиях неоднородных требований к памяти и ограничениям на обработку. #### Метод Мы исследуем проблему оптимизации запросов LLM с разными параметрами prefill и decode, включая ограничения на пакетирование и порядок обработки. Методология включает: 1. Анализ существующих стратегий оптимизации, таких как First-Come-First-Serve (FCFS) и Shortest-First (SF). 2. Разработка нового подхода, основанного на выборе метрики, которая эффективно строит пакеты запросов во время выполнения. 3. Обоснование константной конкурентной метрики для нового алгоритма. 4. Разработка динамических программирования, методов поиска локальных методов и логистических программирования, для лучшего использования ресурсов. #### Результаты Мы проводим эксперименты с разными стратегиями и данными, оценивая их эффективность в минимизации завершающего времени запросов. Результаты показывают, что новый алгоритм с метрикой выбора показывает значительные улучшения по сравнению с существующими методами. Особенно выгоден в условиях большого объема памяти и разнообразных ограничений запросов. Оптимизированные динамические программирование и локальные поисковые методы также показали высокую эффективность в ситуациях, где требуется быстрая реакция. #### Значимость Новый подход может быть применен в различных областях, где LLM-сервисы используются, таких как системы рекомендаций, поисковые системы, искусственный интеллект в реальном времени. Преимущества нового метода включают: - Уменьшение завершающего времени запросов. - Улучшение использования ресурсов. - Увеличение скорости и точность ответов. Эти достижения позволяют улучшить пользовательский опыт и эффективность систем LLM в различных приложениях. #### Выводы Мы доказали, что существующие стратегии оптимизации LLM-запросов имеют ограниченную эффективность в условиях неоднородных требований к памяти и ограничениям. Новый алгоритм с метрикой выбора показал стабильную и высокую эффективность. Будущие и
Annotation:
We study the problem of serving LLM (Large Language Model) requests where each request has heterogeneous prefill and decode lengths. In LLM serving, the prefill length corresponds to the input prompt length, which determines the initial memory usage in the KV cache. The decode length refers to the number of output tokens generated sequentially, with each additional token increasing the KV cache memory usage by one unit. Given a set of n requests, our goal is to schedule and process them to minim...
ID: 2508.06133v1 math.OC, cs.AI, cs.LG
Авторы:

Shayan Farhang Pazhooh, Hossein Shams Shemirani

Управление авиационными холстами — ключевым вопросом эффективности операций в аэропортах. Этот доклад предлагает новую модель МИЛП, решающую задачу взаимосвязанного распределения времени и пространства с использованием непрерывного времени. Отличительной чертой модели является устранение ограничений скорости скейлинга, характерных для традиционных дискретных моделей. Эксперименты показали, что модель решает задачи с до 25 самолетов за считанные секунды с доказательством оптимальности, а для 40 самолетов — доставляет высококачественные решения с оптимальными гэппами. Решения превосходят лучшие хитрости в экономическом плане и демонстрируют значительные руководственные выгоды. Это решение включает в себя интерактивный инструмент визуализации, улучшающий понимание и управление процессами.
Annotation:
Efficient management of aircraft maintenance hangars is a critical operational challenge, involving complex, interdependent decisions regarding aircraft scheduling and spatial allocation. This paper introduces a novel continuous-time mixed-integer linear programming (MILP) model to solve this integrated spatio-temporal problem. By treating time as a continuous variable, our formulation overcomes the scalability limitations of traditional discrete-time approaches. The performance of the exact mod...
ID: 2508.02640v1 math.OC, cs.AI, cs.CE, 90C11 (Primary), 90B35, 90C27 (Secondary)
Показано 21 - 26 из 26 записей