UK 
EnglishТипова
Polski🔢 Гіпотеза Коллатца
Досліджуйте гіпотезу Коллатца 3n+1: дерева траєкторій, довжина польоту й максимальні висоти для будь-якого стартового числа.
Про візуалізатор гіпотези Коллатца
Гіпотеза Коллатца — також відома як задача 3n+1 — одна з найвідоміших недоведених проблем математики. Починаючи з будь-якого додатного цілого числа, ви послідовно застосовуєте просте правило: якщо число парне, поділіть його на 2; якщо непарне, помножте на 3 і додайте 1. Отримана послідовність, що зветься «градовою» (hailstone), як здається, завжди досягає 1, але цього ще ніхто не довів для всіх додатних цілих чисел. Цей візуалізатор дозволяє простежувати окремі градові траєкторії, порівнювати час зупинки для сотень чисел за допомогою теплової карти та досліджувати дерево збіжності, що показує, які числа ведуть до 1.
Гіпотезу вперше досліджував Лотар Коллатц приблизно 1937 року, і відтоді вона привертала увагу багатьох провідних математиків, зокрема Пола Ердеша, який, за переказами, сказав: «Математика ще не готова до таких задач». Попри оманливо просте формулювання, гіпотеза Коллатца торкається глибоких ідей теорії чисел, динамічних систем і обчислювальної складності.
Часті запитання
Що таке гіпотеза Коллатца?
Гіпотеза Коллатца стверджує, що для будь-якого додатного цілого числа n, послідовне застосування правила n/2 (якщо n парне) або 3n+1 (якщо n непарне) врешті-решт дасть значення 1. Послідовність чисел, отриману в процесі, називають градовою послідовністю, оскільки значення хаотично зростають і спадають, перш ніж «впасти» до 1. Попри те, що гіпотезу перевірено обчислювально для всіх чисел приблизно до 2 у степені 68, у загальному вигляді вона залишається недоведеною.
Як користуватися цією симуляцією?
Введіть початкове число в поле вводу або перетягніть повзунок, після чого перегляд «Sequence» (Послідовність) відобразить повну градову траєкторію на графіку в логарифмічному масштабі. Скористайтеся кнопкою Animate, щоб покроково переглядати траєкторію кадр за кадром. Перемкніться на вкладку Heat Map (Теплова карта), щоб побачити час зупинки для всіх чисел до обраного діапазону, з кольоровим кодуванням від синього (короткий) до червоного (довгий). Вкладка Tree (Дерево) показує зворотне дерево Коллатца, розкриваючи, як числа сходяться до 1 — блакитні ребра підсвічують шлях вашого поточного початкового числа.
Чому послідовність для n=27 так високо здіймається, перш ніж впасти?
Починаючи з 27, послідовність досягає піку в 9 232 перед тим, як зрештою спуститися до 1 за 111 кроків — драматичний виліт для такого малого початкового числа. Це відбувається тому, що правило 3n+1, застосоване до непарних чисел, може тимчасово підсилювати значення далеко за межі початкового числа, тоді як ділення n/2 повільно повертає їх назад. Відношення максимального значення до початкового числа для n=27 становить близько 342, що робить його одним із найяскравіших прикладів у діапазоні малих чисел.
Що таке «час зупинки» і чому це важливо?
Час зупинки (також званий повним часом зупинки) числа n — це кількість ітерацій правила Коллатца, потрібних для того, щоб послідовність вперше досягла 1. Дослідження часу зупинки виявляє фракталоподібну структуру: сусідні цілі числа можуть мати надзвичайно різний час зупинки, як видно на тепловій карті. Математики аналізують час зупинки статистично — середній час зупинки зростає приблизно як log(n), але окремі значення сильно коливаються. Розуміння розподілів часу зупинки — один із підходів, які дослідники використовують, щоб з'ясувати, чи можна довести гіпотезу за допомогою ймовірнісних аргументів.
Чи доведено або спростовано гіпотезу Коллатца?
Станом на 2026 рік гіпотеза Коллатца залишається недоведеною. У 2019 році Теренс Тао опублікував знакову статтю, яка показує, що «майже всі» послідовності Коллатца врешті-решт досягають 1 у точному ймовірнісному сенсі, але повного доведення для кожного додатного цілого числа досі немає. Жодного контрприкладу не знайдено, попри вичерпні комп'ютерні пошуки, що охоплюють числа до 2 у степені 68. Ця проблема вважається однією з найвідоміших відкритих задач математики саме тому, що її формулювання настільки просте, а розв'язання, схоже, вимагає принципово нових математичних ідей.
Яка поширена хибна думка про гіпотезу Коллатца?
Поширена хибна думка полягає в тому, що оскільки гіпотезу перевірено для трильйонів чисел, вона просто мусить бути правдивою і потребує лише рутинного доведення. Насправді в теорії чисел є багато гіпотез, які виконуються для величезних діапазонів випадків, але зрештою не виконуються для якогось надзвичайно великого числа. Складність із Коллатцом у тому, що поведінка послідовності здається справді хаотичною — немає очевидного патерну чи алгебраїчної структури, яка дозволила б довести це індукцією чи простим аналізом. Сам по собі обсяг перевірених випадків не замінює математичного доведення.
Хто першим досліджував гіпотезу Коллатца і коли?
Лотар Коллатц, німецький математик, вважається автором, який першим сформулював цю задачу приблизно 1937 року, хоча, можливо, розглядав її ще 1932-го. Гіпотеза поширювалася математичними колами здебільшого усно і стала широко відомою після обговорення на міжнародних конференціях у 1950-х і 1960-х роках. Відтоді вона з'являлася під багатьма назвами: задача Сіракуз, проблема Какутані, проблема Улама та алгоритм Гассе, що відображає, наскільки незалежно її переоткривали різні дослідники. Назва «гіпотеза Коллатца» стала стандартною лише поступово.
Чи існують пов'язані математичні структури, дотичні до задачі Коллатца?
Гіпотеза Коллатца пов'язана з вивченням ітерованих відображень і динамічних систем на цілих числах. Дерево Коллатца, показане в цьому візуалізаторі, є прикладом структури бінарного дерева, де кожен вузол має унікального попередника за правилом «парності» (2n) і, можливо, другого попередника за правилом «непарності». До споріднених задач належать узагальнені гіпотези 3n+k та складніша задача 5n+1, для якої контрприклади (розбіжні послідовності) насправді відомі, що ілюструє, наскільки чутливі ці задачі до точного вибору правила. Також досліджувалися зв'язки з теорією автоматних послідовностей і p-адичних чисел.
Чи використовується гіпотеза Коллатца в обчислювальній техніці?
Сама задача Коллатца не застосовується в практичних технологіях, але вона має важливі зв'язки з теоретичною інформатикою. Це один із перших прикладів, з якими стикаються студенти, — алгоритм, чиє завершення неможливо довести лише з його специфікації, що безпосередньо стосується теорії обчислюваності та проблеми зупинки. Функцію Коллатца також вивчали як тест для арифметики довільної точності, оскільки «рекордні» початкові числа (як-от 837 799) породжують послідовності, що потребують дуже великих проміжних значень. Деякі криптографічні геш-функції та генератори псевдовипадкових чисел були натхненні змішувальними властивостями хаотичних цілочисельних відображень, подібних до Коллатца.
Які нинішні напрями досліджень гіпотези Коллатца?
Серед сучасних напрямів досліджень — ймовірнісний підхід Тао (2019), який довів, що для будь-якої функції, що прямує до нескінченності, майже всі орбіти Коллатца набувають значень, нижчих за цю функцію — найближче, наскільки хтось наблизився до повного доведення. Інші дослідники досліджують зв'язки з ергодичною теорією, тропічною геометрією та теорією аперіодичних мозаїк. Обчислювальні зусилля з використанням розподілених обчислень (як-от проєкт Collatz@Home) продовжують піднімати перевірений діапазон. Деякі математики підозрюють, що гіпотеза може бути невирішуваною в межах стандартних аксіоматичних систем, тобто вона може бути правдивою, але недоведеною, ставлячи її в один ряд із певними твердженнями, які вивчаються в основах математики.