Oplosser

Dit artikel of de volgende sectie is niet voldoende voorzien van ondersteunende documenten ( bijv. Individueel bewijs ). Informatie zonder voldoende bewijs zou binnenkort kunnen worden verwijderd. Help Wikipedia alstublieft door de informatie te onderzoeken en goed bewijs op te nemen.

Solver (engl., Dt. Solver ) is een verzamelnaam voor speciale wiskundige computerprogramma's die wiskundige problemen numeriek kunnen oplossen.

Omschrijving

Oplossers kunnen bestaan ​​als een onafhankelijk softwarepakket of kunnen worden geïntegreerd in andere softwaresystemen als een programmabibliotheek .

Oplossers zijn meestal geprogrammeerd om specifieke problemen op te lossen, zoals B.

Met de General Problem Solver ( GPS ) probeerden Herbert Simon, JC Shaw en Allen Newell in 1957 een software te schrijven die elk probleem kan oplossen dat kan worden geformaliseerd. Dit was het eerste computerprogramma dat kennis over het probleem (het zogenaamde toepassingsdomein ) en de probleemoplossende strategie (de zogenaamde engine ) scheidde .

Algemene oplossers gebruiken deze architectuur nog steeds, waarin ze de probleemdefinitie en de oplossingsstrategie scheiden. Hoewel het enige doel van de GPS-oplossing volledigheid was , gebruiken de oplossers van vandaag speciale strategieën die zijn afgestemd op specifieke probleemklassen. Het voordeel van deze scheiding is dat deze oplossers universeler kunnen worden gebruikt en niet op specifieke probleemgevallen hoeven te worden afgestemd.

Aangezien er soms een zeer groot aantal oplossingsalgoritmen bestaat in bepaalde probleemklassen , gebruiken oplossers vaak meerdere oplossingsstrategieën tegelijkertijd om een ​​probleem op te lossen.

Voorbeelden

  • Algemene probleemoplosser - Software die een algemene methode voor het oplossen van problemen biedt
  • SAT-Solver - software voor het bevredigbaarheidsprobleem van propositionele logica
  • FE-Solver - software voor het oplossen van taken met eindige elementen ( bijv.Nastran )
  • STRIPS - Automatische planningssoftware

Zie ook

Individueel bewijs

  1. ↑ GAMS-oplosser. ( Memento van 26 november 2014 in het webarchief archive.today )
  2. ^ O. Goldschmit: LP Solver.
  3. ↑ a b M. Lange: SAT Solver. (PDF; 141 kB)