Démineur (genre de jeu vidéo)

Le champ de mines du Démineur est représenté par une grille, qui peut avoir différentes formes : deux ou trois dimensions, pavage rectangulaire ou non, etc.

Chaque case de la grille peut soit cacher une mine, soit être vide. Le but du jeu est de découvrir toutes les cases libres sans faire exploser les mines, c'est-à-dire sans cliquer sur les cases qui les dissimulent.

Lorsque le joueur clique sur une case libre comportant au moins une mine dans l'une de ses cases avoisinantes, un chiffre apparaît, indiquant ce nombre de mines. Si en revanche toutes les cases adjacentes sont vides, une case vide est affichée et la même opération est répétée sur ces cases, et ce jusqu'à ce que la zone vide soit entièrement délimitée par des chiffres. En comparant les différentes informations récoltées, le joueur peut ainsi progresser dans le déminage du terrain. S'il se trompe et clique sur une mine, il a perdu.

On peut signaler les cases contenant des mines présumées par un drapeau en cliquant sur le bouton droit de la souris — mais ce n'est aucunement obligatoire. Il faut faire attention à ne pas signaler une case saine par un drapeau, car cela peut induire en erreur ; ce n'est toutefois pas aussi pénalisant que de découvrir une mine.

Dans le démineur de Windows, il est possible de cliquer simultanément avec les boutons gauche et droit de la souris sur une case. Cette manipulation est à faire sur une case ayant un numéro (donc avec une ou plusieurs mines à proximité) et lorsque le joueur a préalablement déminé le nombre requis de mines alentour. Dans ce cas là, toutes les autres cases adjacentes dépourvues de drapeau seront découvertes, permettant ainsi de gagner du temps.

Le jeu est chronométré, ce qui permet de conserver les meilleurs scores.

Jusqu'à Windows XP, le démineur de Windows contenait également un smiley prenant différentes humeurs selon la situation : souriant en temps normal, triste lorsque le joueur a perdu, portant des lunettes de soleil lorsqu'il a gagné et nerveux lorsque le bouton de la souris est enfoncé. Un clic sur ce smiley permettait de commencer une nouvelle partie[2].

Si le jeu du Démineur est un problème NP-complet[3], il invite cependant le joueur à combiner plusieurs tactiques, selon le degré de probabilité. On peut avoir des certitudes absolues selon le nombre d'informations qui s'entrecoupent ; mais on peut aussi n'en avoir absolument aucune, notamment lors des premiers coups où l'on est obligé de procéder à l'aveuglette ; enfin, on peut, sans avoir de certitude absolue, calculer de fortes probabilités. Il s'agit donc alternativement d'un jeu de hasard et d'un casse-tête.

Certaines variantes cherchent à diminuer la part du hasard. Les plus simples offrent une option dans laquelle certaines cases connues du joueur, typiquement les coins, sont toujours sûres. Les plus sophistiquées jouent elles-mêmes en cas de situation où l'on ne peut pas trancher. Une variante particulière a poussé ce dernier procédé dans ses limites : en demandant au joueur de jouer une case ou bien de déclarer explicitement qu'il croit ne pas pouvoir décider, elle rend chaque coup possible dans un espace mathématique étendu !

La difficulté d'une grille de Démineur peut être mesurée avec un indice : le 3BV (abréviation de Bechtel's Board Benchmark Value).

Il existe deux grands algorithmes (au sens où ce sont les plus utilisés) permettant le calcul des nombres des différentes cases du Démineur.

Le premier algorithme est dit naïf : c'est la méthode la plus évidente à comprendre et à mettre en place, mais ce n'est pas la plus optimisée.

Après le placement des mines, l'algorithme parcourt le tableau en entier, case par case. Pour chacune d'entre elles, il compte le nombre de mines dans le voisinage direct, et lui assigne ce nombre. Voici une implémentation simplifiée en pseudo-code :

explorer tableau par case
    si case est vide
        nombre := compter_mines(case.voisinage)
        case.valeur = nombre

Nous aurons donc une complexité algorithmique de ${\displaystyle O(m\times n)}$.

Alors que le premier algorithme s'effectue dans un deuxième temps, celui-ci s'applique au moment-même du placement des mines sur le tableau.

L'algorithme fonctionne en considérant les mines et leur voisinage comme des ensembles. Lorsqu'une mine est incluse dans un de ses ensembles, le nombre qui lui est associé est incrémenté de un. Ainsi, en pseudo-code :

// Placement de la mine
explorer mine.voisinage par case
    si case est vide
        incrémenter case.valeur

Cette approche du problème permet de réunir deux étapes en une seule. En termes de complexité algorithmique, cet algorithme est plus performant : ${\displaystyle O(x)}$, sachant que ${\displaystyle x<(m\times n)-1}$, car le tableau ne peut ni être recouvert de mines, ni contenir plus de mines que de cases (exception faite des variantes avec plusieurs mines par case).

• (en) Les mathématiques du Démineur, lien avec le problème P=NP, sur mat.bham.ac.uk
• Démineur en ligne, l'une des nombreuses adaptations du démineur disponible sur le web.