База рефератов

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ

СТАВРОПОЛЬСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ

ФАКУЛЬТЕТ ФИЗИКО-МАТЕМАТИЧЕСКИЙ

КАФЕДРА АЛГЕБРЫ

Утверждена приказом по университету Допущена к защите

от ____________________№_________ «____» ______________200__г.

 Зав.кафедрой алгебры,

 к. ф.-м. наук, доц. Копыткова

 Людмила Борисовна

 М. П.

ДИПЛОМНАЯ РАБОТА

«МАТЕМАТИЧЕСКИЕ ОСНОВЫ СИСТЕМЫ ОСТАТОЧНЫХ КЛАССОВ»

Рецензенты: Выполнила:

___________________________ Пивоварова Елена Николаевна

___________________________ студентка 5 курса, гр. «Б»

 специальности математика

 очной формы обучения

Дата защиты: Научный руководитель:

«______» __________________ Копыткова Людмила Борисовна

к. ф.-м. н., доцент

Ставрополь, 2004 г.

Оглавление

Введение

Глава 1. Теоретико-числовая база построения СОК

§ 1. Сравнения и их основные свойства

§ 2. Теорема о делении с остатком. Алгоритм Евклида

§ 3. Китайская теорема об остатках и её роль в представлении чисел в СОК

§ 4. Теоремы Эйлера и Ферма, их роль в вычислении мультипликативных обратных элементов по данному модулю

§ 5. Числа Мерсенна, Ферма и операции над ними

Глава 2. Математические модели модулярного представления и параллельной обработки информации

§ 1. Представление числа в СОК. Модульные операции

§ 2. Основные методы и алгоритмы перехода от позиционного представления к остаткам

§ 3. Восстановление позиционного представления числа по его остаткам

§ 4. Расширение диапазона представления чисел

Глава 3. Программная эммуляция алгоритмов перевода чисел из СОК в ПСС и обратно и алгоритма RSA

Цитированная литература

Введение

Инженеры и программисты, а также математики знакомы с таким понятием как цифровая обработка сигналов. Напомним некоторые факты.

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

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

Вообще, идею теории чисел для получения алгоритмов вычислений используют в 2-х наиболее важных направлениях обработки сигналов:

- в вычислении свёртки;

- в вычислении дискретного преобразования Фурье.

Цель же дипломной работы:

- установить взаимосвязь СОК и теории чисел;

- изучить СОК и методы перевода чисел из ПСС в СОК и обратно;

- разработать и выполнить программы на языке Paskal, содержащие различные методы перевода чисел из ПСС в СОК и обратно.

Дипломная работа состоит из введения, трёх глав и списка литературы.

Во введении даётся краткое обоснование поставленных задач.

Первая глава содержит известные факты теории чисел в той мере, в какой они будут применяться в дальнейшем. Здесь излагаются самые элементарные понятия теории чисел, в частности, сравнения и их свойства, различные теоремы. А также главная теорема в СОК – китайская теорема об остатках.

Вторая глава посвящена представлению чисел в СОК и различным методам перевода чисел из СОК в ПСС и от ПСС в СОК.

Третья глава содержит программные разработки методов перевода чисел из ПСС в СОК и обратно.

Глава 1. Теоретико-числовая база построения СОК

§ 1. Сравнения и их основные свойства

Возьмём произвольное фиксированное натуральное число p и будем рассматривать остатки при делении на р различных целых чисел.

При рассмотрении свойств этих остатков и проведении операций над ними удобно ввести понятие сравнения по модулю.

Определение. Целые числа а и b называются сравнимыми по модулю р, если разность чисел а – b делится на р, то есть, если . Соотношение между а, b и р запишем в виде:

 (1.1)

запись mod p будет означать, что , числа а и b – вычеты.

Если разность а – b не делится на р, то запишем:

.

Согласно определению  означает, что а делится на р.

Примеры:

$IMAGE6$, т. к. 101 – 17 = 84, а $IMAGE7$ или $IMAGE8$, т. к. числа 135 и 11 при делении на 4 дают остаток 3.

Теорема. а сравнимо с b тогда и только тогда, когда а и b имеют одинаковые остатки при делении на р, поэтому в качестве определения сравнения можно взять следующее:

Определение: Целые числа а и b называются сравнимыми по модулю р, если остатки от деления этих чисел на р равны.

Дадим основные свойства сравнений:

1. Рефлексивность отношения сравнимости:

$IMAGE9$

2. Симметричность отношения сравнимости:

если, , то $IMAGE11$.

3. Транзитивность отношения сравнимости:

если , $IMAGE13$, то $IMAGE14$.

4. Если  и k – произвольное целое число, то $IMAGE16$.

5. Если $IMAGE16$ и (k, p) = 1, то .

6. Если  и k – произвольное натуральное число, то $IMAGE20$.

7. Если $IMAGE20$, где k и р – произвольные натуральные числа, то .

8. Если , $IMAGE24$, то $IMAGE25$ и $IMAGE26$.

9. Если , $IMAGE24$, то $IMAGE29$.

10.  Если , то при любом целом n > 0, .

11.  Если  и $IMAGE33$ - произвольный многочлен с целыми коэффициентами, то $IMAGE34$.

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

13.  Если  и $IMAGE36$, то $IMAGE37$.

14.  Если , то множество общих делителей а и р совпадает с множеством общих делителей b и р. В частности, $IMAGE39$

15.  Если $IMAGE40$, $IMAGE41$, …, $IMAGE42$, то $IMAGE43$, где $IMAGE44$.

При делении целого числа на модуль р в остатке получается 0, 1, 2, 3,…, р – 1 чисел.

Отнесём все целые числа, дающие при делении на р один и тот же остаток в один класс, поэтому получится р – различных классов по модулю р.

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

Обозначим через А₀ – класс вычетов, которые при делении на р дают остаток 0.

Например, числа вида $IMAGE45$.

Через А₁ – числа, дающие при делении остаток 1.

Например, числа вида $IMAGE46$.

Через А₂ – числа, дающие при делении остаток 2.

Например, числа вида $IMAGE47$.

Через А_р-1 – числа, дающие при делении остаток р – 1.

Например, числа вида $IMAGE48$.

Полной системой вычетов по модулю р называется совокупность р-целых чисел, содержащая точно по одному представителю из каждого класса вычетов по модулю р. Каждый класс вычетов по модулю р содержит в точности одно из чисел совокупности всех возможных остатков от деления на р: 0, 1, …, р – 1. Множество {0, 1, …, р – 1} называется полной системой наименьших неотрицательных вычетов по модулю р. Можно легко доказать, что любая совокупность р чисел (р >1), попарно несравнимых по модулю р, есть полная система вычетов по модулю р. Часто рассматривают полную систему наименьших положительных вычетов: 1, 2, …, р; полную систему наименьших по абсолютной величине вычетов:

$IMAGE49$ при чётном р и

$IMAGE50$ при р нечётном.

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

Число классов, взаимно простых с модулем р, равно значению функции Эйлера φ(р).

§ 2. Теорема о делении с остатком. Алгоритм Евклида

Рассмотрим пример. Пусть р = 6.

Тогда имеем шесть классов разбиения множества целых чисел по модулю 6:

$IMAGE51$r = 0;

$IMAGE52$r = 1;

$IMAGE53$r = 2;

$IMAGE54$r = 3;

$IMAGE55$r = 4;

$IMAGE56$r = 5;

где через r обозначен остаток от деления целого числа на 6.

Напомним теорему о делении с остатком:

Теорема: Разделить число $IMAGE57$на число $IMAGE58$, $IMAGE59$, с остатком, значит, найти пару целых чисел q и r, таких, что выполняются следующие условия: $IMAGE60$.

Легко доказывается, что для любых целых чисел а и $IMAGE59$деление с остатком возможно и числа q и r определяются однозначно. В нашем примере полная система наименьших неотрицательных вычетов есть множество {0, 1, 2, 3, 4, 5}; полная система наименьших положительных вычетов – множество {0, 1, 2, 3, 4, 5, 6}; полная система наименьших по абсолютной величине вычетов – множество {-2,-1, 0, 1, 2, 3}; приведённая система вычетов – множество {1,5}, так как $IMAGE62$; фактор-множество $IMAGE63$ 

Один из методов выполнения арифметических операций над данными целыми числами основан на простых положениях теории чисел. Идея этого метода состоит в том, что целые числа представляются в одной из непозиционных систем – в системе остаточных классов. А именно: вместо операций над целыми числами оперируют с остатками от деления этих чисел на заранее выбранные простые числа – модули $IMAGE64$. Чаще всего числа $IMAGE65$ выбирают из множества простых чисел.

Пусть $IMAGE66$ $IMAGE67$…, $IMAGE68$.

Так как в кольце целых чисел имеет место теорема о делении с остатком, т. е. $IMAGE69$ где $IMAGE70$, то кольцо Z, по определению, является евклидовым. Таким образом, в качестве чисел $IMAGE71$ можно выбрать остатки от деления числа А на р_i соответственно.

Рассмотрим гомоморфное отображение:

$IMAGE72$.

Тогда каждому целому числу А можно поставить в соответствие кортеж $IMAGE73$ наименьших неотрицательных вычетов по одному из соответствующих классов.

Важно отметить, что при том нет никакой потери информации при условии, что $IMAGE74$, так как всегда, зная $IMAGE75$ можно восстановить, как мы увидим позже само число А. Поэтому кортеж $IMAGE75$можно рассматривать как один из способов представления целого числа А в компьютере – модулярное представление или представление в системе остаточных классов (СОК).

Для дальнейшего нам требуется расширенный алгоритм Евклида или его аналог – алгоритм нахождения линейного представления наибольшего общего делителя целых чисел: если числа а и b одновременно не равны нулю, то существуют целые числа х и у, такие, что $IMAGE77$.

Действительно, пусть d – наименьшее целое положительное число вида $IMAGE78$, например, $IMAGE79$, где числа х₀ и у₀ не обязательно определены однозначно. Существование числа d следует только из принципа полной упорядоченности. Очевидно, что d > 0. Остаётся показать, что $IMAGE80$. Для этого надо проверить выполнение двух условий: а) $IMAGE81$ и $IMAGE82$; б) если $IMAGE83$ и $IMAGE83$, то $IMAGE85$. Допустим, что свойство а) не выполняется и для определённости положим, что | $IMAGE86$. Тогда по теореме о делении с остатком $IMAGE87$, и, следовательно,

$IMAGE88$,

 что противоречит минимальности d. Выполнение свойства б) проверяется непосредственно:

$IMAGE89$ $IMAGE90$ $IMAGE91$

Рассмотрим теперь расширенный алгоритм Евклида для нахождения линейного представления наибольшего общего делителя $IMAGE92$. Значения х и у вычисляются в серии шагов, в каждом из которых мы выражаем а_i (вычисленное в процессе работы алгоритма Евклида) в форме $IMAGE93$. А именно, рассмотрим последовательность

$IMAGE94$  $IMAGE95$

$IMAGE96$  $IMAGE97$

$IMAGE98$  $IMAGE99$

$IMAGE100$  $IMAGE101$

$IMAGE102$  $IMAGE103$ 

$IMAGE104$  $IMAGE105$

$IMAGE106$  $IMAGE107$

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