Описание КТО III — различия между версиями

Материал из Модулярная арифметики
Перейти к: навигация, поиск
Строка 3: Строка 3:
 
Третья версия теоремы [1] является расширением [[Описание КТО II|второй версии]] на системы модулей, не являющиеся взаимнопростыми, то есть на избыточную систему остаточных классов.  
 
Третья версия теоремы [1] является расширением [[Описание КТО II|второй версии]] на системы модулей, не являющиеся взаимнопростыми, то есть на избыточную систему остаточных классов.  
  
Система модулей <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>.
  
 
== Ссылки ==
 
== Ссылки ==
 
[1] OPTIMIZATION OF NEW CHINESE REMAINDER THEOREMS USING SPECIAL MODULI SETS
 
[1] OPTIMIZATION OF NEW CHINESE REMAINDER THEOREMS USING SPECIAL MODULI SETS

Версия 06:27, 19 июня 2013

Китайская теорема об остатках "третьей версии"

Третья версия теоремы [1] является расширением второй версии на системы модулей, не являющиеся взаимнопростыми, то есть на избыточную систему остаточных классов.

Система модулей S = (m_1, m_2, \dots, m_n) не является взаимно простой, то есть является избыточной если HOD(m_i, m_j) > 1 для некоторых i <> j. Динамический диапазон для такой системы модулей равен M = HOK(m_1, m_2, \dots, m_n).

Разделим набор S на две части (m_1, m_2, m_3, \dots, m_t) и (m_{t+1}, m_{t+2}, m_{t+3}, \dots, m_n).

Ссылки

[1] OPTIMIZATION OF NEW CHINESE REMAINDER THEOREMS USING SPECIAL MODULI SETS