Описание КТО III
Материал из Модулярная арифметики
(Различия между версиями)
Turbo (обсуждение | вклад) |
Turbo (обсуждение | вклад) |
||
| Строка 5: | Строка 5: | ||
Система модулей <math>S = (m_1, m_2, \dots, m_n)</math> не является взаимно простой, то есть является избыточной если <math>HOD(m_i, m_j) > 1</math> для некоторых <math>i <> j</math>. Динамический диапазон для такой системы модулей равен <math>M = HOK(m_1, m_2, \dots, m_n)</math>. | Система модулей <math>S = (m_1, m_2, \dots, m_n)</math> не является взаимно простой, то есть является избыточной если <math>HOD(m_i, m_j) > 1</math> для некоторых <math>i <> j</math>. Динамический диапазон для такой системы модулей равен <math>M = HOK(m_1, m_2, \dots, m_n)</math>. | ||
| − | Разделим набор <math>S</math> на две части <math>(m_1, m_2, m_3, \dots, m_t)</math> и <math>(m_{t+1}, m_{t+2}, m_{t+3}, \dots, m_n)</math> | + | Разделим набор <math>S</math> на две части <math>(m_1, m_2, m_3, \dots, m_t)</math> и <math>(m_{t+1}, m_{t+2}, m_{t+3}, \dots, m_n)</math>: |
| + | |||
| + | * <math>M_1 = HOK(m_1, m_2, \dots, m_t)</math> | ||
| + | * <math>M_2 = HOK(m_{t+1}, m_{t+2}, \dots, m_n)</math> | ||
| + | |||
| + | |||
== Ссылки == | == Ссылки == | ||
[1] OPTIMIZATION OF NEW CHINESE REMAINDER THEOREMS USING SPECIAL MODULI SETS | [1] OPTIMIZATION OF NEW CHINESE REMAINDER THEOREMS USING SPECIAL MODULI SETS | ||
Версия 09:45, 19 июня 2013
Китайская теорема об остатках "третьей версии"
Третья версия теоремы [1] является расширением второй версии на системы модулей, не являющиеся взаимнопростыми, то есть на избыточную систему остаточных классов.
Система модулей 
не является взаимно простой, то есть является избыточной если 
для некоторых 
. Динамический диапазон для такой системы модулей равен 
.
Разделим набор 
на две части 
и 
:
Ссылки
[1] OPTIMIZATION OF NEW CHINESE REMAINDER THEOREMS USING SPECIAL MODULI SETS
