Kostka Rubika i cztery barwy
Jak podaje gazeta.pl amerykańscy matematycy rozwiązali ostatecznie problem kostki Rubika. Okazuje się że do poprawnego jej ułożenia wystarczy nie więcej niż 20 (prawidłowych) ruchów. „Walka” z problemem trwała 30 lat. Precyzyjne matematycznie rozwiązanie udało się znaleźć dopiero po zastosowaniu do obliczeń super szybkich komputerów.
Przypominam, że kostka Rubika ma już 36 lat. W połowie lat 70-tych gdy się rodziła, pojawił się także pierwszy dowód matematyczny wykorzystujący obliczenia komputerowe (Twierdzenie o czterech barwach).
Pytanie czy matematycy nie mają nic ciekawszego do roboty? Ale nie ulegajmy złudzeniom. „Kostka Rubika” to tylko ładna nazwa problemu, pod którym kryje się dość złożony problem matematyczny. Obliczenia potrzebne do dowodu były na pewno okazją do testowania skomplikowanych technik obliczeniowych.
