Nous sommes 200 forumeurs
100 qlf
100 descos
Un forumeur est soit qlf, soit desco, soit kikoojap, mais il a exactement une seule de ces trois caractéristiques
Un forumeur ne peut pas savoir ce qu'il est, mais connaît ce qu'est tous les autres forumeurs
Chaque jour à minuit un forumeur qui sait ce qu'il est quitte le forum
Les forumeurs ne communiquent jamais entre eux
Les forumeurs constatent qui sont partis, et ceci le jour d'après
Les forumeurs sont infiniment intelligents (ils raisonnent parfaitement), et connaissent les règles que j'ai énoncé ici

Un jour à midi un kikoojap arrive sur le forum et déclare qu'il y a au moins un qlf sur le forum. Oui cela apporte de l'information aux parfaits logiciens qu'ils sont

Qui quitte le forum et quand ?

C'est difficile

Je donnerais la formulation originale un peu plus tard si vous voulez google

C'est à vous