Another protocol problem: "The Greek Village Problem"
(please note, there is no intended or implied
sexism or sterotyping in this question.
It is a traditional problem in logic).
In a certain ancient Greek village there are a large number of
pairs of married men and women.
Each man is married to only one woman and each woman to only one man.
All the Greek women love to gossip and will tell everything to any other woman,
but will only convey gossip to their husbands, and to no other men.
All the Greek men are very macho and,
although they absorb all gossip told to them by their wives,
they do not pass any gossip on to any other men or women,
nor ask any "gossipy" questions of their own wives.
Unfaithfulness is rife in this village.
Naturally,
no woman will tell her husband that she is being unfaithful as,
by an old Greek tradition,
upon learning that his wife is unfaithful,
a Greek man may kill his wife at sunset that very day.
Thus, no man hears that his wife is being unfaithful.
The unfaithfulness runs rampant until,
one day,
Artemis the Greek God of Chastity decides to put a stop to it.
Artemis decides to implant one piece of knowledge
in the heads of all Greek men -
"There is at least one unfaithful woman in the village".
What happens?
Is Artemis appeased?
Again, what has this problem got to do with computer networks?
