Решатель - Solver
Решатель является частью математического обеспечения , возможно , в виде автономной компьютерной программы или в качестве библиотеки программного обеспечения , что «решает» математическая задача. Решатель принимает описания проблем в некоторой общей форме и вычисляет их решение. В решателе упор делается на создание программы или библиотеки, которые можно легко применить к другим задачам аналогичного типа.
Типы решателей
Типы проблем с существующими выделенными решателями включают:
- Линейные и нелинейные уравнения . В случае единственного уравнения «решатель» более уместно называть алгоритмом поиска корня .
- Системы линейных уравнений .
- Нелинейные системы .
- Системы полиномиальных уравнений , которые являются частным случаем нелинейных систем, лучше решаются специальными решателями.
- Линейные и нелинейные оптимизационные задачи
- Системы обыкновенных дифференциальных уравнений
- Системы дифференциально-алгебраических уравнений
- Проблемы логической выполнимости , включая SAT-решатели
- Количественные решатели булевых формул
- Проблемы удовлетворения ограничений
- Проблемы кратчайшего пути
- Минимальные проблемы с остовным деревом
- Алгоритмы поиска
- Решатели игр для задач теории игр
- Проблема трех тел
Общие Problem Solver ( GPS ) является конкретный компьютер программа , созданная в 1957 году Герберт Саймон , JC Шоу и Аллен Ньюэлл предназначен для работы в качестве универсального решения проблем, которые теоретически могут быть использованы для решения каждой возможной проблемы , которые могут быть формализованы в а символическая система при правильной конфигурации ввода. Это была первая компьютерная программа, которая отделила свои знания о проблемах (в форме правил предметной области ) от своей стратегии решения проблем (в качестве общей поисковой машины ).
Общие решатели обычно используют архитектуру, аналогичную GPS, чтобы отделить определение проблемы от стратегии, используемой для ее решения. Преимущество такого разделения состоит в том, что решатель не зависит от деталей какого-либо конкретного экземпляра проблемы. Стратегия, используемая общими решателями, была основана на общем алгоритме (обычно основанном на отслеживании с возвратом ) с единственной целью обеспечения полноты. Это приводит к экспоненциальному увеличению вычислительного времени, что резко ограничивает их удобство использования. Современные решатели используют более специализированный подход, который использует преимущества структуры проблем, так что решатель тратит как можно меньше времени на поиск с возвратом.
Для задач определенного класса (например, систем нелинейных уравнений ) обычно доступны несколько алгоритмов. Некоторые решатели реализуют несколько алгоритмов.
Смотрите также
- TK Solver : средство решения проблем на основе правил с возможностью обратного решения.
- Математическое программное обеспечение для других типов математического программного обеспечения.
- Среда решения проблем : специализированное программное обеспечение, сочетающее автоматизированные методы решения проблем с ориентированными на человека инструментами для руководства решением проблем.
- Теории выполнимости по модулю для решателей логических формул относительно комбинаций фоновых теорий, выраженных в классической логике первого порядка с равенством.
- Семантический рассуждающий
Списки решателей
- Список решателей линейного программирования
- Список решателей SMT
- Список решателей для обыкновенных дифференциальных уравнений
Рекомендации
 |
Эта статья о научном программном обеспечении - незавершенная . Вы можете помочь Википедии, расширив ее . |
