упорство чисел
Jan. 7th, 2009 12:05 pmЕсть такая удивительная характеристика целых чисел - "упорство".
Различают аддитивное и мультипликативное упорства.
Первое понятно откуда возникает: если искать остаток от деления числа на 9 по шагам, на каждом шаге складывая цифры числа (т.н. "теософское сложение"), то аддитивное упорство- это во сколько элементарных шагов мы уложимся. И понятно, что ограничения сверху у такой штуки нет.
Второе понятие существенно хитрее. То есть формально это эквивалентный процесс, где используется "теософское умножение". Но ничему более простому эта процедура, похоже, не соответствует. При этом пока не найдено ни одного числа, для которого число шагов было бы больше 11. То есть эта непараметрическая процедура разбивает всё множество целых чисел на 12 классов.
Если попытаться зарисовать граф чисел, сводимых друг к дружке, получим очень красивую с виду нерегулярную картинку. А если над ней много думать...
Различают аддитивное и мультипликативное упорства.
Первое понятно откуда возникает: если искать остаток от деления числа на 9 по шагам, на каждом шаге складывая цифры числа (т.н. "теософское сложение"), то аддитивное упорство- это во сколько элементарных шагов мы уложимся. И понятно, что ограничения сверху у такой штуки нет.
Второе понятие существенно хитрее. То есть формально это эквивалентный процесс, где используется "теософское умножение". Но ничему более простому эта процедура, похоже, не соответствует. При этом пока не найдено ни одного числа, для которого число шагов было бы больше 11. То есть эта непараметрическая процедура разбивает всё множество целых чисел на 12 классов.
Если попытаться зарисовать граф чисел, сводимых друг к дружке, получим очень красивую с виду нерегулярную картинку. А если над ней много думать...
no subject
Date: 2009-01-07 01:51 pm (UTC)наверняка
Date: 2009-01-07 02:27 pm (UTC)Re: наверняка
Date: 2009-01-07 05:58 pm (UTC)no subject
Date: 2009-01-07 07:18 pm (UTC)no subject
Date: 2009-01-07 10:12 pm (UTC)В данном конкретном примере мне понравилось именно то, что операция без очевидных признаков конечности на бесконечном множестве приводит к лесу с конечным ограничением по высоте. Хотя пока рисуешь этот лес, понемногу догадываешься, откуда конечность вылезает.
no subject
Date: 2009-01-08 07:28 am (UTC)Конечность, я так понимаю, из-за возникновения нулей?
no subject
Date: 2009-01-08 09:44 am (UTC)no subject
Date: 2009-01-08 01:30 pm (UTC)Потому что если бы ни они, то, как мне кажется, чисто статистически можно было бы мультипликативное упорство задавить длиной чисел (что и происходит для аддитивного упорства): для подавляющего большинства чисел хотя бы половина цифр в их записи по статистике является двойкой и выше, таким образом, мы можем получить для любого числа N такое число M, что подавляющее большинство не содержащих в записи нулей чисел больше M после применения операции теософского умножения дадут число большее, чем N. Применив этот переход 12 раз, получим оценки для чисел с мультипликативным упорством 12 и выше. Однако, если мы при этом гарантированно упираемся в наличие в записи результата теософского умножения нулей - то на этом цепочка умножений и заканчивается.
no subject
Date: 2009-01-08 03:28 pm (UTC)Мне стало любопытно экспериментально посчитать. Оказывается в первых 100 миллионах чисел, из 10 возможных конечных результатов приведения, 96% всех чисел сходится именно к нулю. На втором месте шестёрка (>2%), на третьем восьмёрка(>1%).
При этом у 51% из всех рассмотренных чисел длина вычисления составила 1 операцию (по-видимому, они все сошлись к нулям), у 35% - длина вычисления составила 2 операции.
* * *
А правильно ли здесь доказывать при помощи вероятностей? Т.е. их может быть очень мало - этих чисел с упорством 12 и выше, но они же тем не менее могут где-то существовать? Большие такие, со сложным внутренним миром :)
no subject
Date: 2009-01-08 04:22 pm (UTC)Тервер и Закон Больших Чисел будут хороши, если кто-нибудь нам гарантирует отсутствие нулей в полученных произведениях, чтобы мы могли двигаться дальше. А до тех пор, он же нам говорит, что чем длиннее числа - тем больше среди них доля чисел с нулями.