imported>Itti: Änderungen von FussschmelzkäseinderLasagne (Diskussion) auf die letzte Version von BlauerBaum zurückgesetzt

2026-01-08T18:19:20Z

Änderungen von FussschmelzkäseinderLasagne (Diskussion) auf die letzte Version von BlauerBaum zurückgesetzt

Neue Seite

{{Belege fehlen}}
{{lang|en|'''Solver'''}} (engl., dt. ''Löser'') ist eine Sammelbezeichnung für spezielle [[Mathematische Software|mathematische Computerprogramme]], die mathematische Probleme numerisch lösen können.

== Beschreibung ==
Solver können als eigenständiges Softwarepaket existieren oder als [[Programmbibliothek]] in andere Softwaresysteme integriert sein.<ref>{{Webarchiv | url= http://www.gams.com/solvers/index.htm | archive-is= 20141126 | text=''GAMS-Solvers.''}}</ref>

Solver sind zumeist auf die Lösung spezieller Probleme programmiert, wie z. B.
* [[Lineares Gleichungssystem|Lineare]] und [[Nichtlineares System|Nichtlineare Gleichungssysteme]]
* [[Ganzrationale Funktion]]en
* [[Optimierung (Mathematik)|Mathematische Optimierung]]<ref name="Goldschmidt">O. Goldschmit: [http://riot.ieor.berkeley.edu/Applications/SimplexDemo/Simplex.html ''LP Solver.'']</ref>
* [[Gewöhnliche Differentialgleichung]]en
* [[Erfüllbarkeitsproblem der Aussagenlogik]]<ref name="Lange">M. Lange: [http://www.uni-kassel.de/eecs/fileadmin/datas/fb16/Fachgebiete/FMV/TIL-WS1213/aussagenlogik-satsolver.pdf ''SAT-Solver.''] (PDF; 141 kB)</ref>
* [[Constraint-Satisfaction-Problem]]
* [[Kürzester Pfad|Kürzester-Pfad]]-Problem
* Minimaler-[[Spannbaum]]-Problem
* [[Suchverfahren]]

Mit dem {{lang|en|[[General Problem Solver]]}} (''GPS'') versuchten Herbert Simon, J. C. Shaw und Allen Newell 1957 eine Software zu schreiben, die jedes formalisierbare Problem lösen kann. Dies war das erste Computerprogramm, das Wissen über das Problem (also sogenannte ''Anwendungsdomäne'') und die Problemlösestrategie trennte (die sogenannte {{lang|en|''Engine''}}).

Allgemeine Solver nutzen bis heute diese Architektur, bei der sie die Problemdefinition und die Lösungsstrategie trennen. Während bei GPS noch einzig das Ziel der Lösung die [[Vollständigkeit (Logik)|Vollständigkeit]] war, nutzen heutige Solver spezielle Strategien, die auf bestimmte Problemklassen zugeschnitten sind. Vorteil dieser Trennung ist, dass diese Solver universeller einsetzbar und nicht auf bestimmte [[Probleminstanz]]en abgestimmt werden müssen.

Da in bestimmten Problemklassen teilweise eine sehr große Anzahl an [[Algorithmus|Lösungsalgorithmen]] existieren, nutzen Solver oft mehrere Lösungsstrategien gleichzeitig, um ein Problem zu lösen.

== Beispiele ==
* [[General Problem Solver]] – Software mit einer allgemeinen Problemlösemethode
* [[Erfüllbarkeitsproblem der Aussagenlogik|SAT-Solver]] – Software für das Erfüllbarkeitsproblem der Aussagenlogik<ref name="Lange" />
* [[Finite-Elemente-Methode|FE-Solver]] – Software zur Lösung von Finite-Elemente-Aufgaben (z. B. [[Nastran]])
* [[STRIPS]] – Automatische Planungssoftware

== Siehe auch ==
* [[Automatisches Problemlösen]]

== Einzelnachweise ==
<references />

[[Kategorie:Künstliche Intelligenz]]
[[Kategorie:Numerische Mathematik]]
[[Kategorie:Mathematische Software]]

Solver - Versionsgeschichte

imported>Itti: Änderungen von FussschmelzkäseinderLasagne (Diskussion) auf die letzte Version von BlauerBaum zurückgesetzt