2. Анализ алгоритма Евклида

Прежде чем, приступить к анализу алгоритма Евклида рассмотрим числа Фибоначчи.

Суть последовательности Фибоначчи в том, что начиная с 1,1 следующее число получается сложением двух предыдущих.

1 1 2 3 5 8 13 21 34 55 89 144 233 377 610 ….

Приступим к анализу алгоритма Евклида. Нас будет интересовать наихудший случай — когда алгоритм работает особенно долго? Спросим точнее: какие два наименьших числа надо засунуть в алгоритм Евклида, чтобы он работал в точности заданное число шагов? Ответ на этот вопрос дает

Теорема (Ламэ, 1845 г.). Пусть n Î N , и пусть a > b > 0 такие, что алгоритму Евклида для обработки а и b необходимо выполнить точно n шагов (делений с остатком), причем а - наименьшее с таким свойством. Тогда а = F n +2 , b = F n +1 , где F k  — k- ое число Фибоначчи.

Следствие. Если натуральные числа a и b не превосходят N Î N , то число шагов (операций деления с остатком), необходимых алгоритму Евклида для обработки a и b не превышает

é log Ф ( Ö 5  N ) ù - 2,

где é a ù - верхнее целое a , F = (1 + Ö 5)/2 — больший корень характеристического уравнения последовательности Фибоначчи.

log Ф ( Ö 5 N ) » 4,785 · lg N + 1,672, поэтому, например, с любой парой чисел, меньших миллиона, алгоритм Евклида разбирается не более, чем за é 4,785 · 6 + 1,672 ù - 3 = 31 - 3 = 28 шагов.


3. Евклидовы кольца

 

Неформально, евклидово кольцо — в абстрактной алгебре — кольцо, в котором «работает» алгоритм Евклида.

Примеры

·                     Кольцо целых чисел Z. Пример евклидовой функции — абсолютное значение |\cdot|.

·                     Кольцо целых гауссовых чисел Z[i] (где i — мнимая единица, i2 = − 1) с нормой d(a + ib) = a2 + b2 — евклидово.

·                     Произвольное поле K является евклидовым кольцом с нормой, равной 1 для всех элементов, кроме 0.

·                     Кольцо многочленов в одной переменной K[x] над полем K. Пример евклидовой функции — степень deg.

·                     Кольцо формальных степенных рядов K[[x]] над полем K является евклидовым кольцом. Норма степенного ряда — номер первого ненулевого коэффициента в нём (для нулевого ряда норма равна минус бесконечности).

·                     Евклидовыми являются кольца конечных двоичных и конечных десятичных дробей, так как они являются кольцами частных кольца целых чисел Z.

·                     Евклидовыми являются кольца рациональных функций над полем C с фиксированными полюсами, так как такие кольца являются кольцами частных кольца многочленов C[x].


4 Аналоги чисел Фибоначчи

Мною были построены аналоги чисел Фибоначчи в кольце многочленов и исследованы некоторые их свойства. Для этих целей я использовала программу Mathematica 5.1.

Определение аналогов чисел Фибоначчи:

p[1] = x; p[2] = x + 1; p[n_] := (p[n - 1] + 1) (p[n - 2] + 1)

Первые 10 многочленов:

1. x

2. 1 + x

3. 2 + 3 x + x^2

4. 6 + 9 x + 5 x^2 + x^3

5. 21 + 48 x + 49 x^2 + 27 x^3 + 8 x^4 + x^5

6. 154 + 534 x + 885 x^2 + 892 x^3 + 592 x^4 + 263 x^5 + 76 x^6 + 13 x^7 + x^8

3410 + 19188 x + 52697 x^2 + 92455 x^3 + 114863 x^4 + 106232 x^5 + 75002 x^6 + 40826 x^7 + 17099 x^8 + 5433 x^9 + 1271 x^10 + 207 x^11 + 21 x^12 + x^13

7.
528705 + 4795614 x + 21433162 x^2 + 62494715 x^3 + 132946588 x^4 + 218887590 x^5 + 288979117 ... + 4290338 x^14 + 1152455 x^15 + 252089 x^16 + 43803 x^17 + 5821 x^18 + 556 x^19 + 34 x^20 + x^21

8.

9.

1803416166 + 26502650082 x + 192987977096 x^2 + 926024969509 x^3 + 3286199990650 x^4 + 91794 ... 3552 x^27 + 26554976 x^28 + 3285396 x^29 + 329783 x^30 + 25806 x^31 + 1477 x^32 + 55 x^33 + x^34


10.

953476947989902 + 22660597932545430 x + 267783292049588178 x^2 + 2095830374342358987 x^3 + 1 ... x^48 + 551548895 x^49 + 40105025 x^50 + 2392357 x^51 + 112425 x^52 + 3903 x^53 + 89 x^54 + x^55


Заключение

Данная работа посвящена расширенному алгоритму Евклида. Алгоритму Евклида более 2000 лет и он традиционно используется для нахождения наибольшего общего делителя натуральных чисел посредством остатков от деления.

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

Как было показано, числа Фибоначчи обладают экстремальным свойствам: при подстановке в алгоритм Евклида чисел Фибоначчи с номерами n и n+1, алгоритм выполняется за n шагов.

В своей работе я нашла многочлены обладающие теми же свойствами. В дальнейшем я планирую исследовать свойства этих многочленов и построить степенные ряды, обладающие теми же свойствами.


Список использованных источников

 

1.     С. Ленг, Алгебра, М., 1968

2.     С. Коунтинхо, Введение в теорию чисел. Алгоритм RSA, – М. 2001

3.     Н.М. Бескин, Замечательные дроби, –М.,1980 г.

4.     А.И. Кострикин, Введение в алгебру, – М., 2000

5.     Энциклопедия для детей Аванта + «математика» том 11 2002 г.

6.     О. Зарисский, Коммутативная алгебра, т.1.,– М., 1963

7.     Л.Я. Куликов, Алгебра и теория чисел – М.,1979 г.

8.     А.Г. Цыпкин, Справочник по математике для средних учебных заведений, – 1984 г.

9.     А.П. Савин, Я познаю мир. Сер. «Математика» / А.П. Савин, В.В. Станцо, А.Ю. Котова, – М. 2006 г.


Информация о работе «Анализ алгоритма Евклида в Евклидовых кольцах»
Раздел: Математика
Количество знаков с пробелами: 17311
Количество таблиц: 3
Количество изображений: 5

Похожие работы

Скачать
72202
18
8

... из которых мультипликативна по лемме 2 пункта 13. Значит, ( a ) - мультипликативна.   Следствие 3. . Доказательство. Пусть . Тогда, по лемме 1 пункта 13 имеем: . 5 Китайская теорема об остатках В этом пункте детально рассмотрим только сравнения первой степени вида ax b(mod m), оставив более высокие степени на съедение следующим ...

Скачать
38828
0
4

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

Скачать
330445
3
30

... . Позитивизма. Для позитивистов верным и испытанным является только то, что получено с по­мощью количественных методов. Признают наукой лишь математику и естествознание, а обществознание от­носят к области мифологии. Неопозитивизм, Слабость педагогики нео­позитивисты усматривают в том, что в ней доминируют беспо­лезные идеи и абстракции, а не реальные факты. Яркий ...

Скачать
74753
8
8

... об остатках (КТО). Теорема. Пусть  – попарно взаимно простые числа,  = , , , …,  подобраны так, что 1, = , . Тогда решение системы , , будет иметь вид: . Эта теорема лежит в основе метода ортогональных базисов при переводе из системы остаточных классов в позиционную систему счисления. Пусть основания системы остаточных классов ;  = = – объем диапазона системы. С выбором системы определяются ее ...

0 комментариев


Наверх