🔢 Hipoteza Collatza

Hipoteza Collatza mówi, że dla każdej dodatniej liczby całkowitej n wielokrotne stosowanie reguły n/2 (gdy n jest parzyste) lub 3n+1 (gdy n jest nieparzyste) ostatecznie doprowadzi do wartości 1. Ciąg liczb powstający po drodze nazywa się ciągiem gradowym, ponieważ wartości rosną i maleją w sposób nieregularny, zanim spadną do 1. Mimo że została zweryfikowana obliczeniowo dla wszystkich liczb aż do około 2^68, hipoteza pozostaje nieudowodniona w ogólności.

Wpisz liczbę początkową w polu tekstowym lub przeciągnij suwak, a następnie obserwuj, jak widok Sekwencji rysuje pełną trajektorię gradową na wykresie w skali logarytmicznej. Użyj przycisku Animuj, aby przechodzić przez trajektorię klatka po klatce. Przełącz się na zakładkę Mapa cieplna, aby zobaczyć czasy zatrzymania dla wszystkich liczb w wybranym zakresie, kolorowane od niebieskiego (krótki) do czerwonego (długi). Zakładka Drzewo pokazuje odwrócone drzewo Collatza, ukazujące, jak liczby zbiegają do 1 — cyjanowe krawędzie podświetlają ścieżkę Twojej aktualnej liczby początkowej.

Zaczynając od 27, ciąg osiąga szczyt 9232, zanim po 111 krokach ostatecznie opadnie do 1 — dramatyczny wybieg jak na tak małą liczbę początkową. Dzieje się tak, ponieważ reguła 3n+1 zastosowana do liczb nieparzystych może chwilowo znacznie zwiększać wartości powyżej liczby początkowej, podczas gdy dzielenia przez 2 powoli sprowadzają je z powrotem w dół. Stosunek wartości maksymalnej do liczby początkowej dla n=27 wynosi około 342, co czyni ten przykład jednym z najbardziej uderzających w zakresie małych liczb.

Czas zatrzymania liczby n to liczba iteracji reguły Collatza potrzebnych, zanim ciąg po raz pierwszy osiągnie 1. Badanie czasów zatrzymania ujawnia strukturę przypominającą fraktal: sąsiednie liczby całkowite mogą mieć skrajnie różne czasy zatrzymania, co widać na mapie cieplnej. Średni czas zatrzymania rośnie w przybliżeniu jak log(n), ale poszczególne wartości wahają się ogromnie.

Na rok 2026 hipoteza Collatza pozostaje nieudowodniona. W 2019 roku Terence Tao opublikował przełomową pracę pokazującą, że niemal wszystkie ciągi Collatza rzeczywiście osiągają 1 w precyzyjnym sensie probabilistycznym, ale pełny dowód dla każdej dodatniej liczby całkowitej wciąż nie istnieje. Nigdy nie znaleziono kontrprzykładu mimo wyczerpujących poszukiwań komputerowych obejmujących liczby aż do 2^68.

Powszechnym błędnym przekonaniem jest to, że skoro hipoteza została zweryfikowana dla bilionów liczb, musi być prawdziwa i potrzebuje tylko rutynowego dowodu. W rzeczywistości istnieje wiele hipotez teorii liczb, które są prawdziwe dla ogromnych zakresów, ale ostatecznie zawodzą. Zachowanie ciągu wydaje się autentycznie chaotyczne, bez oczywistej struktury algebraicznej, która pozwoliłaby na dowód przez indukcję lub prostą analizę.

Lothar Collatz, niemiecki matematyk, jest uznawany za pierwszą osobę, która postawiła ten problem około 1937 roku, choć mógł rozważać go już w 1932 roku. Hipoteza rozprzestrzeniła się w kręgach matematycznych głównie ustnie i pojawiała się pod wieloma nazwami, w tym problem Syrakuz, problem Kakutaniego i problem Ulama, co odzwierciedla, jak niezależnie była odkrywana wielokrotnie.

Hipoteza Collatza jest związana z badaniem odwzorowań iterowanych i układów dynamicznych na liczbach całkowitych. Powiązane problemy obejmują uogólnione hipotezy 3n+k oraz problem 5n+1, dla którego rzeczywiście znane są ciągi rozbieżne. Badacze eksplorowali także powiązania z teorią ciągów automatycznych i liczbami p-adycznymi.

Problem Collatza nie jest wykorzystywany w praktycznej technologii, ale ma istotne powiązania z teoretyczną informatyką jako jeden z pierwszych przykładów algorytmu, którego zatrzymanie nie może zostać udowodnione wyłącznie na podstawie jego specyfikacji. Niektóre kryptograficzne funkcje skrótu i generatory liczb pseudolosowych zostały zainspirowane właściwościami mieszającymi chaotycznych odwzorowań całkowitoliczbowych podobnych do Collatza.

Obecne badania obejmują probabilistyczne podejście Tao z 2019 roku, które dowiodło, że dla dowolnej funkcji dążącej do nieskończoności niemal wszystkie orbity Collatza osiągają wartości poniżej tej funkcji. Inni badacze eksplorują powiązania z teorią ergodyczną i geometrią tropikalną. Niektórzy matematycy podejrzewają, że hipoteza może być nierozstrzygalna w standardowych systemach aksjomatycznych, co oznaczałoby, że może być prawdziwa, ale niemożliwa do udowodnienia.