Октерактовый движок
 | Эта статья содержит контент, написанный как реклама . ( сентябрь 2023 г. ) |
| Разработчик(и) | Октеракт |
|---|---|
| Стабильная версия | 4.7.1 |
| Тип | Технические вычисления |
| Лицензия | Подписка |
| Веб-сайт | октеакт |
Octeract Engine — это запатентованный решатель с массовым параллелизмом детерминированный глобальный оптимизационный для общих смешанно-целочисленных нелинейных программ (MINLP) и текущий мировой рекордсмен по производительности MINLP. [1]
Он использует MPI как средство ускорения времени решения. [2] Он известен тем, что побил четыре мировых рекорда производительности подряд в Mittelmann MILPLIB. [3] эталонный тест, а также его собственный параллелизм и высокую степень настраиваемости. Последние мировые рекорды были установлены в апреле 2023 года, когда он стал первым решателем оптимизации, который когда-либо решал все задачи в тесте, установив мировой рекорд со смещенным немасштабированным геометрическим средним значением 36,8. [1]
История [ править ]
Octeract Engine был разработан Никосом Казазакисом и Габриэлем Лау. [4] Первая общедоступная бета-версия Octeract Engine была выпущена в августе 2019 года и вышла из бета-версии в августе 2020 года.
Производительность [ править ]
Octeract Engine демонстрирует лучшую в мире производительность в одном потоке, а также имеет возможность в несколько раз ускорить время однопоточного решения с помощью суперкомпьютеров. 23 июля 2022 года он занял первое место в однопоточном тесте Mittelmann MILPLIB. [5] Таким образом, это лидерство сохраняется для всех выпусков Octeract Engine.
По состоянию на август 2022 года это первый и единственный решатель, решающий крупнейшие проблемы переключения открытой передачи в отраслевом стандарте MILPLIB. [3] библиотека, а именно transswitch2736spp [6] и транссвич2736спр. [7]
Мировые рекорды [ править ]
Octeract Engine в настоящее время является обладателем двух мировых рекордов в тестах MINLP. [1] Первый мировой рекорд, установленный 20 апреля 2023 года, - по количеству решенных задач (100%). Второй мировой рекорд, также установленный 20 апреля 2023 года, представляет собой наименьшее немасштабированное сдвинутое среднее геометрическое. [8] когда-либо достигнутый для этого тестового набора, который составил 36,8. Занявшие второе место набрали средние баллы 138,2 ( BARON ) и 380,5 (SCIP), а Куэнн занял последнее место со средним баллом 3304,4.
История мировых рекордов [ править ]
27 октября 2022 года Octeract Engine установил свой первый мировой рекорд, решив более 91% задач в тесте, что было больше, чем когда-либо мог решить любой решатель к тому времени. По состоянию на 21 апреля 2023 года этот рекорд еще не побит ни одним другим решателем.
В январе 2023 года он стал первым решателем, решившим 99% задач в этом тесте.
В апреле 2023 года он стал первым решателем, решившим 100% задач в этом тесте.
Результаты теста MILPLIB, июль 2022 г.
Результаты теста MILPLIB, октябрь 2022 г.
Результаты теста MILPLIB, январь 2023 г.
Результаты теста MILPLIB, апрель 2023 г.
Особенности [ править ]
Octeract Engine — это набор многочисленных решателей и методов, которые запускаются автоматически или по усмотрению пользователя. Он включает в себя параллельные решатели ветвей и границ, многочисленные локальные эвристики, которые можно вызывать независимо от глобальной оптимизации, а также многочисленные специализированные методы для использования специальной структуры, такие как переформулировка Шерали-Смита. [9] [10] [2]
Другие примечательные особенности включают в себя: [2]
- Распределенные вычисления через MPI
- Высокая степень конфигурируемости с более чем 100 опциями.
- Поддерживает прерывистые элементарные функции (например, min и max ).
- Поддерживает тригонометрические функции
- Может гарантировать глобальную оптимальность
- Переформулировка пользовательского ввода
- Обнаружение специальной структуры
- Автоматическая классификация проблем
- Гарантированные вычисления посредством интервальной арифметики и арифметики произвольной точности.
- Мощные возможности локального решателя благодаря LOCAL_SEARCH [11] режим
Форматы файлов [ править ]
Octeract Engine может читать и писать .nl, .lp и .mps файлы.
Интерфейсы [ править ]
Octeract Engine можно запускать напрямую или вызывать как библиотеку C++. Он поддерживает следующие языки моделирования: [2]
Движок также взаимодействует со следующими решателями:
Ограничения [ править ]
Как и любое детерминированное программное обеспечение глобальной оптимизации, Octeract Engine требует явных математических выражений для всех функций, используемых в задаче.
См. также [ править ]
Ссылки [ править ]
- ^ Jump up to: Перейти обратно: а б с «Визуализация показателя Mittelmann Benchmark» . mattmilten.github.io . Маттиас Мильтенбергер . Проверено 20 апреля 2023 г.
- ^ Jump up to: Перейти обратно: а б с д «Документация по движку Octeract» . октеракт.gg . Октеракт . Проверено 27 января 2023 г.
- ^ Jump up to: Перейти обратно: а б «Библиотека примеров смешанно-целочисленного и непрерывного нелинейного программирования» . Минплиб. 14 октября 2022 г. Проверено 27 января 2023 г.
- ^ «Октеракт Кредиты» . октеракт.gg . Октеракт . Проверено 27 января 2023 г.
- ^ «Визуализация показателя Mittelmann Benchmark» . mattmilten.github.io . Маттиас Мильтенбергер . Проверено 20 апреля 2023 г.
- ^ «Решение Transswitch2736spp» . minlplib.org . МИНЛПЛИБ . Проверено 27 января 2023 г.
- ^ «Решение Transswitch2736spr» . minlplib.org . МИНЛПЛИБ . Проверено 27 января 2023 г.
- ^ «Сдвинутое среднее геометрическое» . plato.asu.edu . Ганс Миттельманн . Проверено 21 апреля 2023 г.
- ^ «Процедура реформирования БКП» . октеракт.gg . Октеракт . Проверено 27 января 2023 г.
- ^ Шерали, Ханиф Д.; Смит, Дж. Коул (2006). «Улучшенная стратегия линеаризации для задач квадратичного программирования с нулем и единицей». Письма об оптимизации . 1 (1): 33–47. дои : 10.1007/s11590-006-0019-0 .
- ^ «Локальный поиск» . октеракт.gg . Октеракт . Проверено 21 апреля 2023 г.
- «Визуализация показателя Mittelmann Benchmark» . mattmilten.github.io . Маттиас Мильтенбергер. 27 октября 2022 г. Проверено 20 апреля 2023 г.
- «Визуализация показателя Mittelmann Benchmark» . mattmilten.github.io . Маттиас Мильтенбергер. 24 января 2023 г. Проверено 20 апреля 2023 г.