Lösare
Solver (engl., Dt. Solver ) är en samlingsbegrepp för speciella matematiska datorprogram som kan lösa matematiska problem numeriskt.
beskrivning
Lösare kan finnas som ett fristående mjukvarupaket eller integreras i andra mjukvarusystem som ett programbibliotek .
Lösare är oftast programmerade för att lösa specifika problem, t.ex. B.
- System av linjära och icke-linjära ekvationer
- Ganska rationella funktioner
- Matematisk optimering
- Vanliga differentialekvationer
- Tillfredsställande problem med propositionell logik
- Problem med tillfredsställelse av begränsningar
- Problem med kortaste vägen
- Minsta spännande trädproblem
- Sökprocedur
Med den allmänna problemlösaren ( GPS ) försökte Herbert Simon, JC Shaw och Allen Newell 1957 skriva en programvara som kan lösa alla problem som kan formaliseras. Detta var det första datorprogrammet som separerade kunskap om problemet (så kallad applikationsdomän ) och problemlösningsstrategin (så kallad motor ).
Allmänna lösare använder fortfarande denna arkitektur idag, där de skiljer problemdefinitionen och lösningsstrategin. Medan GPS var det enda målet med lösningen fullständighet , använder dagens lösare speciella strategier som är skräddarsydda för specifika problemklasser. Fördelen med denna separation är att dessa lösare kan användas mer universellt och inte behöver skräddarsys för specifika probleminstanser .
Eftersom ett mycket stort antal lösningsalgoritmer ibland finns i vissa problemklasser använder lösare ofta flera lösningsstrategier samtidigt för att lösa ett problem.
Exempel
- Allmänt problemlösare - Programvara som ger en allmän metod för problemlösning
- SAT-Solver - programvara för tillfredsställande problem med propositionell logik
- FE-Solver - programvara för att lösa ändliga elementuppgifter (t.ex. Nastran )
- STRIPS - Automatisk planeringsprogramvara
Se även
Individuella bevis
- ↑ GAMS-lösare. ( Memento från 26 november 2014 i webbarkivet archive.today )
- ^ O. Goldschmit: LP Solver.
- ↑ a b M. Lange: SAT Solver. (PDF; 141 kB)
