Д. Кнут - Искусство программирования том 2 (3-е издание) - 2001 (Часть 2), страница 108
Описание файла
PDF-файл из архива "Д. Кнут - Искусство программирования том 2 (3-е издание) - 2001 (Часть 2)", который расположен в категории "". Всё это находится в предмете "практикум (прикладное программное обеспечение и системы программирования)" из 4 семестр, которые можно найти в файловом архиве МГУ им. Ломоносова. Не смотря на прямую связь этого архива с МГУ им. Ломоносова, его также можно найти и в других разделах. .
Просмотр PDF-файла онлайн
Текст 108 страницы из PDF
(с) Простая индукция по», но близкие шаги требуют более пристального внимания. Будем говорить, что ги обладает свойством Р(а), если все единицы в его бинарном представлении располагшотся в последовательных блоках > а в строке. Если т и т' обладают свойством Р(а), то нм обладает и т ь. т', если т обладает свойством Р(а), то р(т) обладает свойством Р(а+ б). Следовательно, В, обладает свойством Р(1+ бс»). И наконец, если п» обладает свойством Р(а), то л(р(т)) < (а+б)п(т)/а, для г (ги) = щ+.. +и», где каждый размер блока ьу > а. Следователъно, и(р(т)) < (щ+б)+ +(и +б) < (1+б/а)»»+ .+(1+б/а)и.
(»1) Пусть / = Ь„+ с„— число неудвоений, а э — число малых шагов. Если / > 3.271 18» (и), то э > 18» (и), как и требовалось, в соответствии с (16), В противном случае а, < (1+ 2 )»'2" +~" дли 0 < а < г. Значит, и < ((1+ 2 ~)/2) '2" и г > 18 и+ ܄— Ь, !8(1+ 2 ~) > 18 и+ 18 л(и)— !8(1+бе,) — Ь,18(1+ 2»), Пусть б = !!8(/+ 1)!; тогда 1л(1+ 2 ) < Ь»(1+1/(/+1)) < 1/(/+1) < б/(1+б/). Отсюда следует, что !8(1+бх)+(/-х) !8(1+2 ~) < !8(1+б/) для 0 < х < /. Поэтому окончательно !(и) > 18 и+!8 и(и)- !8(1+(3.271 !8 и(и)) !!8(1+3.271 )8 и(и)))).
(ТЛеогебса! Совр. Яс!. 1 (1975), 1-12.) 29. В толъко что процитированной рабате Шенхаге усовершенствовал метод из упр. 28 для доказательства того, что !(и) > 18 и+ 18» (и) — 2.13 для всех т». Может ли оставшийся пробел быть закрытым? 30. и = 31 представляет собой наименьший пример; !(31) = 7, но цепочка со сложением н вычитанием 1, 2, 4, 8, 16, 32, 31 имеет длину б. (После доказательства теоремы Е Эрдеш (Егббэ) указал, что тот же результат справедлив и для алдитивно-вычитательных цепочек. Шенхаге распространил ннжнюв границу из упр. 28 на цепочки со сложением и вмчитаннем с и(и), замененные Р(и), как определено в упр. 4.1 — 34, Обобщенный бинарный метод возведения в степень справа налево, в котором используется Л(и) + Р(и) — 1 умножений, когда заданы и х, и х ', может основываться на представлении а„из этого упражнения.) 32. Сч. О!эсгеге Мэй.
23 (1978), 115-119. [Эта модель цен соответствует умножению больших чисел классическим методом, подобным алгоритму 4.3.1М, Эмпирические результаты с более общей моделью, в которой цена равна (а!а»)лгг, были получены в работе )у, Р. МсСэг»Ьу, Маей. Сошр. 46 (1986), 603-608; эта модель более близка к<b>Текст обрезан, так как является слишком большим</b>.
