| dbo:abstract
|
- Solver (engl., dt. Löser) ist eine Sammelbezeichnung für spezielle mathematische Computerprogramme, die mathematische Probleme numerisch lösen können. (de)
- A solver is a piece of mathematical software, possibly in the form of a stand-alone computer program or as a software library, that 'solves' a mathematical problem. A solver takes problem descriptions in some sort of generic form and calculates their solution. In a solver, the emphasis is on creating a program or library that can easily be applied to other problems of similar type. (en)
- Solver – funkcja w kalkulatorach naukowych lub programach komputerowych umożliwiająca rozwiązywanie równań. (pl)
- Розв'язувач (англ. solver) — програмне забезпечення, призначене для розв'язання розглядуваної математичної задачі. На вхід розв'язувачу надходить опис задачі в деякій заданій формі, а на виході він видає розв'язок задачі. Види розв'язуваних задач:
* SAT Solvers — розв'язують задачі здійсненності бульових формул. На виході в них відповідь — чи виконана задана формула і якщо виконана, то видається набір значень, на якому вона правдива.
* SMT Solvers — розв'язують задачі з теорій, представлених у бібліотеці SMT-LIB [Архівовано 14 травня 2015 у Wayback Machine.] (англ. Satisfiability Modulo Theories), що включає, наприклад, теорію списків, масивів, лінійної арифметики, неінтерпретованих функцій і т. д.
* лінійні і нелінійні рівняння і їхні системи
* Лінійні й нелінійні оптимізаційні проблеми
* диференціальні рівняння і їхні системи
* Знаходження мінімального шляху
* Знаходження
* Також бувають розв'язувачі, що призначені для розв'язання головоломок, кросвордів і задач із бриджу й преферансу. General Problem Solver (GPS) — спеціальна комп'ютерна програма, створена в 1957 році Гербертом Саймоном (Herbert Simon), Дж. Шоу (J.C. Shaw), і Алленом Ньюелом (Allen Newell), призначена для роботи як універсальний розв'язувач задач, що теоретично може бути використана для розв'язування всіх можливих задач, які можуть бути формалізовані в символічній системі, що задана конфігурацією правил введення. Це була перша комп'ютерна програма, яка розділила свої знання задач (у формі правил ) від своєї стратегії, як розв'язувати завдання (як загальний пошуковий рушій). Розв'язувачі зазвичай використовують архітектуру схожу на GPS, щоб відокремити формулювання задачі від стратегії, яка використовується для її розв'язування. Хоча стратегією, використаною в GPS, був загальний алгоритм з єдиною метою повноти, сучасні розв'язувачі, як правило, використовують спеціалізований підхід з урахуванням конкретного класу задач, для якого призначено розв'язувач. Перевага цього рішення полягає в тому, що розв'язувач не залежить від детальної інформації про кожний конкретний випадок задачі. Для задач певного класу (наприклад, систем нелінійних рівнянь) є доступним, як правило, широкий спектр різних алгоритмів; іноді розв'язувач реалізує декілька алгоритмів, а іноді тільки один. Зазвичай, розв'язувачі просто використовують чисельні методи, хоча існують деякі розв'язувачі, які здатні виконувати деякі символічні перетворення для пошуку рішення. (uk)
|
| rdfs:comment
|
- Solver (engl., dt. Löser) ist eine Sammelbezeichnung für spezielle mathematische Computerprogramme, die mathematische Probleme numerisch lösen können. (de)
- A solver is a piece of mathematical software, possibly in the form of a stand-alone computer program or as a software library, that 'solves' a mathematical problem. A solver takes problem descriptions in some sort of generic form and calculates their solution. In a solver, the emphasis is on creating a program or library that can easily be applied to other problems of similar type. (en)
- Solver – funkcja w kalkulatorach naukowych lub programach komputerowych umożliwiająca rozwiązywanie równań. (pl)
- Розв'язувач (англ. solver) — програмне забезпечення, призначене для розв'язання розглядуваної математичної задачі. На вхід розв'язувачу надходить опис задачі в деякій заданій формі, а на виході він видає розв'язок задачі. Види розв'язуваних задач: (uk)
|
