Perles de Dijkstra

Un article de Wikipédia, l'encyclopédie libre.

Vous avez de nouveaux messages (diff^?).

Les Perles de Dijkstra sont un problème de backtracking en programmation énoncé par Edsger Dijkstra dans les Communications de l'ACM au début des années 1970.

L'intérêt du problème vient du fait qu'il est difficile de le programmer sans instruction GO TO, mais que si on le programme avec une telle instruction, on a de fortes chances aussi de se tromper, et de rendre le programme très dur à corriger.

Il a donné lieu aussi à des développements mathématiques simples.

[modifier] Le problème

Soit un fil sur lequel on désire enfiler des perles de trois couleurs. Dijkstra propose bleu, blanc et rouge, couleurs du drapeau néerlandais, mais on peut dans une formulation plus neutre les nommer 0, 1 et 2.

Une seule contrainte existe : il ne doit pas y avoir sur le fil deux séquences adjacentes identiques.

Questions :

Combien de perles peut-on ainsi enfiler ?
Écrire l'algorithme qui réalise la plus longue séquence possible, ou le cas échéant celui qui pourra continuer indéfiniment.

[modifier] L'analyse

[modifier] Plausibilité

Elle commence tout d'abord avec un peu de réflexion préalable : chaque choix de perle est un choix parmi trois. Le degré de liberté dans la construction est de l'ordre de 3^N. La contrainte, elle, semble diminuer plutôt en N^3/2, ce qui conduit à se dire que passé un certain cap, on a assez de marge de manœuvre pour continuer indéfiniment. Mais impression n'est pas démonstration.

[modifier] Familiarisation simple

Elle contient ensuite avec un peu de simulation à la main :

0 est correct
00 serait incorrect
01 est correct
010 est correct
0100 et 0101 seraient incorrects
0102 est correct
...
0102010 est correct

Nous avons ensuite un souci pour placer une perle supplémentaire :

01020100 ne convient pas (répétition du 0)
01020101 ne convient pas (répétition du 01)
01020102 ne convient pas davantage (répétition du 0102)

Est-ce la chaîne la plus longue cherchée ? Non. Nous pouvons toujours remettre en cause un de nos choix (arbitraires) antérieurs pour voir si cela ne débloque pas la situation. Et de fait :

0102012 débloque les choses et permet de continuer. Cette procédure se nomme le backtracking.

Il n'y a plus qu'à programmer.

[modifier] Programmation

Mais attention aux programmeurs négligents : si leur programme ne prévoit pas qu'il puisse y avoir de nombreux backtrackings successifs depuis la même position, ils sont partis pour rencontrer de sérieux ennuis. Ennuis qui deviennent vite inextricables si de surcroît ils ont fait usage de l'instruction GO TO, qui interdit toute prédiction facile sur les invariants valides en chaque point du programme.

[modifier] Méthode mathématique

L'on peut construire une telle chaîne arbitrairement longue. Si l'on considère le morphisme $\ f$ (verifiant $\ f(ab)=f(a)f(b)$ ) sur l'alphabet $\ \{0,1\}$ vérifiant $\ f(0)=01$ et $\ f(1)=10$ et que l'on note $\ u_n=f^n(0)$ . On a alors: $\ u_1=01$ ; $\ u_2=0110$ ; $\ u_3=01101001$ ; $\ u_4=0110100110010110$ ; $\ u_5=01101001100101101001011001101001$ . Ainsi l'on défini le mot de Thue et Morse, en prenant la limite de cette suite(car chaque élément de la suite est préfixe des autres). Ce mot possède plusieurs particularités mais ici celle qui nous intéresse ici est la suivante: On remarque que le mot ne comporte jamais de facteur 000 ou 111, ainsi si on factorise la mot en facteur 0.1* et l'on remplace chacun de ces facteurs par le nombre de 1 qu'il contiens (toujours inférieurs a 2). On obtient ainsi le mot: $\ v=210201210120210201202.....$ L'on sait alors montrer que ce mot vérifie la condition de ne pas contenir de carré.