La ROADEF
R.O.A.D
Événements
Prix
Publications
Plus
Forum
Connexion

Appli - jeu sur le problème SAT

Forum 'Annonces' - Sujet créé le 21/11/2019 par gicquel (104 vues)


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.

 

cid:image003.png@01D5A094.498B5650

 

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.

 

cid:image004.png@01D5A094.498B5650

 

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 :

                • Google Play store

                • App Store

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.







Moteur de recherche
Tous les forums


  La Société française de Recherche Opérationnelle et Aide à la Décision ROADEF est une association Loi 1901 Plus d'informations sur la ROADEF