aBlog

In a certain village on the remote plains of Fornicalia there exist some men who are having affairs with the wives of other men. Now there is a gruesome custom in this village which requires a woman to kill her husband the morning after she discovers that he is having an affair with another woman. It also happens that every woman knows whether every other man is having an affair or not except her own husband.¹ So life in this village goes on peacefully since no woman can know for sure that her own husband is cheating on her. Unfortunately, an Oracle from the pure and untainted shores of distant Stobon visits the village one day and proclaims that at least one man in this village is having an affair. What happens after this?

Readers are urged to think of a solution themselves before proceeding further. We first present the solution and its proof and finally go on to discuss the information theoretic aspects of this remarkable problem.² A similar treatment of this and some other aspects of the puzzle can also be found in Moses et al. (1986) and Halpern and Moses (1990), both of which also cite other sources where further discussion of the topic can be found.