Megoldó - Solver
A megoldó egy matematikai szoftver egy darabja , esetleg önálló számítógépes program formájában vagy szoftver könyvtárként , amely „megoldja” a matematikai problémát. A megoldó valamilyen általános formában veszi fel a problémaleírásokat, és kiszámítja azok megoldását. A megoldásban a hangsúly egy olyan program vagy könyvtár létrehozásán van, amely könnyen alkalmazható más hasonló típusú problémákra.
Megoldó típusok
A meglévő dedikált megoldók problémái a következők:
- Lineáris és nemlineáris egyenletek . Egyetlen egyenlet esetén a "megoldót" megfelelőbben gyökér-kereső algoritmusnak nevezik .
- Lineáris egyenletrendszerek .
- Nemlineáris rendszerek .
- Polinomiális egyenletrendszerek , amelyek a nem lineáris rendszerek speciális esetei, amelyeket konkrét megoldók jobban megoldanak.
- Lineáris és nem lineáris optimalizálási problémák
- Rendes differenciálegyenletek rendszerei
- Rendszerei differenciál algebrai egyenletek
- Logikai elégedettségi problémák , beleértve a SAT megoldókat
- Számszerűsített logikai képletmegoldók
- A kényszer elégedettségének problémái
- A legrövidebb út problémái
- Minimális átívelő fa problémák
- Keresési algoritmusok
- Játékmegoldók a játékelmélet problémáihoz
- Háromtestes probléma
A General Problem Solver ( GPS ) egy speciális számítógépes program, amelyet 1957-ben Herbert Simon , JC Shaw és Allen Newell hozott létre univerzális problémamegoldóként, és amely elméletileg felhasználható minden lehetséges probléma megoldására, amelyet egy szimbolikus rendszer, megadva a megfelelő bemeneti konfigurációt. Ez volt az első számítógépes program, amely elválasztotta az ismeretét problémák (formájában domén szabályok) saját stratégiáját, hogyan kell megoldani a problémákat (mint egy általános keresést motor ).
Az általános megoldók általában a GPS-hez hasonló architektúrát választanak le a probléma meghatározásáról a megoldására használt stratégiáról. Ennek a szétválasztásnak az az előnye, hogy a megoldó nem függ egy adott problémapéldány részleteitől. Az általános megoldók által alkalmazott stratégia egy általános algoritmuson alapult (általában visszalépésen alapul ), amelynek egyetlen célja a teljesség. Ez exponenciális számítási időt indukál, amely drámai módon korlátozza azok használhatóságát. A modern megoldók egy speciálisabb megközelítést alkalmaznak, amely kihasználja a problémák szerkezetét, így a megoldó a lehető legkevesebb időt tölti vissza.
Egy adott osztály problémáira (pl. Nemlineáris egyenletrendszerek ) általában több algoritmus áll rendelkezésre. Egyes megoldók több algoritmust valósítanak meg.
Lásd még
- TK Solver : Szabályalapú problémamegoldó, visszahelyezési képességekkel.
- Matematikai szoftver más típusú matematikai szoftverekhez.
- Problémamegoldó környezet : egy speciális szoftver, amely automatizált problémamegoldási módszereket és emberközpontú eszközöket ötvöz a probléma megoldásának irányítására.
- Elégedettség modulo elméletek a logikai képletek megoldói számára a klasszikus elsőrendű logikában egyenlőséggel kifejezett háttérelméletek kombinációi tekintetében.
- Szemantikus okoskodás
Megoldók listája
- Lineáris programozási megoldók listája
- Az SMT megoldók listája
- Megoldók listája a közönséges differenciálegyenletekhez
Hivatkozások
 |
Ez a tudományos szoftveres cikk csonka . Segíthet Wikipedia szerint bővítette . |
