Просмотр исходного текста страницы Представление числа в системе остаточных классов

Представление чисел в виде набора остатков от деления на выбранные натуральные модули - основания системы называется системой остаточных классов - СОК (residue number system - RNS) или модулярной системой счисления - МСС (modular system).

Такие системы счисления являются непозиционными кодами с параллельной структурой, которые позволяют реализовать идею распараллеливания операций на уровне выполнения элементарных арифметических действий. 

Пусть заданы положительные числа
<math>p_1, p_2,\ldots , p_n</math>, которые называют основаниями или модулями системы. Обозначим 
<math>p= p_1 \cdot p_2 \cdot \ldots  \cdot p_n</math>.

Эта величина характеризует объём диапазона системы. Под системой остаточных классов понимают такую непозиционную систему счисления, в которой целое неотрицательное число А можно представить в виде набора остатков от деления этого числа на выбранные основания системы, т. е.

<math>A = a_1, a_2 , \ldots  , a_n</math>, где <math>a_i = A-[ \frac {A}{p_i}]\cdot p_i, i=1,\ldots ,n</math> (1).

Возможность такого представления числа определяется [[Теорема о делении с остатком |теоремой о делении с остатком в кольце целых чисел]]. 

Перевод чисел из ПСС в СОК при помощи выражения (1) связан с реализацией операции деления, поэтому использование данного метода неэффективно. В разделе [[Алгоритмы перехода от позиционного представления к остаткам|Алгоритмы перехода от позиционного представления к остаткам]] рассмотрены эффективные методы перехода к остаткам.

Напомним формулировку теоремы о делении с остатком (в обозначениях этого раздела).

'''Теорема'''

Если
<math>A\in Z, p\in Z, p\neq 0</math>,
то существуют единственные 
<math>q\in Z, a\in Z</math>,
такие, что
<math>A=qp+a, 0 \le a < |p|, q=[\frac {A}{p}]</math>.


Несложно заметить, что каждый остаток <math>a_i</math> получается независимо от других и содержит информацию обо всём числе.
Установить взаимно-однозначное соответствие между целыми числами из диапазона <math>[0, P)</math> и их остатками позволяет китайская теорема об остатках.
Возможность применения СОК в вычислительных алгоритмах обуславливается наличием определённого изоморфизма между математическими операциями над целыми числами и соответствующими операциями над системой целых неотрицательных остатков по отдельным модулям. Причём сложение, умножение, возведение в целую положительную степень любых целых положительных чисел совершенно идентичны соответствующим операциям, выполняемым над системой остатков.

Пусть операнды <math>A</math> и <math>B</math>, а также результаты операций сложения и умножения <math>A+B</math> и <math></math>A\cdot B</math> представлены соответственно остатками

<math>a_i, b_i, c_i, d_i</math>
по основаниям <math>p_i, i=1,|ldots,n</math>,
причём оба числа и результаты находятся в диапазоне <math>[0, P)</math>, то есть

<math>A=(a_1, a_2, \ldots , a_n)</math>,

<math>B=(b_1, b_2, \ldots , b_n)</math>,

<math>A+B=(c_1, c_2, \ldots , c_n)</math>,

<math>D=(d_1, d_2, \ldots , d_n)</math>,

и

<math>0\le A<P</math>, <math>0\le B<P</math>, <math>0\le A+B<P</math>, <math>0\le A\cdot B<P</math>.

Эти выражения можно переписать в виде

<math>c_i=a_i+b_i\pmod{p_i}</math>;
<math>d_i=a_i\cdot b_i\pmod{p_i}</math>;

<math>c_i=a_i+b_i - [\frac{a_i+b_i}{p_i}]</math>;
<math>d_i=a_i\cdot b_i - [\frac{a_i\cdot b_i}{p_i}]</math>;

Справедливость этих правил выполнения арифметических действий в СОК непосредственно вытекает из свойств сравнения.

Действительно,  равенства можно переписать в виде

<math>c_i=A+B - [\frac{A+B}{p_i}], i=1,\ldots ,n</math>.

Из представления <math>A</math> и <math>B</math> по теореме о делении с остатком следует, что 

<math>A=k_i\cdot p_i+a_i</math>,
<math>B=l_i\cdot p_i+b_i</math>,

где <math> i=1,\ldots ,n</math>, 
<math>k_i\in Z, k_i\ge 0</math>,
<math>l_i\in Z, l_i\ge 0</math>.

Тогда 
<math>A+B=(k_i+l_i)\cdot p_i + a_i + b_i</math>,
<math>[\frac{A+B}{p_i}]=k_i+l_i + [\frac{a_i + b_i}{p_i}]\cdot p_i</math>,

Откуда
<math>c_i = a_i+b_i- [\frac{a_i + b_i}{p_i}]\cdot p_i</math>.

В случае умножения

<math>d_i = a_i\cdot b_i- [\frac{A\cdot B}{p_i}]\cdot p_i</math>.

Тогда
<math>A\cdot B=k_i\cdot l_i\cdot {p_i}^2 + (a_i\cdot l_i + b_i\cdot k_i)\cdot p_i + a_i\cdot b_i</math>,
<math>[\frac{A\cdot B}{p_i}]=k_i\cdot l_i\cdot p_i + a_i\cdot l_i + b_i\cdot k_i + \frac{a_i\cdot b_i}{p_i}</math>.

Следовательно,
<math>d_i = a_i\cdot b_i- [\frac{a_i\cdot b_i}{p_i}]\cdot p_i, (i=1,\ldots , n)</math>.

'''Примеры'''

Дано:

<math>p_1=2, p_2=3, p_3=5, p_4=7</math>.

<math>A=(0,0,3,4), B=(1,1,2,0)</math>.

Найти: 

<math>A+B, A-B, A\cdot B</math>.

Решение:

<math>P=p_1 \cdot p_2 \cdot p_3 \cdot p_4 = 2 \cdot 3 \cdot 4 \cdot 7 = 210</math>.


<math>A+B = (0, 0, 3, 4) + (1, 1, 2, 0) = (1, 1, 0, 4)</math>.

<math>A\cdot B = (0, 0, 3, 4) \cdot (1, 1, 2, 0) = (0, 0, 1, 0)</math>.

<math>A-B = (0, 0, 3, 4) - (1, 1, 2, 0) = (1, 2, 1, 4)</math>.


'''Выводы'''

В отличие от позиционной системы счисления (ПСС), 
в которой число <math>A</math> представляется в виде

<math>A = A_n \cdot N^n + A_{n-1} \cdot N^{n-1} + \ldots + A_0 \cdot N^0 = \sum_{i =  0}^{n} A_i \cdot N^i</math>,
где <math>N</math> – основание ПСС,

значение числа в модулярном коде не зависит от местоположения каждого разряда в его представлении, а зависит от значения основания соответствующего разряда. Поэтому модулярный код является непозиционным.
Таким образом, выполнение арифметических операций в модулярном коде производится независимо по каждому из модулей, что и указывает на параллелизм данной системы. Это обстоятельство определяет поразрядное выполнение операций. Это свойство избавит от необходимости «занимать» или «переносить» единицу старшего разряда, что приводит к появлению кодов с параллельной структурой. Это позволяет распараллелить алгоритмы при выполнении арифметических операций.

Итак, операции сложения и умножения над числами, представленными в СОК, сводятся к соответствующим операциям над цифрами этого представления. Это относится и к возведению в степень, к вычислению значений многочлена и т. п. Операция вычитания в СОК заменяется сложением с аддитивной инверсией отрицательного числа. Все эти операции модульные, т. е. не требуют позиционных характеристик обрабатываемых чисел.

Исследования СОК выявили целый ряд её преимуществ.

* Максимальный параллелизм. Для оценки уровня параллелизма системы счисления вводится специальный показатель

<math>\Pi(\nu) = \frac {n(\nu)}{k} </math>, 

где <math>k</math> – длина кода системы, <math>n(\nu)</math> – количество поразрядных показателей параллелизма <math>{\pi}_1, {\pi}_2, \ldots, {\pi}_k</math>, не меньших заданного порога <math>\nu : \frac{1}{k} \le \nu \le 1</math>, причём <math>{\pi}_i=1-\frac{n_i}{k}, i=1,\ldots,k</math>, где <math>n_i</math> максимально возможное число пар цифр <math>(x_j, y_j), j=1,2,\ldots,i-1,i+1,\ldots,k</math>, оказывающих влияние на значение суммы <math>Z=X+Y</math> в ходе её формирования на языке данного кода. Для СОК показатель параллелизма принимает максимально возможное значение <math>\Pi(1)=1</math>. Это говорит об отсутствии межразрядных связей в числе, записанном в СОК.

* Малоразрядность остатков. Ввиду малого количества возможных кодовых комбинаций, появляется возможность построения табличной арифметики. При этом большинство операций превращаются в однотактовые, осуществляемые простой выборкой из таблиц. По мере совершенствования технологии производства запоминающих устройств с высокой плотностью записи информации, составляющих техническую систему табличного метода вычислений, интерес к СОК неуклонно возрастает.

* Реализация принципа конвейерной обработки информации. 

* Высокая точность, надёжность, способность к самокоррекции. В СОК можно построить непозиционные коды, обнаруживающие и исправляющие ошибки, которые являются полностью арифметическими, то есть в этих кодах информативная и контрольная части равноправны относительно любой операции. Эта особенность предоставляет возможность варьировать корректирующую способность кода за счёт изменения точности вычислений.

Конечно, и эта система не лишена недостатков. К ним относится невозможность визуального сравнения чисел, отсутствие признаков выхода результатов за пределы диапазона, ограниченность действия системы сферой целых положительных чисел, получение во всех случаях точного результата операции, что исключает возможность непосредственного округления результата, а также трудность выполнения немодульных операций. Но они не являются непреодолимыми.