Интернет магазин китайских планшетных компьютеров



Компьютеры - Решатель

22 января 2011





Решатель — программное обеспечение, предназначенное для решения рассматриваемой математической задачи. На вход решателю поступает описание задачи в некоторой заданной форме, а на выходе он выдает решение задачи. Виды решаемых задач:

  • SAT Solvers — решают задачи выполнимости булевых формул. На выходе у них ответ — выполнена ли заданная формула и если выполнена, то выдается набор значений, на котором она истинна.
  • SMT Solvers — решают задачи из теорий представленных в библиотеке SMT-LIB, которая включает например теорию списков, массивов, линейной арифметики, неинтерпретируемых функций и т. д.
  • Линейные и нелинейные уравнения и их системы
  • Линейные и нелинейные оптимизационные проблемы
  • Дифференциальные уравнения и их системы
  • Нахождение минимального пути
  • Нахождение минимального остовного дерева
  • Также бывают решатели, предназначенные для решения головоломок, кроссвордов и задач по бриджу и преферансу.


Просмотров: 951


<<< Вычислительная среда
Система компьютерной алгебры >>>