Mercredi 18 Juillet 2007 à 23:34
#76
Pour l'énigme des cocues : mieux vaut toujours commencer par des cas simples.
Oublions les 159 cocues, et faisons comme s'il n'y en avait qu'une.
Le jour 0, elle apprend qu'il y a des cocues ; or il n'y a aucune autre cocue, donc c'est elle, et elle égorge son mari, qui se retrouve sur la place le jour 1.
S'il y avait 2 cocues exactement, le jour 0, chacune sachant qu'il y a une autre cocue, n'est pas sûre d'être cocue : elle ne fait donc rien, et voit le lendemain qu'aucun mari n'est égorgé. Cela signifie que l'autre femme cocue ne sait pas elle-même qu'elle est cocue, donc qu'il y a une autre femme qui est cocue. Puisqu'il ne peut y en avoir que deux (chacune sachant qu'il n'y en a qu'une autre), les deux femmes savent qu'elles sont cocues, donc tuent leurs maris respectifs qui sont exposés sur la place le jour 2.
Maintenant, le cas général, à n cocues.
Le jour 0, les femmes apprennent qu'il y a des cocues. Chacune des cocues sait qu'il y a n-1 autres cocues. Au jour 0, aucune femme n'est sûre d'être cocue, donc aucun mari mort le jour 1. Toujours pas sûres d'être cocues, aucune femme ne tue son mari : le nombre minimal de cocues est de 2 (sinon, il y aurait eu un mari mort le jour 2 ; bien sûr, chaque femme sait qu'il y a plus de cocues, et c'est pour ça qu'elles ne tuent pas leurs maris). Au jour n-2, aucune femme n'est encore sûre d'être cocue, donc aucune ne tue qui que ce soit. Mais toutes savent, en suivant le raisonnement précédent, qu'il y a au moins n-1 cocues. Puis au jour n-1, les femmes savent qu'il y a au moins n cocues (puisqu'il n'y a toujours pas de mari mort) : chaque femme connaissant exactement l'existence de n-1 autres cocues, elle apprend qu'elle est cocue, et tous les maris sont tués dans la nuit du n-1.ème au n.ème jour.
Le matin du 159ème jour, il y a bien 159 maris égorgés s'il y avait 159 cocues.
[ Dernière modification par fastgic le 18 jui 2007 à 23h45 ]
Oublions les 159 cocues, et faisons comme s'il n'y en avait qu'une.
Le jour 0, elle apprend qu'il y a des cocues ; or il n'y a aucune autre cocue, donc c'est elle, et elle égorge son mari, qui se retrouve sur la place le jour 1.
S'il y avait 2 cocues exactement, le jour 0, chacune sachant qu'il y a une autre cocue, n'est pas sûre d'être cocue : elle ne fait donc rien, et voit le lendemain qu'aucun mari n'est égorgé. Cela signifie que l'autre femme cocue ne sait pas elle-même qu'elle est cocue, donc qu'il y a une autre femme qui est cocue. Puisqu'il ne peut y en avoir que deux (chacune sachant qu'il n'y en a qu'une autre), les deux femmes savent qu'elles sont cocues, donc tuent leurs maris respectifs qui sont exposés sur la place le jour 2.
Maintenant, le cas général, à n cocues.
Le jour 0, les femmes apprennent qu'il y a des cocues. Chacune des cocues sait qu'il y a n-1 autres cocues. Au jour 0, aucune femme n'est sûre d'être cocue, donc aucun mari mort le jour 1. Toujours pas sûres d'être cocues, aucune femme ne tue son mari : le nombre minimal de cocues est de 2 (sinon, il y aurait eu un mari mort le jour 2 ; bien sûr, chaque femme sait qu'il y a plus de cocues, et c'est pour ça qu'elles ne tuent pas leurs maris). Au jour n-2, aucune femme n'est encore sûre d'être cocue, donc aucune ne tue qui que ce soit. Mais toutes savent, en suivant le raisonnement précédent, qu'il y a au moins n-1 cocues. Puis au jour n-1, les femmes savent qu'il y a au moins n cocues (puisqu'il n'y a toujours pas de mari mort) : chaque femme connaissant exactement l'existence de n-1 autres cocues, elle apprend qu'elle est cocue, et tous les maris sont tués dans la nuit du n-1.ème au n.ème jour.
Le matin du 159ème jour, il y a bien 159 maris égorgés s'il y avait 159 cocues.
[ Dernière modification par fastgic le 18 jui 2007 à 23h45 ]
Modérateur analyses, combos et cartes.
