Tenez, sans tricher

Cheryl donne à ses deux amis dix dates possibles de son anniversaire :

les 15, 16 et 19 mai ;

le 17 et 18 juin ;

le 14 et 16 juillet ;

le 14, 15 et 17 août.

Cheryl a ensuite dit à Albert le mois, et à Bernard le jour de son anniversaire.

Albert affirme ensuite : « Je ne sais pas quand est l'anniversaire de Cheryl mais je sais que Bernard ne sait pas non plus. »

Bernard ajoute : « Au départ, je ne savais pas quand était l'anniversaire de Cheryl, mais maintenant je sais. »

Albert répond : « Alors je sais aussi quand est l'anniversaire de Cheryl. »

Avec mon cousin on vient de le résoudre, vraiment sympa

Réponse en MP :D

Ce truc a un succès fou sur le net.

Par contre, en quoi ce sont des maths ? x)

Ce que je sais c'est qu'elle ne risque pas d'avoir beaucoup d'invités à son anniversaire.

C'est de la logique, qui est une branche des maths. C'est du même acabit que l'énigme d'Einstein, le QCM de Propp, les sudoku, l'énigme des chapeaux. Au final ce sont juste des instances du problème SAT décorées d'une histoire amusante

Pas très compliqué.

Allez, j'ai mis 1/4 d'h.

Ouais franchement c'est pas si dur que ça en a l'air

Un problème de logique n'est pas fait pour être compliqué. Puisque d'une proposition initial découle d'une autre, jusqu'a tomber sur la proposition finale.
Un système logique ne peut se compliquer qu'en augmentant le nombre d'étape (cad le nombre de prop. intermédiares nécessaire pour aboutir à la prop. final)0 Mais en réalité cela ne fait que augmenter le temps de résolution et non pas la difficulté.
Ensuite on peut le compléxifier artificiellement (en l'entourant d'une "histoire" comme ici, ou en lorsqu'il y a beaucoup de prop. initiale qui ne sont pas donné dans un odre pertinent comme le QCM de Propp.

Il n'empéche qu'il y a toujours une petite magie qui opére dans ce genre de problème, ou au début la solution semble impossible à trouver. Et lorsqu'on l'a trouve la satisfaction laisse souvent place à la déception, et on se dit que au final c'était pas compliqué. Un peu comme si on vous expliquer un tour de magie, c'est toujours décevant.

Mathematiquement cette enigme revient à dire
-qu'il y a 10 éléments
-et qu'on cherhce un élément appartenant à 3 ensemble

au final on se rend compte que seul un élément appatient à ces 3 ensemble
or faire 3 cercle autour de 10 points pour se rendre compte que seul un point est dans les 3 cercles en même temps c'est très simple.

La difficulté, ici, réside dans la définition des 3 ensembles, maquillés par des phrases sibyllines dans un premier temps, mais dont le sens s'éclaire si on prête un peu d'attention.

Le 14 avril 2015 à 23:31:57 nuntia a écrit :
Un problème de logique n'est pas fait pour être compliqué. Puisque d'une proposition initial découle d'une autre, jusqu'a tomber sur la proposition finale.
Un système logique ne peut se compliquer qu'en augmentant le nombre d'étape (cad le nombre de prop. intermédiares nécessaire pour aboutir à la prop. final)0 Mais en réalité cela ne fait que augmenter le temps de résolution et non pas la difficulté.

C'est une définition un peu simpliste de la "difficulté" d'un problème, dans ce cas là on pourrait dire que le grand théorème de Fermat n'est "pas difficile à démontrer", car il suffit d'essayer exhaustivement toutes les démonstrations possibles, et qu'on finira bien par en trouver une qui marche Au final le temps de résolution entre bien en compte dans la notion de difficulté.

Ca me rappelle un article intéressant de Girard à ce sujet : http://www.larecherche.fr/savoirs/dossier/2-jean-yves-girard-plus-difficile-est-formuler-probleme-01-04-2007-89058