Бабаш А.В., Шанкин Г.П. Криптография (распознано не всё)
.pdf482
и(0 = 1+ 1+ |
е + (2 + 21)(2е)' + 2(3е)' |
Отсюда, при 1 = 1986 находим |
ч2 /У |
|
и(1986)= 2 е + 4 • (2е)4ЛШ2 +2-(Зе)4АШ2=2е+4 -(2е)2 +2(3е)2 = 2 е + е + 3 е = е
Замечание 3. Теорема 8 может быть использована для описания общего члена ЛРП иеЬР(Р) и в случае, когда многочлен Р(х) не раскладывается над полем Р на линейные множители. В этой ситуации рассматривается поле раз ложения () многочлена Р(х) над полем Р и каноническое разложение (2) Р (х) над 0. Так как и€Ьд(Р), то можно утверждать, что общий член и(1) последова тельности и имеет вид (3) где а5к некоторые коэффициенты из расширения С! поля Р. Следует заметить, однако, что при сделанных предположениях в виде (3) представляется общий член любой ЛРП иеЬд(Р). Поэтому дополни тельное условие и е Ь<з(Р)пР“ накладывает некоторые ограничения на набор коэффициентов а* е' р. Смысл этих ограничений в случае, когда Р - конечное
поле можно будет уяснить из результатов следующего параграфа.
П р и м е р 9. Вычислим над полем Р = 2г значение определителя
2 |
2 |
0 |
0 |
|
0 |
О 1 |
2 |
2 |
0 |
|
0 |
0 |
1 |
2 |
2 ... |
0 |
|
й = |
|
|
|
|
|
0 |
|
0 |
1 |
2 |
2 |
0 |
|
0 |
0 |
1 |
2 12x12 |
Как отмечено в примере 5, ё -есть член Д(11) ЛРП Д над Р с характери стическим многочленом Р(х) = х 2 - 2 х + 2 и начальным вектором Д (0,1 )=(2,
2).
Многочлен Р(х) не имеет корней в Р и потому ввиду условия </ецР(х)=2, он неприводим над Р, а его минимальное поле разложения () есть О = ОР(32).
В поле 0 многочлен Р(х) имеет 2 разных корня: а 0 и а ,, удовлетворя ющих соотношению ао +он =2.
По следствию теоремы 8 общий член ЛРП Д имеет вид ДО) = с0а'0 + с , а | , где коэффициенты с0 и с, системы линейных уравнений -
485
=(1е8,цв>р(х) =. к, то Р(ц) = =ОР(як) и к|ш, т.е. ш = кп для подходящего п е N.
Поскольку при сделанных предположениях а 4 = а, то справедливы равенства
а т |
к |
а И п - 1 ) |
= а + а +... + а = п • а . |
(а) |
= а + а 4 |
+... + а 4 |
Из свойств неприводимых многочленов над конечным полем следует равенство
Ц«.р00 = х к - с к_,хк-' - ^ ...-с0 = ( х - . а ) ( х - а я)•...• ( х - а 4"'),
которое дает соотношение
(а)= а + а 4 +... + а 4' ' = ск-1.
Отсюда, пользуясь утверждениями (б) и (а), получаем
1гчч”(а ) = |
(^Г (а)) = 1гччк (па) = п • ^ (а) = п • ск_, = ^ ск-1 • |
Основной результат, позволяющий описывать любую ЛРП над конеч ным полем с помощью функции "след", состоит в следующем.
Теорема 10. Пусть Р = ОР(я), О(х) - неприводимый многочлен степени т над Р, 0=<ЗР(ят) - минимальное поле разложения О(х) над Р и а - корень С(х) в р. Тогда для любой ЛРП и е ЬР(0(х)к+|), к е И, существует единствен ный набор констант ао,..., ак е О такой, что
ГП
Га |
Л. Га г ч 1 ^ _1_ Л. |
Га |
^ |
|
(а,а‘) + ...+ |
|
|
А
Любая последовательность и е Р30 вида (4) принадлежит ЬР(0(х)к+1).
ДОКАЗАТЕЛЬСТВО. При доказательстве данной теоремы мы исполь зуем следующее известное из теории конечных полей вспомогательное утве рждение.
Пусть/(х) —неприводимый многочлен степени п над полем Р=ОР(ф, д~р', и А=Р(а) -расширение поля Р, порожденное корнем а многочлена/(х). Тогда справедливы следующие утверждения:
а) Р - минимальное полеразложения многочлена/(х) над Р, причем/(х) имеет в Рровно празличных корней
|
486 |
а, сР, |
,П—1 |
а 4 |
Пространство ЬР(0(х)к+1) имеет над Р размерность т(к+1) и потому сос тоит ровно из цт(к+|)последовательностей. Число различных наборов (ао, Эк) элементов из <3 также равно цт(1с+1). Поэтому для доказательства теоремы доста точно показать, что любая последовательность вида (4) принадлежит Ьр(0(х)к+|) и различным наборам коэффициентов (ао,..., а^ е Р(к+1) соответст вуют различные последовательности вида (4).
Любая последовательность и, удовлетворяющая условию (4) при неко
торых ао,... ,ак6 С|, есть сумма последовательностей и = ио + щ + ... + |
где |
для г е 0, к последовательность иг, задается равенствами |
|
Введем обозначения а 0 = а, а, = а ч,...,ат_! = а 4 . Тогда по
определению 11
Отсюда и из равенств иг(1) = |1г^(ага ‘ ][ 1 е N 0-, пользуясь обоз
начениями определения 9, получаем
и в силу и = ио + и) + ... + ик,
Г = 0 8 = 0
Теперь заметим, что (по приведенной в начале доказательства вспомо гательной теореме) а 0, ..., Ощ-1 - суть все различные корни в О неприводимого
над Р многочлена О(х), т.е. О(х) = (х - ао)-...-(х - ат-0, и каноническое разло жение над О многочлена 0(х)к+1 имеет вид 0(х)к+1 = (х - а0)к+1 (х - ат_1)к+1.
Поэтому из (5) и теоремы 8 следует, что и € Ьо(0(х)к+|). Так как, кроме того, и е Р°°ввиду (4), то и е Ьд(0(х)к+1)ПР°° = ЬР(С(х) ). Наконец, так как элементы ао,..., ат_1 е О попарно различны и отличны от нуля, то по теореме 8 система
488
и(о,з)= а ^ а '01^ ас|а '11(о,з)+ а|0а '01(о,з)+а„а™(о,з)
которая в рассматриваемом случае имеет следующую матричную запись:
1 |
0 |
1 |
0 ^ |
(я > |
|
а |
а |
|
|
а оо |
|
а 5 |
а 5 |
а 01 |
0 |
||
а2 |
2а2 |
а 10 |
2а'° |
а 10 |
0 |
У |
З а 3 |
а 15 |
З а 15, |
Ча П V |
у |
Составим расширенную матрицу системы
( \ |
0 |
1 |
0 |
0^ |
а |
а |
а 5 |
а 5 |
0 |
а2 2 а 2 |
а 10 |
2 а 10 0 |
||
к |
З а 3 |
а 15 |
З а 15 |
К |
и упростим ее элементарными преобразованиями строк. Вычитая последовате льно из 4-й, 3-й, 2-й строк матрицы А предыдущую строку, умноженную на а, получаем
г\ |
0 |
1 |
0 |
0^ |
0 |
а |
а 5 - а |
а 5 |
0 |
0 а 2 |
а 10 - а 6 |
2 а 10- а 6 0 |
||
,0 |
а 3 |
а 15 - а " |
З а 15- 2 а " К |
Повторяя ту же процедуру с 4-й и 3-й строками В, получаем
|
|
489 |
|
|
{\ |
0 , |
1 |
0 |
0^ |
0 |
а |
а 5 - а |
а 5 |
0 |
0 |
0 |
а 10 - 2 а 6 + а 2 |
2 а ' ° - 2 а 6 |
0 |
,0 |
0 |
а 15 - 2 а 11 + а 7 З а 15 - 4 а 11 + а 7 Ь |
Вычитая из 4-ой строки матрицы С 3-ю, умноженную на а 5, находим
1 |
0 |
1 |
0 |
0^ |
0 |
а |
а 5 - а |
а 5 |
0 |
0 0 |
а 10 - 2 а 6 + а 2 |
2 а 10- 2 а 6 0 |
||
|
0 |
0 |
а 15 - 2 а 11+ а 7 К |
Так как а - корень многочлена х2 - 2х - 2, то справедливы соотношения
а 2=2а+2 |
а 5=4а+2 |
а 10=За+1 |
а3=а+4 а6=3 |
а"=2а+1 |
|
а4=а+2а7=3а |
а |5=4а+1>, |
пользуясь которыми матрицу О можно записать в виде
Г1 |
0 |
1 |
0 |
0 > |
0 |
а |
Зос + 2 |
4 а + 2 0 |
|
0 |
0 |
2 |
а +1 |
0 |
|
0 |
0 |
З а + 4 |
|
Так как (За+4) 1= а, то, вычитая из 3-й строки матрицы Э ее 4-ю стро ку, умноженную на а(а+1), получаем
г\ |
0 |
1 |
0 |
0 |
^ |
0 |
а З а + 2 4 а + 2 |
0 |
|
||
0 |
0 |
2 |
0 |
2 а + 3 |
|
ч0 |
0 |
0 |
З а + 4 |
1 |
) |
490
Теперь, как нетрудно видеть, в исходной системе линейных уравнений выделяется подсистема
1 1 У а*004
.0 2 Чаюу
из которой находим аю = а + 4, аоо= 4а + 1 и ао = аоо = 4а+1. (Для проверки, заметим, что = (4а + 1)5 = 4 а 5 +1 = 4(4а + 2) + 1 = а + 4 = а,0). Отсюда для отыскания переменных аю, ац получаем следующую систему
а |
4 а + 2 |
г- (З а + 2 )(а + 4) |
, 0 |
З а + 4 |
1 |
Решая ее, находим ац = (За+4) 1= а, ао1 = а ‘(1 - а(4а + 2)) = За 1= 3(3а + 4) = 4а + 2 = а 3, и ао1= 4а+2.
Окончательно получаем, что искомое представление знаков ЛРП и име-
ет вид
и(1) =1г((4х+1).х‘)+Нг((4х+2).х‘)
для I е N0 .
Теперь значение и(37) можно вычислить следующим образом.
Так как а24= а 25-1 =1, то а37 = а 13 = а 3а 10 = (а+4)(За+1) = 4а. Отсюда и=1г((4а+1)-4а)+371г((4а + 2)- 4а) = =1г(((4а+1) + 2(4а + 2))-4а) = 1г(3а2) = 1г(а +1) = *г(а) + 1г(1).
Так как а - корень неприводимого многочлена х2 - 2х - 2, то по теореме 9 (в) 1г(а)= 2 и 1г(1)=2. Отсюда и (37) = 4.
. Замечание 5. Теорема 10 позволяет вычислять с помощью функции «след» знаки линейной рекурренты не только с примарным, но и вообще с лю бым характеристическим многочленом Р(х), таким, что Р(0)*0. Для этого до статочно найти каноническое разложение Р(х) и представить исходную ЛРП в виде суммы ЛРП с примарными характеристическими многочленами, пользу ясь теоремой 6.