Solver
Solver (engl., Dt. Solver ) este un termen colectiv pentru programe matematice speciale de calculator care pot rezolva problemele matematice numeric.
Descriere
Solvenții pot exista ca pachete software independente sau pot fi integrați în alte sisteme software ca bibliotecă de programe .
Solvenții sunt în mare parte programați pentru a rezolva probleme specifice, cum ar fi B.
- Sisteme de ecuații liniare și neliniare
- Funcții destul de raționale
- Optimizarea matematică
- Ecuații diferențiale ordinare
- Problema de satisfacție a logicii propoziționale
- Problema de satisfacție a constrângerii
- Cea mai scurtă problemă de cale
- Problemă minimă a arborelui
- Procedura de căutare
Cu ajutorul General Problem Solver ( GPS ), Herbert Simon, JC Shaw și Allen Newell au încercat în 1957 să scrie un software care să rezolve orice problemă care poate fi formalizată. Acesta a fost primul program de calculator care a separat cunoștințele despre problemă (așa-numitul domeniu de aplicație ) și strategia de rezolvare a problemelor (așa-numitul motor ).
Solvenții generali folosesc și astăzi această arhitectură, în care separă definiția problemei și strategia soluției. În timp ce cu GPS-ul, singurul obiectiv al soluției era completitudinea , solvenții de astăzi folosesc strategii speciale adaptate la anumite clase de probleme. Avantajul acestei separări este că acești rezolvatori pot fi utilizați mai universal și nu trebuie să fie adaptați la situații specifice de problemă .
Deoarece un număr foarte mare de algoritmi de soluție există uneori în anumite clase de probleme , rezolvatorii folosesc adesea mai multe strategii de soluție în același timp pentru a rezolva o problemă.
Exemple
- General Problem Solver - Software care oferă o metodă generală de rezolvare a problemelor
- SAT-Solver - software pentru problema de satisfacție a logicii propoziționale
- FE-Solver - software pentru rezolvarea sarcinilor cu elemente finite (de ex. Nastran )
- STRIPS - Software de planificare automată
Vezi si
Dovezi individuale
- ↑ GAMS solver. ( Memento din 26 noiembrie 2014 în arhiva web archive.today )
- ^ O. Goldschmit: LP Solver.
- ↑ a b M. Lange: SAT Solver. (PDF; 141 kB)
