Problème SAT

Problème de décision, qui détermine si une formule Booléenne est vrai.

Épique · Savoir · problème de décision

5Problème SAT

Savoir, problème de décisionÉ

Érudition. En arrivant : pioche une carte.

problème de décision, qui détermine si une formule Booléenne est vrai.

7 179

7 346

Pl. 1952681WikiArcana

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: 7 179
Richesse : 17 déclarations, comparé aux autres cartes du même type.
Défense: 7 346
Rayonnement : 27 sitelinks, comparé aux autres cartes du même type.

Résumé Wikipédia

En informatique théorique, le problème SAT ou problème de satisfaisabilité booléenne est le problème de décision, qui, étant donné une formule de logique propositionnelle, détermine s'il existe une assignation des variables propositionnelles qui rend la formule vraie.

Lire l'article sur Wikipédia

Texte : extrait de l'article Wikipédia « Problème SAT », sous licence CC BY-SA 4.0.

Données : Wikidata (CC0). Image : Sudoku Repeto.png 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 à Problème SAT dans Wikidata. En combat, posées sur le même territoire, les cartes liées se renforcent : +1 par lien (jusqu'à +3).

421 problèmes NP-complets de Karp

Savoir, ensembleR

Érudition. En arrivant : pioche une carte.

5 351

5 041

Pl. 135083WikiArcana

5Problème de décision