Программный продукт OptJet (рус. ОптДжет) от компании-разработчика Квантовые Системы предназначен для решения оптимизационных задач посредством программирования в ограничениях и выполнения линейного (в том числе целочисленного) и квадратичного программирования; преобразует описание задачи в формат, пригодный для использования соответствующего решателя, и позволяет работать с задачами высокой размерности (десятки миллионов переменных).

Система OptJet ориентирована на специалистов в области оптимизации бизнес-процессов и математического моделирования, включая аналитиков данных, разработчиков алгоритмов и инженеров по машинному обучению, которые занимаются решением задач высокой сложности в условиях больших объёмов данных и множества переменных.

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

Функциональные возможности OptJet:

• Описание задач в декларативном виде. Платформа позволяет формулировать задачи в декларативном стиле, что упрощает процесс постановки задачи и делает его более понятным для пользователей, не обладающих глубокими знаниями в области программирования.
• Применение оптимизационных ядер. OptJet использует различные оптимизационные ядра для решения поставленных задач, что обеспечивает гибкость и эффективность в зависимости от специфики задачи.
• Преобразование результатов. После нахождения решения платформа интерпретирует и преобразует результаты в форму значений исходных переменных, что облегчает их анализ и использование в дальнейшей работе.
• Программирование в ограничениях. OptJet поддерживает программирование в ограничениях, используя комбинацию формул логики высказываний и псевдобулевых неравенств, что позволяет решать сложные задачи с множеством условий и ограничений.
• Линейное и целочисленное программирование. Платформа предоставляет инструменты для решения задач линейного программирования, включая задачи с целочисленными переменными, что широко применяется в оптимизации ресурсов и планировании.
• Квадратичное программирование. OptJet также поддерживает решение задач квадратичного программирования, что расширяет его возможности для решения более сложных оптимизационных задач.
• Работа с задачами высокой размерности. Платформа способна обрабатывать задачи с десятками миллионов переменных, что делает её пригодной для решения масштабных и сложных оптимизационных задач в различных областях.
• Автоматическое преобразование описания задачи. OptJet автоматически преобразует описание задачи в формат, который можно использовать с соответствующим ядром решателя, что упрощает процесс подготовки данных и ускоряет решение задачи.