SOLVERS (РЕШАТЕЛИ)
Решатели- это алгоритмы обработки моделей и чисел, которые вычисляют оптимальное решение. AMPL не включает в себя решатели. Вместо этого, AMPL предоставляет возможность подключать внешние решатели с поддержкой интерфейса AMPL. Таким образом, чтобы использовать AMPL в своей работе, пользователю необходимо подключить (минимум один) решатель с интерфейсом AMPL.Для чего нужны решатели?
Каждый решатель предназначен для решения задач оптимизации определенного типа, как указано в его документации. Таким образом, когда пользователь определяет тип решаемой задачи оптимизации – например, линейная или нелинейная, непрерывная или дискретная – это является определяющим условием для списка подходящих решателей. Несмотря на то, что решатели используют общие подходы к оптимизации, каждый отдельный решатель имеет свое особенное сочетание алгоритмических идей и стратегий поиска решения. Таким образом, производительность решателя невозможно предсказать, исходя из размера проблемы или других исходных данных. Время решения и требования к памяти лучше всего оценивать с помощью тестов производительности, в соответствии со спецификой решаемых задач. Мы рекомендуем провести тестирование нескольких решателей, чтобы определить, какие из них предлагают наилучшее соотношение цены и производительности для ваших задач.Варианты получения решателей
Доступны несколько вариантов получения решателей для AMPL:- Покупка решателя у нас. Предлагаемая нами линейка профессиональных решателей включает в себя самые современные и мощные решатели для оптимизации, с интерфейсом подключения к AMPL;
- Скачать решатели с открытым исходным кодом. Интерфейс взаимодействия настроек решателей с AMPL включен в ряд популярных решателей, распространяемых по лицензиям с открытым исходным кодом. Мы предоставляем ссылки на предварительно скомпилированные файлы, чтобы вы могли быстро начать использование этих бесплатных решателей с AMPL.
- Приобретение решателей напрямую у разработчиков. Наш полный список решателей с интерфейсом AMPL включает множество вариантов, которые смогут удовлетворить ваши потребности.
Решатели, которые мы продаем
Мы предлагаем подборку решателей наивысшего качества, подключаемых к AMPL с полным доступом к их алгоритмам и параметрам. В наш прайс-лист включены все варианты лицензий (одиночные, плавающие, серверные) продаваемых решателей. Бесплатные пробные версии AMPL включают в себя пробные версии всех продаваемых нами решателей. Линейка решателей приведена ниже со ссылками на более их подробное описание. Мы классифицируем решатели в зависимости от типа задач, на решения которых специализируется решатель (классические «линейные», «нелинейные» либо «альтернативные»).Линейные решатели
Решатели данного типа решают задачи линейной и выпуклой квадратичной оптимизации как для непрерывных, так и для целочисленных переменных: CPLEX, Gurobi, Xpress. Отдельные решатели предлагают расширения для дополнительных типов задач. Все они включают простые симплексные, двойные симплексные и внутренние методы для линейного программирования, вместе со сложными подходами ветвления и отсечения, и эвристическим поиском для чисто целочисленных и смешанных целочисленных задач. Поддерживают параллельность вычислений на нескольких процессорах и ядрах. Решатели этой категории наиболее широко используются для различных приложений в бизнесе, правительстве и исследовательских организациях.Нелинейные решатели
Решатели этой категории обеспечивают наиболее эффективный способ поиска локальных оптимальных решений, связанных с гладкими нелинейными функциями (включая отношения, полиномы, экспоненты и логарифмы, а также тригонометрические формы). Они предлагают множество проверенных алгоритмов:- CONOPT (ARKI Consulting & Development) – архитектура с несколькими методами, основанная на пониженном градиенте;
- KNITRO (Ziena Optimization) – выбор методов внутренней точки и активного набора, с поддержкой целочисленных переменных и автоматическим многократным запуском;
- LOQO (Принстонский университет) – метод внутренней точки, применяемый к последовательности квадратичных приближений;
- MINOS (Стэнфордский университет) – подход с уменьшенным градиентом, основанный на линейном прямом симплексном методе;
- SNOPT (Стэнфордский университет) – метод последовательной квадратичной аппроксимации.