Tartalomjegyzék
6 kapcsolatok: Backtracking, DPLL algoritmus, Keresőalgoritmus, Kielégíthetőségi modulo elméletek, Rekurzió, SMA* algoritmus.
Backtracking
#ÁTIRÁNYÍTÁS Visszalépéses keresés.
Megnézni Visszalépéses keresés és Backtracking
DPLL algoritmus
A logikában és az informatikában a Davis–Putnam–Logemann–Loveland (DPLL)-algoritmus egy teljes, visszalépésen (backtrack) alapuló keresőalgoritmus az ítéletlogikai formulák konjunktív normál formában való kielégíthetőségének eldöntésére, azaz a CNF-SAT probléma megoldására.
Megnézni Visszalépéses keresés és DPLL algoritmus
Keresőalgoritmus
A keresőalgoritmusok olyan, az informatikában használt algoritmust jelöl, aminek a segítségével egy bizonyos tulajdonsággal felruházott elemet keresünk elemek egy gyűjteményében.
Megnézni Visszalépéses keresés és Keresőalgoritmus
Kielégíthetőségi modulo elméletek
Az informatikában és a matematikai logikában a SAT modulo elméletek (SMT) annak meghatározása, hogy egy matematikai formula kielégíthető-e. A Boole-féle kielégíthetőségi problémát (SAT) általánosítja a valós számokat, egész számokat és/vagy különböző adatszerkezeteket, például listákat, tömböket, bitvektorokat és stringeket tartalmazó összetettebb formulákra.
Megnézni Visszalépéses keresés és Kielégíthetőségi modulo elméletek
Rekurzió
Rekurzívan egymásba ágyazott ismétlődő kép A rekurzió a matematikában, valamint a számítástudományban egy olyan művelet, amely végrehajtásakor a saját maga által definiált műveletet, vagy műveletsort hajtja végre, ezáltal önmagát ismétli; a rekurzió ezáltal egy adott absztrakt objektum sokszorozása önhasonló módon.
Megnézni Visszalépéses keresés és Rekurzió
SMA* algoritmus
Az SMA* vagy Simplified Memory Bounded A* egy, az A* algoritmus alapján működő legrövidebb út algoritmus.