Eliminacja dominacji
Amerykański filozof Max Black jest autorem zadania zamieszczonego po raz pierwszy w wydanej w 1946 roku książce „Critical thinking” i uchodzącego dziś za niemal klasyczne:
Czy można kamieniami domina pokryć szachownicę (8×8), z której usunięto dwa narożne pola, leżące na końcach tej samej przekątnej (zakładamy, że kamień domina pokrywa dokładnie dwa pola)?
Po usunięciu pary pól do dyspozycji pozostają 62 pola, więc wydaje się, że 31 kamieni umożliwi pokrycie. Wystarczy jednak zauważyć, że usunięto 2 pola takiego samego koloru (A), zatem pozostało 30 pól A i 32 pola B, zaś każdy kamień domina zasłania jedno A i jedno B. Stąd już tylko krok do odpowiedzi: „nie można”.
Logiczną konsekwencją powyższego zadania wydaje się następujące: czy pokrycie szachownicy dominem będzie możliwe po usunięciu jednego pola białego i jednego czarnego? Nietrudno dowieść, że jest to zawsze możliwe.
Zatem idźmy dalej: czy uda się „zdominować” szachownicę pozbawioną 4 pól – 2 białych i 2 czarnych? W tym przypadku odpowiedź twierdząca wymaga uzupełnienia pytania dodatkowym warunkiem: zubożona o 4 pola szachownica powinna pozostać spójna, czyli nie można np. usunąć dwóch białych pól przy czarnym rogu, odcinając tym samym ów róg – chyba że ten róg także uznamy za odcięty. Spójność wystarcza, aby „dominacja” na 60 polach była zawsze możliwa. A czy będzie możliwa na 58 polach po usunięciu trzech pól białych i trzech czarnych – oczywiście przy zachowaniu spójności planszy? Okazuje się, że teraz dominację łatwo uniemożliwić, ale tylko (? brak dowodu) wtedy, gdy przynajmniej jedno z usuniętych pól znajdzie się przy brzegu szachownicy. Wówczas wystarczy ograniczyć się do wskazania trzech pól jednego koloru, bo już ich rozmieszczenie skutecznie blokuje obsadzanie wszystkich pól kamieniami. Taką blokadę stanowią np. układy b3-c2-b1 lub b3-c2-d1.
Kolej na pytanie finałowe: ile co najmniej białych i czarnych pól – tyle samo jednych i drugich – należy usunąć z szachownicy 8×8, aby pokrycie wszystkich pozostałych pól kamieniami domina nie było możliwe? Ale warunki dodatkowe są tym razem dwa:
– pierwszy tradycyjny – zachowana musi być spójność pozostałej części szachownicy
– drugi „nowoczesny” – nie wolno usunąć żadnego pola brzegowego, czyli „dziury” mogą pojawić się tylko w środku.
Ustaloną liczbę proszę wesprzeć wskazaniem konkretnych odrzuconych pól.
Komentarze z prawidłowym rozwiązaniem ujawniane są wieczorem w przeddzień kolejnego wpisu (z błędnym zwykle od razu). Wpisy pojawiają się co 7 dni.
Komentarze
Rozwiązanie na obrazku ma większą liczbę usuniętych czarnych pól niż białych, ale można dodatkowo usunąć cztery białe i wtedy będzie ich tyle samo co czarnych.
(Oczywiście pamiętamy o tym, żeby nie utracić spójności).
https://www.fotosik.pl/zdjecie/062d7988b8da5ccc
https://www.fotosik.pl/zdjecie/ecb8e47c3d72ecc1
Rozwiązanie lepsze od poprzedniego, które było na rozgrzewkę 😉
(Zaznaczyłem tylko cztery kluczowe, usunięte pola – należy uzupełnić dowolnymi białymi , poza zaznaczonymi czerwonymi kropkami + uwaga na spójność)
Czyli chyba tylko tyle można osiągnąć? (4+4), bo dla rozwiązań „brzegowych” mamy 3+3.
8 (4 białe i 4 czarne) to najmniejsza ilość pól, po usunięciu których nie można pokryć wszystkich pozostałych pól kamieniami domina.
Można to zrobić np. tak
b2;b4;c3;c5;e6;f5;g4;g6
Aby było tylko jedno pokrycie
b2;b4;c3;c5;e4;f3;f5;g6
b2;b4;c3;c5;e4;f5;g4;g6
Próbowałem usunąć tylko 6 pól – bez powodzenia.
8: b2, b4, c3, d2
Four cuts suffice – że sparafrazuję okolicznościowy stempel poczty USA z 1976r. – „Four colors suffice”. To całkiem a propos, bo do przeprowadzenia dominoacji wystarczą 4-kolorowe klocki domina bez oznaczeń liczbowych. Proponuję też bardziej precyzyjne określenie – dominoacja, zamiast „dominacja”.
Usunięcie np. 4 ciemnych pól b4; b2; c3; d2 wymusi postawienie klocków (pardon my French) a3-b3 oraz c1-c2, które pozostawią wyspę 3 pól a1,a2,b1, która nie da się zdominoować. Jasne 4 pola można usunąć dowolnie, aby tylko nie zgubić spójności, Np. można symetrycznie: b7; b5; c6; d7, aby jeszcze wzmocnić dedominoację.
https://imgur.com/a/5hFXXLs
4 czarne (i 4 białe)
Np. można usunąć czarne g5, f4, g3, f2 oraz białe f5, e4, f3, e2.
http://ersonasolidna.pl/lamiblog/20210612_Eliminacja_dominacji/20210612_Eliminacja_dominacji.png
58 pól – Wydaje mi się, że układ b3-c2-b1 uzupełniony polami c3-b2-c1 nie blokuje dominacji. Jakiegoś warunku brakuje.
Nie chodzi o to, że można dominację umożliwić, tylko że można ją uniemożliwić.
mp
W tradycyjnym 6 pól; w nowoczesnym 8 pól.
https://www.fotosik.pl/zdjecie/1cf07085ff288c60
@Timon
@Gospodarz
„Taką blokadę stanowią np. układy b3-c2-b1 lub b3-c2-d1.”
Sedno leży w słowie „lub”.