New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Rédiger un texte de modélisation sur le jeu Rush Hour #10

Open

4 tasks

Naereen opened this issue Jan 8, 2018 · 0 comments

Open

4 tasks

Rédiger un texte de modélisation sur le jeu Rush Hour #10

Naereen opened this issue Jan 8, 2018 · 0 comments

Assignees

Labels

Owner

Naereen commented Jan 8, 2018 •

edited

Loading

Références

Vidéo présentation Rush hour https://www.youtube.com/watch?v=m_A3ENh2g34
https://stackoverflow.com/questions/2877724/rush-hour-solving-the-game
article sur l'aspect P-SPACE complete et comment faire des portes logiques avec Rush Hour http://groups.csail.mit.edu/mac/users/bob/sliding-blocks.pdf
Plank Puzzle http://clickmazes.com/planks/ixplanks.htm (inventé par une dame passionnée de puzzle).
Ce solveur, https://github.com/fogleman/rush
Ce post de blogue, https://www.michaelfogleman.com/rush/

Tâches

Implémenter un solveur brute-force pour le jeu, et un vérificateur de solution,
Rédiger une réduction à la main, vérifier que c'est du niveau agrég,
(bonus) Implémenter une visualisation interactive d'une solution...
Commencer à rédiger un exemple de solution dans un notebook, et s'il y a assez de contenu (je pense), commencer à rédiger un texte type modélisation.

Naereen added agreg ocaml labels

Naereen self-assigned this

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment