Vous êtes sur la page 1sur 30

Maths for fun: Mathmatiques des jeux et

casse-ttes
Laurent Fousse laurent.fousse@imag.fr

20 janvier 2009

laurent.fousse@imag.fr ()

Maths des jeux et casse-ttes

20 janvier 2009

1 / 25

Plan
1

tude de lnigme des lumres


Rappel de la dfinition
Modlisation

Taquin
Prsentation
Formalisation

Cast OGear
Prsentation
Modlisation

Procdure Sift

laurent.fousse@imag.fr ()

Maths des jeux et casse-ttes

20 janvier 2009

2 / 25

Plan
1

tude de lnigme des lumres


Rappel de la dfinition
Modlisation

Taquin
Prsentation
Formalisation

Cast OGear
Prsentation
Modlisation

Procdure Sift

laurent.fousse@imag.fr ()

Maths des jeux et casse-ttes

20 janvier 2009

3 / 25

Un petit jeu tudier1


On considre un clavier magique 3x3 :
Chaque case peut cycler sur 3
couleurs ;
Toucher une case fait avancer sa
couleur et celle de ses voisines ;
Le but est de rendre le clavier
monochrome ;
Est-ce que toutes les positions
initiales sont solubles ?
Quelle est la stratgie ?

Tir de Black & White de Lionhead, sans doute un classique.

laurent.fousse@imag.fr ()

Maths des jeux et casse-ttes

20 janvier 2009

4 / 25

Un petit jeu tudier1


On considre un clavier magique 3x3 :
Chaque case peut cycler sur 3
couleurs ;
Toucher une case fait avancer sa
couleur et celle de ses voisines ;
Le but est de rendre le clavier
monochrome ;
Est-ce que toutes les positions
initiales sont solubles ?
Quelle est la stratgie ?

Tir de Black & White de Lionhead, sans doute un classique.

laurent.fousse@imag.fr ()

Maths des jeux et casse-ttes

20 janvier 2009

4 / 25

Un petit jeu tudier1


On considre un clavier magique 3x3 :
Chaque case peut cycler sur 3
couleurs ;
Toucher une case fait avancer sa
couleur et celle de ses voisines ;
Le but est de rendre le clavier
monochrome ;
Est-ce que toutes les positions
initiales sont solubles ?
Quelle est la stratgie ?

Tir de Black & White de Lionhead, sans doute un classique.

laurent.fousse@imag.fr ()

Maths des jeux et casse-ttes

20 janvier 2009

4 / 25

Lights Out Puzzle

laurent.fousse@imag.fr ()

Maths des jeux et casse-ttes

20 janvier 2009

5 / 25

Lights Out Puzzle


1

laurent.fousse@imag.fr ()

Maths des jeux et casse-ttes

20 janvier 2009

5 / 25

Lights Out Puzzle


1

laurent.fousse@imag.fr ()

Maths des jeux et casse-ttes

20 janvier 2009

5 / 25

Lights Out Puzzle


1

laurent.fousse@imag.fr ()

Maths des jeux et casse-ttes

20 janvier 2009

5 / 25

Plan
1

tude de lnigme des lumres


Rappel de la dfinition
Modlisation

Taquin
Prsentation
Formalisation

Cast OGear
Prsentation
Modlisation

Procdure Sift

laurent.fousse@imag.fr ()

Maths des jeux et casse-ttes

20 janvier 2009

6 / 25

Modlisation
Exemple : n = 3, c = 3.

A=

1
1
0
1
0
0
0
0
0

1
1
1
0
1
0
0
0
0

0
1
1
0
0
1
0
0
0

1
0
0
1
1
0
1
0
0

0
1
0
1
1
1
0
1
0

0
0
1
0
1
1
0
0
1

0
0
0
1
0
0
1
1
0

0
0
0
0
1
0
1
1
1

0
0
0
0
0
1
0
1
1

det(A) = 7

laurent.fousse@imag.fr ()

Maths des jeux et casse-ttes

20 janvier 2009

7 / 25

Modlisation

X0 =

2
0
1
2
1
0
2
0
1
2

1
;A =

laurent.fousse@imag.fr ()

2
1
2
1
1
0
2
0
0

1
1
1
1
1
1
0
2
0

2
1
2
0
1
1
0
0
2

1
1
0
1
1
2
1
1
0

1
1
1
1
0
1
1
1
1

0
1
1
2
1
1
0
1
1

2
0
0
1
1
0
2
1
2

Maths des jeux et casse-ttes

0
2
0
1
1
1
1
1
1

0
0
2
0
1
1
2
1
2

A X0 =

20 janvier 2009

0
2
2
1
0
1
0
2
2

8 / 25

Plan
1

tude de lnigme des lumres


Rappel de la dfinition
Modlisation

Taquin
Prsentation
Formalisation

Cast OGear
Prsentation
Modlisation

Procdure Sift

laurent.fousse@imag.fr ()

Maths des jeux et casse-ttes

20 janvier 2009

9 / 25

Prsentation

Parente dispute : Noyes Palmer Chapman (1874)

laurent.fousse@imag.fr ()

Maths des jeux et casse-ttes

20 janvier 2009

10 / 25

Prsentation

Parente dispute : Noyes Palmer Chapman (1874)


1

10

11

13

14

15

laurent.fousse@imag.fr ()

12

Maths des jeux et casse-ttes

20 janvier 2009

10 / 25

Prsentation

Parente dispute : Noyes Palmer Chapman (1874)


1

10

13

14

11
15

laurent.fousse@imag.fr ()

12

Maths des jeux et casse-ttes

20 janvier 2009

10 / 25

Prsentation

Parente dispute : Noyes Palmer Chapman (1874)


3

10

11

13

14

15

12

laurent.fousse@imag.fr ()

Maths des jeux et casse-ttes

20 janvier 2009

10 / 25

Position soluble ?

11

10

10

11

12

12

13

14

15

13

14

15

laurent.fousse@imag.fr ()

Maths des jeux et casse-ttes

20 janvier 2009

11 / 25

Challenge de Noyes Chapman

Soluble ?
1

10

11

12

13

15

14

laurent.fousse@imag.fr ()

Maths des jeux et casse-ttes

20 janvier 2009

12 / 25

Plan
1

tude de lnigme des lumres


Rappel de la dfinition
Modlisation

Taquin
Prsentation
Formalisation

Cast OGear
Prsentation
Modlisation

Procdure Sift

laurent.fousse@imag.fr ()

Maths des jeux et casse-ttes

20 janvier 2009

13 / 25

Formalisation

tat du jeu
On identifie un tat du jeu la permutation de S16 des labels des
cases (la case 16 tant la case vide).

Signature dune permutation


Il existe un unique homomorphisme  de Sn dans {1, 1} tel que
(t) = 1 si t est une transposition.

laurent.fousse@imag.fr ()

Maths des jeux et casse-ttes

20 janvier 2009

14 / 25

Formalisation
Permutation paire
Toute permutation se dcompose comme produit de transpositions.
On dit que p est une permutation paire si (p) = 1 et impaire sinon.
Cette dfinition correspond la parit du nombre de transpositions
utilises pour crire p.

Coup lmentaire
Un coup lmentaire valide au jeu de taquin :
est reprsentable par un permutation des 16 cases (S16 ) ;
change deux cases voisines ;
dplace la case vide dune place dans une direction.
Un coup lmentaire est donc une transposition de S16 .

laurent.fousse@imag.fr ()

Maths des jeux et casse-ttes

20 janvier 2009

15 / 25

Formalisation
tat atteignable
Un tat atteignable du jeu est reprsent par une permutation qui est
gale au produit des transpositions effectues.

Invariant
Pour un tat du jeu de taquin, on dfinit v la parit de la position de la
case vide. Alors
(p) v
est un invariant du jeu.

Thorme
Les positions solubles sont celles dont linvariant est gal celui de la
position rsolue. Il existe 653837184000 positions solubles.

laurent.fousse@imag.fr ()

Maths des jeux et casse-ttes

20 janvier 2009

16 / 25

Plan
1

tude de lnigme des lumres


Rappel de la dfinition
Modlisation

Taquin
Prsentation
Formalisation

Cast OGear
Prsentation
Modlisation

Procdure Sift

laurent.fousse@imag.fr ()

Maths des jeux et casse-ttes

20 janvier 2009

17 / 25

Prsentation

laurent.fousse@imag.fr ()

Maths des jeux et casse-ttes

20 janvier 2009

18 / 25

Plan
1

tude de lnigme des lumres


Rappel de la dfinition
Modlisation

Taquin
Prsentation
Formalisation

Cast OGear
Prsentation
Modlisation

Procdure Sift

laurent.fousse@imag.fr ()

Maths des jeux et casse-ttes

20 janvier 2009

19 / 25

Modlisation

Une toile cinq branches, dont deux prsentant une encoche ;

laurent.fousse@imag.fr ()

Maths des jeux et casse-ttes

20 janvier 2009

20 / 25

Modlisation

Une toile cinq branches, dont deux prsentant une encoche ;


Un cube (6 faces donc) sur lequel ltoile peut se dplacer en
franchissant certaines artes ;

laurent.fousse@imag.fr ()

Maths des jeux et casse-ttes

20 janvier 2009

20 / 25

Modlisation

Une toile cinq branches, dont deux prsentant une encoche ;


Un cube (6 faces donc) sur lequel ltoile peut se dplacer en
franchissant certaines artes ;
Une face contient une encoche quil faut faire correspondre avec
celles de ltoile.

laurent.fousse@imag.fr ()

Maths des jeux et casse-ttes

20 janvier 2009

20 / 25