Описание КТО II

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

При детальном рассмотрении, то что в [1] называется CRT II, по сути является ни чем иным, как обратным преобразователем на основе преобразования в полиадический код, в несколько видоизмененном виде. За основу взята стратегия devide and conquer (такая же стратегия используется в БПФ). Базисом КТО II является формула восстановления числа по двум остаткам $x_1, x_2$, по основаниям $p_1, p_2$:

$X=x_1+||x_2-x_1|_{p_2}\cdot|p_1^{-1}|_{p_2}|_{p_2}$

Как мы можем видеть, формула является переводом на базе перевода в полиадический код. Архитектура такого преобразователя можно изобразить следующим образом:

Если мы рассмотрим модулярную систему с большим числом оснований, то принцип состоит в следующем:

• Разбиваем имеющиеся вычеты по парам
• По базовой формуле для всех пар находим $X_1, X_2, ...$. Это будут вычеты по произведениям пар модулей
• Возвращаемся на пункт 1 с новыми вычетами $X_1, X_2, ...$ и новыми модулями $P_k=p_{i} \cdot p_j$

В качестве примера рассмотрим реализацию обратного преобразователя для четырех оснований $p_1, p_2, p_3, p_4$ и четырех остатков $x_1, x_2, x_3, x_4$:

[1]Yuke Wang, “Residue-to-Binary Converters Based On New Chinese Remainder Theorems,” IEEE Transactions on Circuits and Systems – II: Analog and Digital Signal Processing, vol. 47, No. 3, pp.197–205, March 2000.