Algorithme DPLL

Rare · Savoir · algorithme de recherche · XXe siècle

4Algorithme DPLL

Savoir, algorithme de rechercheR

Érudition. En arrivant : pioche une carte.

5 269

4 325

Pl. 218040WikiArcana

Cette carte peut sortir de tes packs

10 packs offerts, sans paiement · 1,58 million de cartes

Recevoir mes 10 packs

D'où viennent les stats

Attaque: 5 269
Richesse : 19 déclarations, comparé aux autres cartes du même type.
Défense: 4 325
Âge : 64,78 ans, comparé aux autres cartes du même type.

Résumé Wikipédia

En informatique, l'algorithme de Davis–Putnam–Logemann–Loveland (DPLL) est un algorithme de backtracking, complet, de résolution du problème SAT. Le problème SAT est un problème important à la fois d'un point de vue théorique, en particulier en théorie de la complexité où il est le premier problème prouvé NP-complet et pratique puisqu'il peut apparaître lors de la résolution de problèmes de planification classique, model checking, ou encore diagnostic et jusqu'au configurateur d'un PC ou de son système d'exploitation[réf. nécessaire].

Lire l'article sur Wikipédia

Texte : extrait de l'article Wikipédia « Algorithme DPLL », sous licence CC BY-SA 4.0.

Données : Wikidata (CC0). Image : Backtracking-no-backjumping.svg sur Wikimedia Commons ; auteur et licence sur la page du fichier.

Signaler cette carte

Finitions

Chaque carte peut sortir d'un pack en plusieurs finitions ; le pourcentage est la chance qu'une carte tirée sorte dans celle-ci. Shiny et Gold renforcent aussi ses stats.

Cartes liées

Ces sujets sont reliés à Algorithme DPLL dans Wikidata. En combat, posées sur le même territoire, les cartes liées se renforcent : +1 par lien (jusqu'à +3).

3Algorithme de Davis-Putnam

Savoir, algorithmePC

Érudition. En arrivant : pioche une carte.