ВУЗ:
Составители:
Глава 2. Простые алгоритмы факторизации 77
Метод получения редуцированной формы, эквивалентной данной, был
найден еще Карлом Гауссом и состоит в последовательном применении
оператора редукции f = ρ(f), пока f не станет редуцированной:
Определение. Оператор редукции ρ(f)– это оператор на классе
квадратичных бинарных форм с целыми коэффициентами, который
определяется следующим образом:
ρ(f) = ρ(a, b, c) =
c, r,
r
2
− D
4c
,
(2.50)
где r = r(−b, c)–целое число, однозначно определяемое следующими
условиями:
1. r ≡ −b ( mod 2c),
2. −|c| < r ≤ |c|, если
√
D < |c|,
3.
√
D −2|c| < r <
√
D, если |c| <
√
D.
Результат применения оператора ρ к форме f n раз записывается
ρ
n
(f). Обратный к ρ оператор ρ
−1
определяется следующим образом:
ρ
−1
(a, b, c) =
r
2
− D
4a
, r, a
,
(2.51)
где r = r(−b, c) определено как и раньше. Справедлива следующую теорему:
Теорема 2.4. Каждая форма f эквивалентна некоторой редуцированной
форме, и любая редуцированная форма для f равна ρ
k
(f) для некоторого
положительного k. Если f –редуцирована, то ρ(f) также редуцирована.
Определение. Две формы (a, b, c) и (c, b
0
, c
0
) называются
смежными (adjacent), если выполняется условие b + b
0
≡ 0 (mod 2c ).
Каждая форма (a, b, c) эквивалентна некоторой смежной форме, а именно,
(a, b, c) ∼ (c, −b, a) (2.52)
Также на множестве эквивалентных форм можно определить
операцию умножения (композицию), тогда, если коэффициенты a и b
Глава 2. Простые алгоритмы факторизации 77
Метод получения редуцированной формы, эквивалентной данной, был
найден еще Карлом Гауссом и состоит в последовательном применении
оператора редукции f = ρ(f ), пока f не станет редуцированной:
Определение. Оператор редукции ρ(f )– это оператор на классе
квадратичных бинарных форм с целыми коэффициентами, который
определяется следующим образом:
r2 − D
ρ(f ) = ρ(a, b, c) = c, r, ,
4c
(2.50)
где r = r(−b, c)–целое число, однозначно определяемое следующими
условиями:
1. r ≡ −b ( mod 2c),
√
2. −|c| < r ≤ |c|, если D < |c|,
√ √ √
3. D − 2|c| < r < D , если |c| < D .
Результат применения оператора ρ к форме f n раз записывается
ρn (f ). Обратный к ρ оператор ρ−1 определяется следующим образом:
2
r − D
ρ−1 (a, b, c) = , r, a ,
4a
(2.51)
где r = r(−b, c) определено как и раньше. Справедлива следующую теорему:
Теорема 2.4. Каждая форма f эквивалентна некоторой редуцированной
форме, и любая редуцированная форма для f равна ρk (f ) для некоторого
положительного k . Если f –редуцирована, то ρ(f ) также редуцирована.
Определение. Две формы (a, b, c) и (c, b0 , c0 ) называются
смежными (adjacent), если выполняется условие b + b0 ≡ 0 (mod 2c ).
Каждая форма (a, b, c) эквивалентна некоторой смежной форме, а именно,
(a, b, c) ∼ (c, −b, a) (2.52)
Также на множестве эквивалентных форм можно определить
операцию умножения (композицию), тогда, если коэффициенты a и b
Страницы
- « первая
- ‹ предыдущая
- …
- 74
- 75
- 76
- 77
- 78
- …
- следующая ›
- последняя »
