CC BY
60Научно-образовательный журнал для студентов и преподавателей «StudNet» №7/2021
ЧИСЛО ГРЭМА
THE GRAHAM NUMBER
УДК 511
Туманова Анастасия Александровна, курсант, МосУ МВД России им. В. Я. Кикотя, Россия, г. Москва
Путилов Артур Олегович, Старший преподаватель кафедры, ЕНД УНК ИТ МосУ МВД России им. В. Я. Кикотя, 10.05.05 - Безопасность информационных технологий в правоохранительной сфере
A.A. Tumanova A.O. Putilov
Аннотация
В статье рассматривается Число Грэма — это огромное число, которое является верхней границей для решения некой проблемы в теории Рамсея. Является некоторой очень большой степенью тройки, которая записывается с помощью нотации Кнута. Названо в честь Рональда Грэма.
Число Грэма в невообразимое количество раз больше, чем другие хорошо известные большие числа, такие, как гугол, гуголплекс и даже больше, чем число Скьюза и число Мозера. На самом деле вся наблюдаемая вселенная слишком мала для того, чтобы вместить в себя обыкновенную десятичную запись числа Грэма.
Annotation
The article considers the Graham Number — which is a huge number that is an upper bound for solving a certain problem in Ramsey theory. Is some very large
1873
power of a triple, which is written using Knuth notation. Named after Ronald Graham.
The Graham number is an unimaginable number of times larger than other well-known large numbers, such as googol, googolplex, and even more than the Skuse number and the Moser number. In fact, the entire observable universe is too small to accommodate an ordinary decimal notation of the Graham number.
Ключевые слова: Число Грэма, теория Рамсея, большие числа, комбинаторика, стрелочная нотация Кнута.
Keywords: Graham number, Ramsey theory, large numbers, combinatorics, Knuth arrow notation.
Для того чтобы понять суть числа Грэма, для начала стоит осознать, как его получили. Число Грэма возникло в работе решения задачи в теории Рамсея. Эти задачи на комбинаторику, который придумал математиком Франком Рамсеем. Смысл в том, что берётся любая математическая фигура и предлагается условие, которое должно выполниться. Также существует какой-то n-мерный гиперкуб. Все пары его вершины должны соединиться так, чтобы получился полный граф с 2n вершинами. Каждое его ребро раскрашивают в синий или в красный цвет (рис. 1). Надо найти, какое наименьшее число вершин должно быть у гиперкуба, чтобы каждый такой рисунок содержал полный одноцветный подграф с 4 вершинами, лежащими в одной плоскости
(рис. 2).
Рис. 1. Раскрашенные рёбра фигуры с 4 вершинами
Рис. 2. Одноцветный подграф
1874
Грэм не смог математически доказать вероятность выполнения условий задачи в семимерном, восьмимерном, девятимерном и других кубах. Но вот это «и других» оказалось, что не уходит в бесконечность, а уходит в число Грэма.
В 1971 году Грэм доказал, что существует решение (количество размерности), оно проходит между числом 6 и некоторым большим числом. В 2008 году усовершенствовали доказательство, теперь искомое количество размерностей стало проходить между числом 13 и числом Грэма.
В 1980-ом году его внесли в книгу рекордов Гиннесса, как "самое большое число, когда-либо участвовавшее в строгом математическом доказательстве" в то время.
Попробуем понять насколько оно велико. Самое большое число, которое имело некий физический смысл 10А185 - объём видимой вселенной с точки зрения планковских величин.
Для начала приступим к числу намного меньше, чем число Грэма. Это маленькое число назовём g1 и запишем его шестью знаками:
gl = 3|ТТТ3
Число g1 равно "три, четыре стрелочки, три". Что это означает? Это способ записи, называемый стрелочная нотация Кнута. Можно прочитать в Википедии в деталях - там формулы. Для простого понятия объясню своими словами.
Одна стрелочка - это обыкновенное возведение в степень. 2|2 = 22 = 4 3|3 = 33 = 27 5|5 = 55 = 3125 10|10 = 1010 = 10 000 000 000
Две стрелочки означают возведение в степень степени. 2||3 = 2|2|2 = 222 = 24 = 16
3Ц3 = 3|3|3 = 333 = 327 = 7 625 597 484 987 (больше 7 триллионов)
1875
3Ц4 = 3|3|3|3 = з333 = з7 625 597 484 987 = число, в котором около 3 триллионов цифр
3Ц5 = 3Т3|3Т3|3 = 33333 = з37 625 597 484 987 = 3 в степени числа, в котором 3 триллиона цифр
В общем, "число, две стрелочки, другое число" показывает, какая высота степеней (математики говорят "башня") выстраивается из первого числа. Например 5Ц8 представляет собой башню из восьми пятерок и оно настолько велико, что не может быть рассчитано ни на одном компьютере.
Итак, три стрелочки. В случае тройки у нас есть три высоты башни (в математике такого понятия нет, поэтому для простоты я его назвала "три башни"). Выглядит оно так:
То есть 3|Ц3 образует три башни из троек, высотой в 7 триллионов штук. Что это означает? Например, от Земли до Сатурна 100 триллионов сантиметров, но три башни — это не число длиной от Земли до Марса, это башня степеней такой высоты.
Рис. 3. Башня степеней
Теперь ясно, что 3|||4 = 3|Т3ТТ3Т|3 = 3||3ТТ7 625 597 484 987 = 3Ц три башни, (не три в степени три башни, а "три, две стрелочки, три
1876
башни"(!)).
На 3|Ц5 = ЭЦЭЦЭЦЭЦЭ заканчиваются слова, а на 3Ц|6 = ЭЦЭЦЭЦЭЦЭЦЭ в принципе невозможно описать.
Теперь, четыре стрелочки. Просто приведу картинку, на которой схема вычисления четырех стрелочек, когда каждое следующее число башни степеней определяет высоту башни степеней, определяющую высоту башни степеней и так далее.
Рассчитывать его смысла нет, всё равно не получится. Это число невозможно описать или представить. Если с тремя стрелочками еще хоть что-то можно было сказать, нарисовать три башни от Земли до Марса или как-то с чем-то соотнести, то тут сравнений просто нет.
Вот, что такое gl, что такое 3ЦЦ3.
Вернёмся к числу Грэма. Каждый раз оно увеличивается от стрелочки к стрелочке?
3|3 = 27
3Ц3 = 7 625 597 484 987
3|Ц3 = башня, высотой от Земли до Марса.
3ЦЦ3 = число, которое невозможно ни представить ни описать. А представьте какие цифры будут потом, когда стрелок окажется семь, пятнадцать, сто.
1877
Есть такое число как g2, в котором количество этих стрелок оказывается
равно
Так же есть ещё gз, в котором содержится g2 стрелок. gз, это не §2 "в степени" g2, а количество трёх башен, определяющих высоту трёх башен и так далее.
Ещё имеется число g4, в котором содержится g3 стрелочек между тройками. И так же существуют g5, §6 и g7 и gl7 и g43...
В целом этих g 64 штуки. Каждое предыдущее численно равно количеству стрелок в следующем. Последнее g 64 и является числом Грэма. Это число размерностей гиперкуба, которого будет достаточно, чтобы правильно раскрасить отрезки красным и синим цветами. Может и меньше, это, можно просто сказать, верхняя граница. Ее записывают следующим образом:
а расписывают так:
Существует теория о том, весьма эфемерная и философская, что всё, что человек мог себе представить или вообразить обязательно, когда-нибудь воплотится. Потому что развитие цивилизации определяется по тому, насколько она смогла воплотить в реальность фантазии прошлого.
Возможно через некоторое время человек либо дотянется до числа Грэма, либо дотронется до него рукой, либо ещё чего у него получится с ним сделать.
1878
ЗАКЛЮЧЕНИЕ
Итак, число Грэма - это огромное число, которое является тонкой
линией для решения конкретной проблемы в теории Рамсея. И является очень
большой степенью тройки, которая записывается с помощью нотации Кнута.
ЛИТЕРАТУРА
1. Грэм, Р. Л.; Ротшильд, Б. Л. (1971). «Теорема Рамсея для наборов n-параметров». Труды Американского математического общества 159: 257292. D01:10.2307/1996010. Явная формула для N приведена на стр. 290.
2. Грэм, Р. Л.; Ротшильд, Б. Л. (1978). «Теория Рамсея», Исследования по комбинаторике, Рота, Г.-Г., ред., Математическая ассоциация Америки, 17:80-99. На стр. 90, указывая «наилучшую доступную оценку» для решения, явная формула для N повторяется из статьи 1971 года.
3. Гарднер, Мартин (ноябрь 1977). «Математические игры». Scientific American 237: 18-28.; перепечатано (пересмотрено в 2001 году) в следующей книге
4. Гарднер Мартин "Колоссальная книга по математике: классические головоломки, парадоксы и проблемы". — Нью-Йорк, Нью-Йорк: Нортон, 2001. — ISBN 0393020231
5. Гарднер Мартин Пенроуз Выложил плитки для шифров Люка. — Вашингтон, округ Колумбия: Математическая ассоциация Америки, 1989. — ISBN 0-88385-521-6
6. Эксоо, Джеффри (2003). «Евклидова проблема Рамсея». Дискретная вычислительная геометрия 29
LITERATURE
1. Graham, R.L.; Rothschild, B.L. (1971). "Ramsey's theorem for sets of n-parameters". Proceedings of the American Mathematical Society 159: 257-292. DOI: 10.2307 / 1996010. An explicit formula for N is given on page 290.
2. Graham, R.L.; Rothschild, B.L. (1978). "Ramsey Theory", Studies in Combinatorics, Rota, G.-G., ed., Mathematical Association of America, 17: 80-
1879
99. On page 90, presents the "best available estimate" for the solution, the explicit formula for N is repeated from the 1971 article.
3. Gardner, Martin (November 1977). "Mathematical games". Scientific American 237: 18-28.; reprinted (revised 2001) in next book
4. Gardner Martin "The Colossal Book of Mathematics: Classic Puzzles, Paradoxes and Problems." - New York, NY: Norton, 2001.-- ISBN 0393020231
5. Gardner Martin Penrose laid out the tiles for Luke's ciphers. - Washington, DC: Mathematical Association of America, 1989. - ISBN 0-88385-521-6
6. Exoo, Jeffrey (2003). "Euclidean Ramsey problem". Discrete Computational Geometry 29
1880
