Решатель - Solver

Эта статья нужны дополнительные цитаты для проверка. Пожалуйста помоги улучшить эту статью к добавление цитат в надежные источники. Материал, не полученный от источника, может быть оспорен и удален. Найдите источники: «Решатель»  – Новости  · газеты  · книги  · ученый  · JSTOR (Сентябрь 2009 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

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

Типы проблем с существующими выделенными решателями включают:

• Линейный и нелинейные уравнения. В случае одного уравнения "решатель" более уместно называть алгоритм поиска корней.
• Системы линейных уравнений.
• Нелинейные системы.
• Системы полиномиальных уравнений, которые являются частным случаем нелинейных систем, лучше решаемых конкретными решателями.
• Линейные и нелинейные оптимизация проблемы
• Системы обыкновенные дифференциальные уравнения
• Системы дифференциально-алгебраические уравнения
• Проблемы логической выполнимости, включая SAT решатели
• Количественная логическая формула решатели^[1]
• Проблемы удовлетворения ограничений
• Проблемы кратчайшего пути
• Минимальное остовное дерево проблемы
• Алгоритмы поиска
• Решатели игр для проблем в теория игры^[2]

В Решение общих проблем (GPS) - это особая компьютерная программа, созданная в 1957 г. Герберт Саймон, Дж. К. Шоу, и Аллен Ньюэлл предназначен для работы в качестве универсального средства решения проблем, которое теоретически может использоваться для решения всех возможных проблем, которые могут быть формализованы в символьной системе, при условии правильной конфигурации ввода. Это была первая компьютерная программа, которая разделила свои знания о проблемах (в виде домен правил) из своей стратегии решения проблем (как общий поиск двигатель ).

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

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

Смотрите также

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

Списки решателей

• Список решателей линейного программирования
• Список решателей SMT
• Список решателей для обыкновенных дифференциальных уравнений

Рекомендации

Эта секция нуждается в расширении. Вы можете помочь добавляя к этому. (Сентябрь 2010 г.)

Этот научное программное обеспечение статья - это заглушка. Вы можете помочь Википедии расширяя это.