一個公司里有 n 個員工,其中某些員工之間有「好友」的關係(這是一個對稱的關係)。每天早晨來到公司,員工們都會從茶和咖啡中選擇一樣作為早飲。此時,每個員工都會觀察自己的朋友們都在喝啥:如果超過一半的人都在喝茶,第二天他自己也會跟著喝茶;如果超過一半的人都在喝咖啡,第二天他自己就會跟著喝咖啡;如果喝茶喝咖啡的人數各佔一半(僅當他有偶數個朋友時才會發生這種情況),則第二天他的決策不變,繼續喝自己今天喝的東西。
由於 n 個員工一共只能產生 2n 種不同的早飲組合,因此總有一天大家喝的東西會和過去的某一天一模一樣,從而產生循環。證明:循環的長度不超過 2 。