Число Лихрела

редактировать
Нерешенная задача по математике:

Существуют ли какие-либо числа Лайкрела с основанием 10?

(больше нерешенных задач по математике)

Номер Lychrel является натуральным числом, которое не может образовывать палиндром через итеративный процесс многократно реверсирования его цифры и добавление полученного числа. Этот процесс иногда называют алгоритмом 196 по имени самого известного числа, связанного с процессом. В базовой десяти, нет числа Lychrel пока не доказано существование, но многое, в том числе 196, подозревается в эвристических и статистических основаниях. Имя «Личрел» было придумано Уэйдом Ван Лендингемом как грубая анаграмма имени его подруги «Шерил».

СОДЕРЖАНИЕ
  • 1 Процесс обратного добавления и добавления
    • 1.1 Формальное определение процесса
  • 2 Доказательства не найдены
  • 3 нити, начальные и родственные номера
  • 4 196 квест на палиндром
  • 5 Другие базы
  • 6 Расширение до отрицательных целых чисел
  • 7 См. Также
  • 8 ссылки
  • 9 Внешние ссылки
Обратный и добавочный процесс

Процесс обратного сложения производит сумму числа и числа, образованного путем изменения порядка его цифр на обратный. Например, 56 + 65 = 121. Другой пример: 125 + 521 = 646.

Некоторые числа быстро становятся палиндромами после многократного переворота и сложения и, следовательно, не являются числами Лихрела. Все однозначные и двузначные числа в конечном итоге становятся палиндромами после многократного переворачивания и сложения.

Около 80% всех чисел меньше 10 000 превращаются в палиндром за четыре или меньше шагов; около 90% из них разрешаются за семь или меньше шагов. Вот несколько примеров чисел, отличных от Лихрела:

  • 56 становится палиндромным после одной итерации: 56 + 65 = 121.
  • 57 становится палиндромным после двух итераций: 57 + 75 = 132, 132 + 231 = 363.
  • 59 становится палиндромом после трех итераций: 59 + 95 = 154, 154 + 451 = 605, 605 + 506 = 1111
  • 89 требуется необычно большие 24 итерации (наибольшее из любого числа меньше 10 000, которое, как известно, разрешается в палиндром), чтобы достичь палиндрома 8 813 200 023 188.
  • 10911 достигает палиндрома 4668731596684224866951378664 (28 цифр) после 55 шагов.
  • 1.186.060.307.891.929.990 занимает 261 итераций, чтобы достичь 119-значного палиндрома 44562665878976437622437848976653870388884783662598425855963436955852489526638748888307835667984873422673467987856626544, который был бывший мировым рекордом по Большинству задержанного палиндромного Числа. Она была решена алгоритмом и программой Джейсона Дусетта (с использованием кода Бенджамина Деспре -сложения) 30 ноября 2005 года.
  • 23 января 2017 года русский школьник Андрей Сергеевич Щебетов объявил на своем сайте, что нашел последовательность из первых 126 чисел (125 из них никогда не сообщались ранее), которые делают ровно 261 шаг, чтобы достичь 119-значного палиндрома.. Эта последовательность была опубликована в OEIS как A281506. Эта последовательность началась с 1,186,060,307,891,929,990 - к тому времени единственное публично известное число, обнаруженное Джейсоном Дусеттом еще в 2005 году. 12 мая 2017 года эта последовательность была расширена до 108864 термина в целом и включала первые 108864 отложенных палиндромов с задержкой в ​​261 шаг. Расширенная последовательность закончилась 1 999 291 987 030 606 810 - самым большим и последним сроком.
  • 26 апреля 2019 года Роб ван Нобелен установил новый мировой рекорд по самому запаздывающему палиндрому: 12,000,700,000,025,339,936,491 требуется 288 итераций, чтобы достичь палиндрома из 142 цифр.
  • 5 января 2021 года Антон Стефанов вычислил два новых наиболее запаздывающих палиндромных числа: 13968441660506503386020 и 13568441660506503386420 за 289 итераций, чтобы достичь того же 142-значного палиндрома, что и число Роба ван Нобелена.
  • Последовательность OEIS A326414 содержит 19353600 членов с известной в настоящее время задержкой в ​​288 шагов.
  • Любое число из A281506 может быть использовано в качестве первичной основы для построения палиндромов более высокого порядка с 261 ступенью. Так, например, на основе 1,999,291,987,030,606,810 следующее число 199929198703060681000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001999291987030606810 также становится 238-значный палиндром 44562665878976437622437848976653870388884783662598425855963436955852489526638748888307835667984873422673467987856626544 44562665878976437622437848976653870388884783662598425855963436955852489526638748888307835667984873422673467987856626544 после 261 шагов.

Наименьшее число, которое, как известно, не образует палиндром, - 196. Это наименьший кандидат на число Лихрела.

Число, полученное в результате перестановки цифр числа Лихрела, не оканчивающегося нулем, также является числом Лихрела.

Формальное определение процесса

Позвольте быть натуральным числом. Мы определяем функцию Лихреля для системы счисления следующим образом: п {\ displaystyle n} б gt; 1 {\ displaystyle bgt; 1} F б : N N {\ displaystyle F_ {b}: \ mathbb {N} \ rightarrow \ mathbb {N}}

F б ( п ) знак равно п + я знак равно 0 k - 1 d я б k - я - 1 {\ displaystyle F_ {b} (n) = n + \ sum _ {i = 0} ^ {k-1} d_ {i} b ^ {ki-1}}

где - количество цифр в числе в базе, а k знак равно бревно б п + 1 {\ Displaystyle к = \ lfloor \ log _ {b} {n} \ rfloor +1} б {\ displaystyle b}

d я знак равно п мод б я + 1 - п мод б я б я {\ displaystyle d_ {i} = {\ frac {n {\ bmod {b ^ {i + 1}}} - n {\ bmod {b}} ^ {i}} {b ^ {i}}}}

- значение каждой цифры числа. Ряд является число Lychrel, если не существует натуральное число такое, что, где это -й итерации из я {\ displaystyle i} F б я + 1 ( п ) знак равно 2 F б я ( п ) {\ displaystyle F_ {b} ^ {i + 1} (n) = 2F_ {b} ^ {i} (n)} F я {\ displaystyle F ^ {i}} я {\ displaystyle i} F {\ displaystyle F}

Доказательства не найдены

В других основаниях (эти основания представляют собой степень двойки, например, двоичные и шестнадцатеричные ), можно доказать, что некоторые числа никогда не образуют палиндром после многократного переворота и сложения, но такого доказательства не было найдено для 196 и других чисел с основанием 10.

Он высказал предположение, что 196 и другие номера, которые еще не дали палиндром это номер Lychrel, но ни один номер в базе десять до сих пор не доказан, что Lychrel. Числа, которые не были продемонстрированы как отличные от Lychrel, неофициально называются числами «кандидатов Lychrel». Первые несколько кандидатов числа Лихрела (последовательность A023108 в OEIS ):

196, 295, 394, 493, 592, 689, 691, 788, 790, 879, 887, 978, 986, 1495, 1497, 1585, 1587, 1675, 1677, 1765, 1767, 1855, 1857, 1945, 1947, 1997.

Цифры, выделенные жирным шрифтом, представляют собой номера семян подозреваемого Лихрела (см. Ниже). Компьютерные программы Джейсона Дусетта, Яна Петерса и Бенджамина Депре нашли других кандидатов Lychrel. Действительно, программа Бенджамина Депре определила все предполагаемые номера семян Lychrel менее 17 цифр. На сайте Уэйда Ван Лендингема указано общее количество найденных подозрительных семенных чисел Личрела для каждой длины цифры.

Метод грубой силы, первоначально примененный Джоном Уокером, был усовершенствован, чтобы использовать преимущества итерационного поведения. Например, Vaughn Suite разработала программу, которая сохраняет только первые и последние несколько цифр каждой итерации, позволяя выполнять тестирование шаблонов цифр в миллионах итераций без необходимости сохранять каждую итерацию целиком в файл. Однако до сих пор не разработан алгоритм, позволяющий обойти итерационный процесс обращения и добавления.

Нити, начальные и родственные номера

Термин поток, введенный Джейсоном Дусеттом, относится к последовательности чисел, которая может или не может привести к палиндрому через процесс обратного и сложения. Любое заданное семя и связанные с ним номера родственников сходятся в одном потоке. Цепочка не включает исходное начальное число или родственный номер, а только числа, общие для обоих, после того, как они сойдутся.

Начальные числа - это подмножество чисел Лихрела, то есть наименьшее число каждой нити, не производящей палиндром. Начальное число может быть само по себе палиндромом. Первые три примера выделены жирным шрифтом в списке выше.

Родственные числа - это подмножество чисел Лихрела, которые включают все номера потока, кроме начального, или любое число, которое сходится в данном потоке после одной итерации. Этот термин был введен Кодзи Ямаситой в 1997 году.

196 палиндром квест

Поскольку 196 ( основание-10 ) является наименьшим кандидатским числом Лихрела, ему было уделено наибольшее внимание.

В 1980-х годах проблема палиндрома 196 привлекла внимание любителей микрокомпьютеров, и поисковые программы Джима Баттерфилда и других появились в нескольких журналах по массовым вычислениям. В 1985 году программа Джеймса Киллмана безуспешно работала более 28 дней, пройдя 12 954 прохода и достигнув числа из 5366 цифр.

Джон Уокер начал свой 196 Palindrome Quest 12 августа 1987 года на рабочей станции Sun 3/260. Он написал программу на языке C для выполнения итераций разворота и сложения, а также для проверки наличия палиндрома после каждого шага. Программа работала в фоновом режиме с низким приоритетом и создавала контрольную точку для файла каждые два часа, а когда система была выключена, записывала достигнутое количество и количество итераций. Он автоматически перезапускался с последней контрольной точки после каждого выключения. Он длился почти три года, а затем был прекращен (в соответствии с инструкциями) 24 мая 1990 года с сообщением:

Точка останова достигнута на перевале 2 415 836.
Номер состоит из 1 000 000 цифр.

196 выросло до миллиона цифр после 2 415 836 итераций, не достигнув палиндрома. Уокер опубликовал свои выводы в Интернете вместе с последней контрольной точкой, приглашая других возобновить квест, используя набранный на данный момент номер.

В 1995 году Тим Ирвин и Ларри Симкинс использовали многопроцессорный компьютер и всего за три месяца достигли отметки в два миллиона цифр, не обнаружив палиндрома. Затем Джейсон Дусетт последовал его примеру и в мае 2000 года достиг 12,5 миллионов цифр. Уэйд ВанЛандингем использовал программу Джейсона Дусетта, чтобы набрать 13 миллионов цифр - рекорд, опубликованный в Yes Mag : Canada's Science Magazine for Kids. С июня 2000 года Уэйд ВанЛандингем несет флаг, используя программы, написанные разными энтузиастами. К 1 мая 2006 года VanLandingham достигла отметки в 300 миллионов цифр (со скоростью один миллион цифр каждые 5-7 дней). Используя распределенную обработку, в 2011 году Ромен Долбо выполнил миллиард итераций, чтобы получить число из 413 930 770 цифр, а в феврале 2015 года его вычисления достигли числа в миллиард цифр. Палиндром пока не найден.

Другие потенциальные числа Лихрела, которые также были подвергнуты тому же методу грубой силы повторного обратного сложения, включают 879, 1997 и 7059: они были взяты на несколько миллионов итераций, при этом палиндром не был обнаружен.

Другие базы

В основании 2, 10110 (22 в десятичной системе) было доказано, чтобы быть числом Lychrel, так как после 4 этапа она достигает 10110100, после 8 шагов она достигает 1011101000, после 12 шагов она достигает 101111010000, и вообще после 4 п шагов она достигает число, состоящее из 10, за которым следуют n +1 единиц, за которым следует 01, за которым следуют n +1 нулей. Это число, очевидно, не может быть палиндромом, и ни одно из других чисел в последовательности не является палиндромом.

Доказано, что числа Лихрела существуют в следующих основаниях: 11, 17, 20, 26 и все степени двойки.

Никакая база не содержит чисел Лихрела, меньших, чем основание. Фактически, в любой данной базе b ни одно однозначное число не требует более двух итераций, чтобы сформировать палиндром. Для b gt; 4, если k lt; b / 2, то k становится палиндромным после одной итерации: k + k = 2k, что является однозначным по основанию b (и, следовательно, палиндромом). Если k gt; b / 2, k становится палиндромным после двух итераций.

Наименьшее число в каждой базе, которое могло бы быть числом Лихреля (последовательность A060382 в OEIS ):

б Наименьшее возможное число Лихрела в базе b, записанное в базе b (основание 10)
2 10110 (22)
3 10211 (103)
4 10202 (290)
5 10313 (708)
6 4555 (1079)
7 10513 (2656)
8 1775 (1021)
9 728 (593)
10 196 (196)
11 83А (1011)
12 179 (237)
13 12СА (2701)
14 1BB (361)
15 1EC (447)
16 19D (413)
17 B6G (3297)
18 1AF (519)
19 Привет (341)
20 Эй Джей (379)
21 год 1CI (711)
22 KL (461)
23 LM (505)
24 MN (551)
25 1FM (1022)
26 год OP (649)
27 PQ (701)
28 год QR (755)
29 РС (811)
30 СТ (869)
31 год ТУ (929)
32 УФ (991)
33 VW (1055)
34 1IV (1799)
35 год 1JW (1922)
36 YZ (1259)
Расширение до отрицательных целых чисел

Числа Лихрела могут быть расширены до отрицательных целых чисел путем использования представления цифр со знаком для представления каждого целого числа.

Смотрите также
использованная литература
внешние ссылки
Последняя правка сделана 2023-03-29 01:21:04
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте