A dix-huit ans, Sophie reste renfermée sur elle-même. Alors qu'elle traversait la ville, la jeune fille fait une rencontre toute aussi étrange que courte, celle du magicien Hauru. Mais la Sorcière des Landes se méprend sur cette aventure et ensorcelle Sophie, lui donnant l'apparence d'une vieille femme. Celle-ci s'exile alors et par hasard croise le chemin du « Château Ambulant », demeure de Hauru. Elle y fait la connaissance de Marko, un jeune apprenti, et Calcifer, le démon chargé de faire avancer la demeure du magicien.

Hayao Miyazaki reste fidèle à son talent. Il nous entraîne encore une fois dans un monde étrange, à mi-chemin entre la réalité et le fantastique. Sur fond de guerre aux allures de celle de 39-45, les personnages se croisent et finissent toujours par nous surprendre. Le personnage de Hauru fait beaucoup penser au prince Ashitaka, héros de « Princesse Mononoké ». D'ailleurs on reconnaît tout au long du film la plume du dessinateur. La scénario, à moitié loufoque, nous immerge dans un univers magique délicieusement envoûtant. La musique est sublime et accompagne parfaitement l'histoire. Une création que l'on prend plaisir à voir et à revoir. Amateurs de l'oeuvre du dessinateur/réalisateur, n'attendez plus pour découvrir cette merveille...

Un homme devait faire traverser un renard, une salade et un lapin dans un bateau.

Le bateau était tellement petit, qu'il ne pouvait embarquer qu'un des trois et lui-même pour chaque traversée.

Question:  
Comment réussit-il à tous les faire traverser sans laisser l'occasion au renard de manger le lapin ou au lapin de manger la salade?

Bon j'avoue c'est un peu vache dès le matin!  

Le 1er qui trouve je lui fais de la pub pour son blog!

Analyse

Les deux thèmes de ce procédé sont l'élimination et l'hypothèse.

• Élimination : la recherche de la solution se fait en éliminant successivement les candidats d'une cellule de façon à ne retenir qu'un seul candidat. Une fois ce candidat trouvé, une autre recherche devrait être effectuée de façon à déterminer les conséquences sur les autres cellules. Il y a plusieurs techniques d'élimination qui s'appuient sur les règles ci-dessous, lesquelles ont d'utiles corollaires :

1. Un ensemble donné de n cellules dans une rangée, une colonne ou une région, ne peut recevoir que n chiffres différents. Cette règle est à la base de la technique d' « élimination du candidat orphelin », discutée ci-dessous.
2. Chaque candidat doit ultimement appartenir à un modèle auto-consistant et indépendant. Cette règle est à la base des techniques d'analyse avancées, lesquelles demandent d'inspecter l'ensemble de toutes les possibilités pour un candidat. Il n'y a qu'un nombre fini de « circuits fermés » ou possibilités de grilles « n×n » qui existent. Cette règle a donné naissance aux méthodes X-Wing et Swordfish, entre autres. Si un tel modèle est identifié, alors l'élimination de candidats est souvent possible.

• L'une des techniques les plus utilisées est l' « élimination du candidat orphelin ». Les cellules avec un même ensemble de candidats sont dites couplées si le nombre de candidats dans chacune d'elle est égal au nombre de cellules qui peuvent les accueillir. Par exemple, deux cellules sont couplées si elles contiennent une paire unique de candidats (p,q) dans une rangée, une colonne ou une région; trois cellules sont dites couplées si elles contiennent un triplet unique de candidats (p,q,r). Ces chiffres ne peuvent apparaître ailleurs, car il y aurait conflit selon la rangée, la colonne ou la région. Pour cette raison, les candidats (p,q,r) qui se trouvent dans les autres cellules sont à éliminer. Ce principe vaut avec des sous-ensembles de candidats : si trois cellules ont seulement { (p,q,r), (p,q), (q,r) }, ou { (p,r), (q,r), (p,q) }, tous les candidats de cet ensemble qui se trouvent dans les autres cellules sont à éliminer.

• • Un deuxième principe découle du principe précédent. Si le nombre de cellules dans une rangée, une colonne ou une région, est égal à la taille d'un ensemble de candidats, les cellules et les chiffres sont couplés et seulement ces chiffres apparaîtront dans les cellules. Tous les autres candidats sont à éliminer. Par exemple, si (p,q) peut seulement apparaître dans deux cellules (d'une rangée, d'une colonne ou d'une région), les autres candidats sont à éliminer.
    Le premier principe s'appuie sur le concept de « chiffres couplés uniquement », alors que le second s'appuie sur le concept de « cellules couplées uniquement ». Les techniques avancées s'appuient sur ces concepts et englobent de multiples rangées, de multiples colonnes et de multiples régions. 

• Avec l'approche par hypothèse, une cellule avec seulement deux candidats est choisie et l'un des deux chiffres est inscrit dans la cellule. Les étapes précédentes sont répétées et mènent soit à une contradiction (chiffre dupliqué ou cellule sans candidat), soit à une proposition valide. Évidemment, dans le cas d'une contradiction, le deuxième chiffre fait partie de la solution. L'algorithme de Nishio est une forme épurée de cette approche : Pour chaque candidat d'une cellule, est-ce qu'insérer un chiffre en particulier prévient l'inscription de ce candidat ailleurs dans la grille ? Si la réponse est oui, alors le candidat est éliminé.
  L'approche par hypothèse demande d'utiliser un crayon et une gomme à effacer. Les puristes la rejettent, car elle est une approche par essais et erreurs, alors que la plupart des grilles publiées font appel à la logique seulement pour être résolues. Cependant, cette approche a le mérite de souvent mener à la solution plus rapidement.

C'est à chaque joueur de trouver une méthode qui lui donne les meilleurs résultats. Certains développeront une méthode qui réduise les inconvénients des propositions précédentes. Par exemple, certains trouveront ennuyeux de devoir inscrire tous les candidats dans toutes les cellules. L'approche par hypothèse demande d'être organisé. L'idéal est de trouver une façon de faire qui minimise le décompte, le nombre de candidats et le nombre d'hypothèses.

Méthode de résolution

La région en haut à droite doit contenir un 5. En éliminant les rangées et les colonnes en regard qui contiennent un 5, le joueur élimine toutes les cellules vides qui ne peuvent contenir ce 5. Il ne reste donc qu'une seule cellule d'accueil, en vert.

La méthode de résolution se ramène à trois procédés : recherche, candidature et analyse.

Recherche

La recherche est faite au début du jeu et périodiquement pendant le remplissage de la grille. Plusieurs recherches sont souvent nécessaires entre deux moments d'analyse. Cette recherche fait appel à deux techniques simples :

• Réduction par croix : il s'agit, pour chaque chiffre, d'éliminer les cellules où il ne peut pas se trouver. Pour cela, le chercheur trace un trait, imaginaire, sur chaque colonne et chaque ligne où le chiffre apparaît déjà. Les cases qui ne sont pas traversées par un trait sont celles où le chiffre peut encore être inséré. Cette méthode peut être utilisée pour remplir les cellules « les plus simples » en premier. Pour gagner du temps, le chercheur peut commencer par les chiffres les plus nombreux parmi les dévoilés, mais il est important de l'appliquer à chaque chiffre. Pour minimiser le temps de recherche aux autres étapes, cette étape doit être faite de façon systématique, en vérifiant pour tous les chiffres.

• Décompte de 1 à 9 pour chaque région, chaque rangée et chaque colonne. Cette étape permet de trouver les chiffres manquants. (Le faire selon le dernier chiffre trouvé peut rendre plus rapide la recherche.) Dans les puzzles difficiles, le chiffre à inscrire peut être déterminé en faisant un décompte inversé, c'est-à-dire en tentant de trouver les chiffres qui ne peuvent apparaître dans la cellule, ce qui permet de connaître les chiffres candidats.

Les joueurs experts recherchent les « contingences » pendant la recherche, c'est-à-dire qu'ils tentent de déterminer les cellules candidates (au nombre de deux ou trois) pour un chiffre en particulier. Quand ces cellules sont toutes dans la même rangée (ou colonne), et une région, elles sont mises à profit pendant la réduction par croix et le décompte. Les puzzles les plus difficiles demandent de reconnaître les multiples contingences, souvent dans des directions différentes ou aux intersections. Ce qui oblige les joueurs à inscrire les candidats (méthode décrite ci-dessous).

Les puzzles que l'on peut résoudre par la réduction par croix seulement sont considérés comme faciles, les plus difficiles exigent de faire appel à d'autres techniques.