на тему рефераты Информационно-образоательный портал
Рефераты, курсовые, дипломы, научные работы,
на тему рефераты
на тему рефераты
МЕНЮ|
на тему рефераты
поиск
Курсовая: Факторизация полиномов над конечными полями

Описание реализации:

  1. Построить матрицу Q.

2. Триангуляция этой матрицы. Привести матрицу Q к треугольному виду,

вычислив её ранг n-r и найдя нуль-пространство (т.е. его базис Курсовая: Факторизация полиномов над конечными полями

). Здесь r – число неприводимых сомножителей полинома. Так как решением

уравнения сравнения являются Курсовая: Факторизация полиномов над конечными полями

полиномов, соответствующие векторам Курсовая: Факторизация полиномов над конечными полями

при любом выборе чисел Курсовая: Факторизация полиномов над конечными полями

. И если r=1 то полином неприводим и алгороитм завершает работу.

3. Вычисление сомножителей. Пусть Курсовая: Факторизация полиномов над конечными полями

- полином, соответствующий вектору Курсовая: Факторизация полиномов над конечными полями

. Вычислим Курсовая: Факторизация полиномов над конечными полями для

всех Курсовая: Факторизация полиномов над конечными полями . Если с

помощью Курсовая: Факторизация полиномов над конечными полями получено

менее r сомножителей, вычислим Курсовая: Факторизация полиномов над конечными полями

для всех Курсовая: Факторизация полиномов над конечными полями и всех

сомножителей Курсовая: Факторизация полиномов над конечными полями ,

найденных к данному времени, k=3,4,.,r, пока не найдётся r сомножителей. Это

гарантируется предидущими теоремами.

На шаге 2 этого алгоритма матрица матрица Q приводится к треугольному виду,

затрачивается время Курсовая: Факторизация полиномов над конечными полями

. Так как требуется не более p вычислений НОД для каждого базисного вектора и не

более r из этих вычислений будут нетривиальны, то Курсовая: Факторизация полиномов над конечными полями

. Так что алгоритм не очень эффективен при больших p. Разберём

Пример. Разложим над GF(13) полином Курсовая: Факторизация полиномов над конечными полями , свободный от квадратов.

Решение. Вместо данного полинома рассмотрим нормированный эквивалентный полином Курсовая: Факторизация полиномов над конечными полями

.

Для начала вычислим обратные элементы ненулевым элементам GF(13) (1,.,12).

Это соответственно будут (1,7,9,10,8,11,2,5,3,4,6,12).

Первая строка матрицы Q [4x4] всегда представляет собой (1,0,0,0), соответствуя

полиному Курсовая: Факторизация полиномов над конечными полями . Вторая

строка представляет Курсовая: Факторизация полиномов над конечными полями

, третья Курсовая: Факторизация полиномов над конечными полями , четвёртая Курсовая: Факторизация полиномов над конечными полями

.

Пусть Курсовая: Факторизация полиномов над конечными полями . Предположим, что Курсовая: Факторизация полиномов над конечными полями . Тогда Курсовая: Факторизация полиномов над конечными полями или

Курсовая: Факторизация полиномов над конечными полями

. Что означает

Курсовая: Факторизация полиномов над конечными полями . Здесь Курсовая: Факторизация полиномов над конечными полями , Курсовая: Факторизация полиномов над конечными полями .

Эти формулы объясняют вычисление Курсовая: Факторизация полиномов над конечными полями

. Вычисления можно проводить используя массив Курсовая: Факторизация полиномов над конечными полями

. В цикле Курсовая: Факторизация полиномов над конечными полями , Курсовая: Факторизация полиномов над конечными полями

,., Курсовая: Факторизация полиномов над конечными полями , Курсовая: Факторизация полиномов над конечными полями

. Результаты отображаем в таблице:

Курсовая: Факторизация полиномов над конечными полями

Курсовая: Факторизация полиномов над конечными полями

Курсовая: Факторизация полиномов над конечными полями

Курсовая: Факторизация полиномов над конечными полями

Курсовая: Факторизация полиномов над конечными полями

00001
10010
20100
31000
4912115
52206
6711210
79899
811046
98693
100201
112010
12512910
1354012

Нетрудно видеть вторую строку матрицы Q: (12,0,4,5). Аналогично строим для

k=26,39 и получаем матрицу

Курсовая: Факторизация полиномов над конечными полями , Курсовая: Факторизация полиномов над конечными полями .

Теперь нужно находить нуль-пространство матрицы Q-I. На основании

эквивалентных преобразований матрицы составляется следующий алгоритм NS

(Null-Space algorithm):

Вход: Матрица размера n Курсовая: Факторизация полиномов над конечными полями , Курсовая: Факторизация полиномов над конечными полями , с элементами из поля.

Выход: Линейно независимые вектора Курсовая: Факторизация полиномов над конечными полями , такие что Курсовая: Факторизация полиномов над конечными полями , n-r – ранг матрицы М.

Реализация:

  1. r:=0; Курсовая: Факторизация полиномов над конечными полями ,., Курсовая: Факторизация полиномов над конечными полями

2. Для h от 0 до n-1 : если найдётся столбец с номером h и Курсовая: Факторизация полиномов над конечными полями

, Курсовая: Факторизация полиномов над конечными полями , j=0,.,n-1, то

j-тый столбец матрицы M умножаем на Курсовая: Факторизация полиномов над конечными полями

, чтобы Курсовая: Факторизация полиномов над конечными полями , затем для

всех Курсовая: Факторизация полиномов над конечными полями прибавляем

умноженный на Курсовая: Факторизация полиномов над конечными полями

столбец j к столбцу i. И Курсовая: Факторизация полиномов над конечными полями

. Если не найдётся столбца j, чтобы Курсовая: Факторизация полиномов над конечными полями

, то положить Курсовая: Факторизация полиномов над конечными полями ,

выдать вектор Курсовая: Факторизация полиномов над конечными полями ,

где для Курсовая: Факторизация полиномов над конечными полями

Курсовая: Факторизация полиномов над конечными полями

если Курсовая: Факторизация полиномов над конечными полями , если таких k не одно, то взять любое.

если Курсовая: Факторизация полиномов над конечными полями

в противном случае.

При Курсовая: Факторизация полиномов над конечными полями получится

вектор Курсовая: Факторизация полиномов над конечными полями . Он

соответствует полиному-константе 1. При Курсовая: Факторизация полиномов над конечными полями

можно взять j равным 0,1,2,3, поскольку Курсовая: Факторизация полиномов над конечными полями

для i=1,2,3 – выбор на данном этапе полностью произволен, хотя он и влияет на

получаемые при выходе векторы. Берём j=0 и после ранее описанных преобразований

матрица Q имеет вид:

Курсовая: Факторизация полиномов над конечными полями .

Второй элемент в первом столбце 12 – означает Курсовая: Факторизация полиномов над конечными полями . Для h=2 матрица будет

Курсовая: Факторизация полиномов над конечными полями .

Третий элемент второго столбца означает, что Курсовая: Факторизация полиномов над конечными полями

. Два последние столбца, состоящие только из нулей, обуславливают на выходе

вектор Курсовая: Факторизация полиномов над конечными полями при h=3.

Соответствующий полином будет Курсовая: Факторизация полиномов над конечными полями

.

Из вида матрицы Q-I при h=3 видно, что векторы Курсовая: Факторизация полиномов над конечными полями

и Курсовая: Факторизация полиномов над конечными полями удовлетворяют

условию Курсовая: Факторизация полиномов над конечными полями . Так как

эти вычисления дали только два линейно независимых вектора, то Курсовая: Факторизация полиномов над конечными полями

должен иметь только два неприводимых сомножителя над GF(13).

Теперь нужно переходить к третьему шагу алгоритма Берлекампа, в котором

непосредственно найдутся эти сомножители. Этот шаг состоит в нахождении Курсовая: Факторизация полиномов над конечными полями

для всех Курсовая: Факторизация полиномов над конечными полями . Здесь Курсовая: Факторизация полиномов над конечными полями

и Курсовая: Факторизация полиномов над конечными полями . После

вычислений получаем при Курсовая: Факторизация полиномов над конечными полями Курсовая: Факторизация полиномов над конечными полями

и при Курсовая: Факторизация полиномов над конечными полями Курсовая: Факторизация полиномов над конечными полями

. Непосредственная проверка показывает, что полиномы найдены правильно.

Но если p достаточно велико, то алгоритм имеет огромную трудоёмкость,

связанную с вычислением НОДов для всех Курсовая: Факторизация полиномов над конечными полями

. Лучший способ вычислений был предложен Кантором и Пассенхаузом, и с ними мне

предстоит разобраться в следующей курсовой работе.

Страницы: 1, 2, 3, 4, 5, 6, 7, 8, 9



© 2003-2013
Рефераты бесплатно, курсовые, рефераты биология, большая бибилиотека рефератов, дипломы, научные работы, рефераты право, рефераты, рефераты скачать, рефераты литература, курсовые работы, реферат, доклады, рефераты медицина, рефераты на тему, сочинения, реферат бесплатно, рефераты авиация, рефераты психология, рефераты математика, рефераты кулинария, рефераты логистика, рефераты анатомия, рефераты маркетинг, рефераты релиния, рефераты социология, рефераты менеджемент.