Theorie Casse Tete Math

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
20 janvier 2009
2 / 25
Plan
1

Modlisation
Taquin
Prsentation
Formalisation
Cast OGear
Prsentation
Modlisation
Procdure Sift
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.
20 janvier 2009
4 / 25

couleurs ;
monochrome ;
20 janvier 2009
4 / 25

couleurs ;
monochrome ;
20 janvier 2009
4 / 25
Lights Out Puzzle
20 janvier 2009
5 / 25
Lights Out Puzzle

1
20 janvier 2009
5 / 25
Lights Out Puzzle

1
20 janvier 2009
5 / 25
Lights Out Puzzle

1
20 janvier 2009
5 / 25
Plan
1

Modlisation
Taquin
Prsentation
Formalisation
Cast OGear
Prsentation
Modlisation
Procdure Sift
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
20 janvier 2009
7 / 25
Modlisation
X0 =
2
0
1
2
1
0
2
0
1
2
1
;A =
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
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

Modlisation
Taquin
Prsentation
Formalisation
Cast OGear
Prsentation
Modlisation
Procdure Sift
20 janvier 2009
9 / 25
Prsentation
Parente dispute : Noyes Palmer Chapman (1874)
20 janvier 2009
10 / 25
Prsentation

1
10
11
13
14
15
12
20 janvier 2009
10 / 25
Prsentation

1
10
13
14
11
15
12
20 janvier 2009
10 / 25
Prsentation

3
10
11
13
14
15
12
20 janvier 2009
10 / 25
Position soluble ?
11
10
10
11
12
12
13
14
15
13
14
15
20 janvier 2009
11 / 25
Challenge de Noyes Chapman
Soluble ?
1
10
11
12
13
15
14
20 janvier 2009
12 / 25
Plan
1

Modlisation
Taquin
Prsentation
Formalisation
Cast OGear
Prsentation
Modlisation
Procdure Sift
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.
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 .
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.
20 janvier 2009
16 / 25
Plan
1

Modlisation
Taquin
Prsentation
Formalisation
Cast OGear
Prsentation
Modlisation
Procdure Sift
20 janvier 2009
17 / 25
Prsentation
20 janvier 2009
18 / 25
Plan
1

Modlisation
Taquin
Prsentation
Formalisation
Cast OGear
Prsentation
Modlisation
Procdure Sift
20 janvier 2009
19 / 25
Modlisation
Une toile cinq branches, dont deux prsentant une encoche ;
20 janvier 2009
20 / 25
Modlisation

Un cube (6 faces donc) sur lequel ltoile peut se dplacer en
franchissant certaines artes ;
20 janvier 2009
20 / 25
Modlisation

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.
20 janvier 2009
20 / 25

Theorie Casse Tete Math

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Theorie Casse Tete Math

Transféré par

Droits d'auteur :

Formats disponibles

Maths for fun: Mathmatiques des jeux et

Maths des jeux et casse-ttes

tude de lnigme des lumres

Maths des jeux et casse-ttes

tude de lnigme des lumres

Maths des jeux et casse-ttes

Un petit jeu tudier1

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

Maths des jeux et casse-ttes

Un petit jeu tudier1

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

Maths des jeux et casse-ttes

Un petit jeu tudier1

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

Maths des jeux et casse-ttes

Lights Out Puzzle

Maths des jeux et casse-ttes

Lights Out Puzzle

Maths des jeux et casse-ttes

Lights Out Puzzle

Maths des jeux et casse-ttes

Lights Out Puzzle

Maths des jeux et casse-ttes

tude de lnigme des lumres

Maths des jeux et casse-ttes

Maths des jeux et casse-ttes

Maths des jeux et casse-ttes

tude de lnigme des lumres

Maths des jeux et casse-ttes

Parente dispute : Noyes Palmer Chapman (1874)

Maths des jeux et casse-ttes

Parente dispute : Noyes Palmer Chapman (1874)

Maths des jeux et casse-ttes

Parente dispute : Noyes Palmer Chapman (1874)

Maths des jeux et casse-ttes

Parente dispute : Noyes Palmer Chapman (1874)

Maths des jeux et casse-ttes

Maths des jeux et casse-ttes

Challenge de Noyes Chapman

Maths des jeux et casse-ttes

tude de lnigme des lumres

Maths des jeux et casse-ttes

Signature dune permutation

Maths des jeux et casse-ttes

Maths des jeux et casse-ttes

Maths des jeux et casse-ttes

tude de lnigme des lumres

Maths des jeux et casse-ttes

Maths des jeux et casse-ttes

tude de lnigme des lumres

Maths des jeux et casse-ttes

Une toile cinq branches, dont deux prsentant une encoche ;

Maths des jeux et casse-ttes

Une toile cinq branches, dont deux prsentant une encoche ;

Maths des jeux et casse-ttes

Une toile cinq branches, dont deux prsentant une encoche ;

Maths des jeux et casse-ttes

Vous aimerez peut-être aussi