Get the latest tech news

The SAT Game

st une présentation amusante du problème SAT. Ce problème consiste à déterminer si une formule booléenne (sous forme CNF) peut être rendue vraie en choisissant correctement les valeurs des variables booléennes (soit vrai, soit faux) qu'elle contient.

Règles du jeu La partie est gagnée quand il y a au moins une case verte sur chaque ligne. Il suffit de recliquer sur une case pour qu'elle perde sa couleur. signale les lignes où il n'y a plus qu'une possibilité d'obtenir une case verte.

Get the Android app