Le 21/11/2019 par gicquel :
Bonjour,
Nous diffusons une annonce pour une nouvelle appli visant à faire découvrir la programmation par contraintes de façon ludique.
Pour le bureau,
Céline
---------------------
Bonjour à tous,
Désolé d’avance pour le côté un peu promotionnel de ce mail.
Suite aux discussions de Charlotte Truchet, Daniel Le Berre et Olivier Bailleux sur Twitter, nous avons décidé d'implémenter un jeu représentant le problème SAT sur Android et IOS, que nous avons appelé SAT-Your-Day.
Le problème est légèrement différent du problème SAT classique, car ce n'est pas ici un problème de décision.
Le problème consiste à falsifier le plus de littéraux possible tout en s'assurant qu'au moins un littéral par clause est vrai.
Les règles du jeu sont donc les suivantes :
- Aucune boîte contenant des fruits ne doit être vide.
- Il faut garder exactement un type de fruit par couleur.
- Il est possible d’avoir une boîte avec plusieurs fruits dedans.
Pour faire le lien avec le problème SAT :
- Chaque boite est une clause.
- Chaque couleur est une variable.
- Chaque fruit d’une certaine couleur est une affectation d’une variable.
Pour chaque niveau de difficulté, le nombre de boîtes, de couleurs et de fruits vont augmenter ce qui va forcément complexifier le jeu. Essayez donc de supprimer le plus de fruits possible dans nos niveaux les plus difficiles !
Ce jeu est disponible sur :
N’hésitez surtout pas à nous faire des retours à contact@combi.games. Nous pensons que ce jeu peut devenir un très bon support de cours à tous ceux qui enseignent la logique, mais cela ne pourra pas se faire sans vous. En effet, plus nous aurons de retour, plus le jeu pourra coller à vos besoins soit en terme de vulgarisation, soit en terme d’enseignements.
Merci d’avance pour vos retours,
Bien Cordialement,
—————————————————
L’équipe Combi-Games.
