Løser
Solver (engl., Dt. Solver ) er en samlebetegnelse for specielle matematiske computerprogrammer, der kan løse matematiske problemer numerisk.
beskrivelse
Løsere kan eksistere som en enkeltstående softwarepakke eller integreres i andre softwaresystemer som et programbibliotek .
Løsere er for det meste programmeret til at løse specifikke problemer, f.eks B.
- Systemer med lineære og ikke-lineære ligninger
- Ganske rationelle funktioner
- Matematisk optimering
- Almindelige differentialligninger
- Tilfredshedsproblem med propositionelogik
- Problem med tilfredshedsbegrænsning
- Korteste sti problem
- Minimal udspændende træ problem
- Søgningsprocedure
Med GPS ( General Problem Solver ) forsøgte Herbert Simon, JC Shaw og Allen Newell i 1957 at skrive software, der kan løse ethvert problem, der kan formaliseres. Dette var det første computerprogram, der adskilte viden om problemet (såkaldt applikationsdomæne ) og problemløsningsstrategien (såkaldt motor ).
Generelle løsere bruger stadig denne arkitektur i dag, hvor de adskiller problemdefinitionen og løsningsstrategien. Mens med GPS det eneste mål med løsningen var fuldstændighed , bruger nutidens løsere specielle strategier, der er skræddersyet til specifikke problemklasser. Fordelen ved denne adskillelse er, at disse løsere kan bruges mere universelt og ikke behøver at blive skræddersyet til specifikke problemforekomster .
Da et meget stort antal løsningsalgoritmer undertiden findes i visse problemklasser , bruger løsere ofte flere løsningsstrategier på samme tid til at løse et problem.
Eksempler
- Generel problemløser - Software, der giver en generel metode til problemløsning
- SAT-Solver - software til tilfredsstillelsesproblemet med propositionelogik
- FE-Solver - software til løsning af endelige elementopgaver (f.eks. Nastran )
- STRIPS - Automatisk planlægningssoftware
Se også
Individuelle beviser
- ↑ GAMS-løsning. ( Memento fra 26. november 2014 i webarkivet archive.today )
- ^ O. Goldschmit: LP Solver.
- ↑ a b M. Lange: SAT Solver. (PDF; 141 kB)
