Problem kapeluszy
Rozważmy następujący problem, zwany problemem kapeluszy (ang. hat problem). Do pokoju wchodzi osób i każdej z nich losowo zostaje nałożony niebieski lub czerwony kapelusz. Każdy widzi kapelusze pozostałych osób, ale nie widzi swojego. Żadna komunikacja nie jest dozwolona, z wyjątkiem ustalenia strategii przed rozpoczęciem gry...
Po spojrzeniu na kapelusze pozostałych każdy gracz zgaduje, jaki kolor ma jego kapelusz, lub rezygnuje z próby zgadnięcia. Odpowiedzi są udzielane w taki sposób, że pozostali gracze ich nie słyszą oraz nie dowiadują się, czy odpowiadający próbował zgadnąć, czy zrezygnował i czy odpowiedź była poprawna. Uczestnicy grają całą drużyną, która wygrywa, jeżeli co najmniej jedna osoba poprawnie odgadnie kolor swojego kapelusza i nikt inny nie poda błędnej odpowiedzi. W przeciwnym przypadku drużyna przegrywa.
Problem kapeluszy z siedmioma osobami został sformułowany przez Todda Eberta w jego rozprawie doktorskiej [1] i nazwany tam „problemem siedmiu więźniów”. Noga Alon [2] podał ograniczenie dolne na szansę sukcesu dla uogólnionego problemu kapeluszy z osobami i kolorami. Po konferencji w Nowym Orleanie, dzięki której problem kapeluszy zdobył zainteresowanie matematyków, a także mediów, w artykule w The New York Times [3] przedstawiono problem kapeluszy z trzema osobami i jego związek z teorią kodów Hamminga. Problem kapeluszy ma powiązania z wieloma zagadnieniami informatycznymi i matematycznymi, na przykład z programowaniem liniowym, programowaniem genetycznym, aproksymacją funkcji boolowskich oraz autoredukowalnością ciągów losowych, a także znajduje zastosowania w innych dziedzinach nauki, między innymi w biologii i ekonomii.
Problemem tym zainteresowałem się, czytając artykuł w Delcie (zob. [4]). W tym artykule problem kapeluszy został przedstawiony w kontekście kodów Hamminga i tzw. kodów wykrywających błędy, dzięki którym możemy, na przykład, korzystać z płyty CD pomimo zarysowań. W kolejnym artykule dotyczącym tego zagadnienia (zob. [5]) przedstawiono pewne modyfikacje problemu wraz z rozwiązaniami. Autor zachęcał również czytelników do zmierzenia się z problemem kapeluszy z trzema kolorami i osobami. Najprostszy przypadek, czyli zadanie z trzema osobami i trzema kolorami, rozwiązujemy w niniejszym artykule. Jak dotąd, nie jest znane rozwiązanie problemu dla żadnej liczby osób przy trzech kolorach kapeluszy.
Rozpatrujemy problem kapeluszy z trzema osobami (Alicja, Bartek i Marek) i trzema kolorami (czerwony, niebieski i zielony). Podamy strategię dla tego problemu i udowodnimy, że jest ona optymalna.
Strategia
Alicja, Bartek i Marek postępują następująco.
- Alicja: jeśli Alicja widzi, że Bartek i Marek mają kapelusze różnych kolorów, to stwierdza, że ma kapelusz takiego koloru jak Marek. Jeśli zaś Bartek i Marek mają kapelusze tego samego koloru, to rezygnuje z odpowiedzi.
- Bartek: jeśli Bartek widzi, że Alicja i Marek mają kapelusze różnych kolorów, to stwierdza, że ma kapelusz takiego koloru jak Marek. Jeśli zaś Alicja i Marek mają kapelusze tego samego koloru, to rezygnuje z odpowiedzi.
- Marek: jeśli Marek widzi, że Alicja i Bartek mają kapelusze tego samego koloru, to stwierdza, że ma kapelusz takiego koloru jak oni. Jeśli zaś Alicja i Bartek mają kapelusze różnych kolorów, to rezygnuje z odpowiedzi.
Udowodnimy, że powyższa strategia jest optymalna, czyli nie istnieje żadna lepsza strategia (deterministyczna).
W naszych rozważaniach przez przypadek rozumiemy konkretny układ kapeluszy na głowach graczy. W badanym przez nas problemie kapeluszy z trzema osobami i trzema kolorami jest możliwych przypadków. Przez sytuację, którą widzi dana osoba, rozumiemy układ kapeluszy na głowach wszystkich osób poza tą jedną. W rozwiązywanym przez nas problemie każdy widzi jedną z możliwych sytuacji.
Twierdzenie 1. Powyższa strategia jest optymalna dla problemu kapeluszy z trzema osobami i trzema kolorami.
Dowód. Naszą strategię łatwo przedstawić za pomocą tabeli. Poniżej podaliśmy kilka przykładowych wierszy tabeli dla naszej strategii. Zachęcamy do samodzielnego wypisania dalszych wierszy, co ułatwi analizę dowodu. W poniższej tabeli przez c, n i z oznaczamy odpowiednio kolor czerwony, niebieski i zielony. Znak „ ” oznacza poprawną odpowiedź lub sukces, znak „ ” oznacza błędną odpowiedź lub porażkę, a puste pole oznacza rezygnację z odpowiedzi. Po utworzeniu całej tabelki dowiadujemy się, że drużyna wygrywa w spośród przypadków.
Weźmy dowolną sytuację widzianą przez osobę wybraną dowolnie z trójki graczy. Udzielona odpowiedź zależy tylko od sytuacji – jest taka sama we wszystkich przypadkach odpowiadających tej sytuacji. Wobec tego w dwóch z trzech przypadków odpowiadających ustalonej sytuacji odpowiedź osoby jest błędna, a w jednym jest poprawna. Czyli każda osoba może udzielić odpowiedzi na pytanie o kolor swojego kapelusza w co najwyżej sytuacjach, bo jeśli ktoś odpowiada w co najmniej sytuacjach, to drużyna przegrywa w co najmniej przypadkach, czyli strategia nie jest lepsza od naszej.
Skoro mamy trzy osoby, a każda z nich udziela odpowiedzi na pytanie o kolor swojego kapelusza w co najwyżej pięciu sytuacjach, a każda z tych odpowiedzi jest poprawna w dokładnie jednym przypadku, to drużyna wygrywa w co najwyżej przypadkach. Jest to sprzeczne z założeniem, że stosując rozpatrywaną strategię, drużyna wygrywa w więcej niż przypadkach.
Czytelników serdecznie zachęcamy do prób rozwiązania póki co nierozwiązanego problemu kapeluszy z czterema osobami i trzema kolorami.