 | Эта статья требует дополнительных ссылок для проверки . ( сентябрь 2009 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения ) |
Решатель является частью математического обеспечения , возможно , в виде автономной компьютерной программы или в качестве библиотеки программного обеспечения , что «решает» математическая задача. Решатель принимает описания проблем в некоторой общей форме и вычисляет их решение. В решателе упор делается на создание программы или библиотеки, которые можно легко применить к другим задачам аналогичного типа.
Типы проблем с существующими выделенными решателями включают:
- Линейные и нелинейные уравнения . В случае единственного уравнения «решатель» более уместно называть алгоритмом поиска корня .
- Системы линейных уравнений .
- Нелинейные системы .
- Системы полиномиальных уравнений , которые являются частным случаем нелинейных систем, лучше решаются специальными решателями.
- Задачи линейной и нелинейной оптимизации
- Системы обыкновенных дифференциальных уравнений
- Системы дифференциально-алгебраических уравнений
- Проблемы логической выполнимости , включая SAT-решатели
- Количественные булевы формулы решатели [1]
- Проблемы удовлетворения ограничений
- Проблемы кратчайшего пути
- Минимальные проблемы с остовным деревом
- Алгоритмы поиска
- Решатели игр для задач теории игр [2]
Общие Problem Solver ( GPS ) является конкретный компьютер программа , созданная в 1957 году Герберт Саймон , JC Шоу и Аллен Ньюэлл предназначен для работы в качестве универсального решения проблем, которые теоретически могут быть использованы для решения каждой возможной проблемы , которые могут быть формализованы в а символическая система при правильной конфигурации ввода. Это была первая компьютерная программа, которая отделила свои знания о проблемах (в форме правил предметной области ) от своей стратегии решения проблем (в качестве общей поисковой машины ).
Общие решатели обычно используют архитектуру, аналогичную GPS, чтобы отделить определение проблемы от стратегии, используемой для ее решения. Преимущество такого разделения состоит в том, что решатель не зависит от деталей какого-либо конкретного экземпляра проблемы. Стратегия, используемая общими решателями, была основана на общем алгоритме (обычно основанном на отслеживании с возвратом ) с единственной целью обеспечения полноты. Это приводит к экспоненциальному увеличению вычислительного времени, что резко ограничивает их удобство использования. Современные решатели используют более специализированный подход, который использует структуру задач, на поиск которых решатель стремится тратить как можно меньше времени.
Для задач определенного класса (например, систем нелинейных уравнений ) обычно доступен широкий спектр различных алгоритмов; иногда решающая программа реализует несколько алгоритмов, а иногда только один.
См. Также [ править ]
- TK Solver : средство решения проблем на основе правил с возможностью обратного решения.
- Математическое программное обеспечение для других типов математического программного обеспечения.
- Среда решения проблем : специализированное программное обеспечение, сочетающее автоматизированные методы решения проблем с ориентированными на человека инструментами для руководства решением проблем.
- Теории выполнимости по модулю для решателей логических формул относительно комбинаций фоновых теорий, выраженных в классической логике первого порядка с равенством.
- Семантический рассуждающий
Списки решателей [ править ]
- Список решателей линейного программирования
- Список решателей SMT
- Список решателей для обыкновенных дифференциальных уравнений
Ссылки [ править ]
- ^ Использование решателей QBF для решения игр и головоломок - Бостонский колледж
- ↑ Боулинг, Майкл и Мануэла Велозу. Анализ стохастической теории игр для многоагентного обучения с подкреплением . № CMU-CS-00-165. Школа компьютерных наук Университета Карнеги-Меллона, Питтсбург, Пенсильвания, 2000.
