Передача информации
Расстояние Хеминга и корректирующие возможности кодов
Определение. Код обнаруживает ошибок, если
ошибок в кодовом слове переводит его в слово, которое не входит в код.
Код "Тетраэдр" из предыдущего примера обнаруживает одну ошибку (меняется четность), но не обнаруживает две ошибки. Например, слово 101 в результате двух ошибок в первых двух знаках переходит в другое кодовое слово (реализуется третий вариант передачи на рис.7.7). Легко заметить, что данный код обнаруживает 3 ошибки, 5 ошибок и вообще любое нечетное число ошибок, но не обнаруживает любое четное число ошибок. Поэтому, в соответствии с приведенным определением, этот код не обнаруживает 3 или 5 ошибок, а только одну.
В пространстве вводится мера отличия двух точек этого пространства, которая называется расстоянием Хеминга [29], [33], [34].
Определение. Расстоянием , по Хемингу, между вершинами
и
называется число разрядов, в которых эти вершины различаются.
В виде математической формулы это можно записывать так:
![\rho(\alpha, \beta)=\sum_{i=1}^{n}|\alpha_i-\beta_i|](/sites/default/files/tex_cache/6dcfef81a133305903e3cb5697a20bca.png)
где через обозначается абсолютная величина числа
.
В качестве примера рассмотрим расстояние Хеминга между двумя точками (последовательностями или словами) и
пространства
. Эти последовательности отличаются в первой, четвертой и пятой позициях, следовательно,
.
Вещественную функцию двух переменных на множестве
принято называть расстоянием, если она обладает следующими свойствами:
![d(x,y) \ge 0 \forall x, y \in V, d(x,y) =0 \mbox{\ тогда\ и\ только\ тогда,\ когда\ } x=y;\\
d(x,y) = d(y,x);\\
d(x,z) \le d(x,y) + d(y,z) (\mbox{неравенство треугольника}).](/sites/default/files/tex_cache/4863ee9e303a08e7dd5c806c7f5762e8.png)
Расстояние Хеминга обладает перечисленными выше свойствами. Два первых свойства очевидным образом следуют из определения расстояния Хеминга (или из приведенной выше формулы для расстояния Хеминга), а третье свойство вытекает из следующей последовательности равенств и неравенств
![\rho(\alpha, \beta)=\sum_{i=1}^{n}|\alpha_i-\beta_i|=\sum_{i=1}^{n}|\alpha_i-\gamma_i+\gamma_i-\beta_i|\le \sum_{i=1}^{n}(|\alpha_i-\gamma_i|+|\gamma_i-\beta_i|)=\\
=\sum_{i=1}^{n}|\alpha_i-\gamma_i|+\sum_{i=1}^{n}|\gamma_i-\beta_i|=\rho(\alpha, \gamma)+\rho(\gamma, \beta)](/sites/default/files/tex_cache/52942c2c5f020f145e64f5e0566713c2.png)
Возможности обнаруживать и исправлять ошибки с помощью кода C зависят от его характеристики, которая называется кодовым расстоянием [34].
Определение. Кодовым расстоянием кода
называется минимальное расстояние между различными кодовыми словами (векторами).
![\rho_c min_{\substack{\alpha, \beta \in C\\
\alpha \ne \beta}}\rho(\alpha, \beta)](/sites/default/files/tex_cache/0815442aaebd5852012c425efa530250.png)
С использованием расстояния Хеминга в пространстве можно определить аналоги таких геометрических понятий, как сфера и шар [34]. Эти понятия потребуются в дальнейшем для объяснения принципов обнаружения и исправления ошибок с помощью кодов.
Сферой радиуса с центром в точке
является множество
![S_{\alpha}^0=\{\beta \in B^n|\rho(\alpha, \beta)=t\}](/sites/default/files/tex_cache/c8362a54dc9558bbbff984255d5dd4d5.png)
Число точек в сфере
определяется выражением
![|S_{\alpha}^0(t)|={n\choose t}=C_n^1](/sites/default/files/tex_cache/979f0ab3b6b4cd31c25e4fec306b0c05.png)
Шаром радиуса с центром в точке
называется множество
![S_{\alpha}(t)=\{\beta \in B^n|\rho (\alpha, \beta) \le t\}](/sites/default/files/tex_cache/a0c396f2b478d5048b6d9de95c7ef5d8.png)
Число точек в шаре
определяется выражением
![|S_{\alpha}(t)|=1+{n\choose 1}+{n \choose 2}+\dots+{n\choose 1}](/sites/default/files/tex_cache/b99c6f8e03cf90da7e392733977218fa.png)
Замечание. Если имеется некоторое исходное слово , а слово
получилось из
в результате одной ошибки, произошедшей, например, при передаче слова
по каналу, то
, т. е. в смысле Хеминга расстояние между ними равно 1.
Аналогичным образом, если при передаче слова произошло
ошибок и оно превратилось в слово
то
.
Утверждение. Код обнаруживает ошибок, если для любых кодовых слов
и
или
.
Рассмотрим, как происходит декодирование сообщения после его передачи через канал. Если при передаче не произошло ошибок, то будет получено кодовое слово. Естественно считать это кодовое слово результатом декодирования.
Если в результате передачи получено не кодовое слово, то произошла ошибка. В этом случае целесообразно использовать декодирование в ближайшее кодовое слово. Такой подход имеет объяснение. Действительно, пусть полученное слово ближе к кодовому слову
, чем к любому другому кодовому слову, т. е.
для всех кодовых слов
. Если сравнить различные гипотезы о том, какое исходное слово было пе-редано, то гипотеза о передаче слова
при условии получения слова
является наиболее вероятной. Это следует из того, что первая гипотеза (основная) соответствует меньшему числу ошибок при передаче, чем конкурирующие гипотезы.
Утверждение. Код исправляет ошибок, если для любых кодовых слов
и
или
.
Для доказательства рассмотрим шары радиуса с центрами в кодовых словах. Из неравенства треугольника для расстояния Хеминга следует, что эти шары не пересекаются. Тогда при передаче любого кодового слова и при числе ошибок, не превышающем
, полученное слово будет находиться в шаре с центром в передаваемом слове и декодироваться (по методу декодирования в ближайшее кодовое слово) в переданное слово.
Из последних двух утверждений следует, что важнейшей характеристикой кода, определяющей его корректирующие возможности, является его кодовое расстояние.
Рассмотрим, следуя [34], какие задачи требуется решать при создании кодов, с помощью которых можно эффективно обнаруживать и исправлять ошибки, возникающие при передаче сообщений. Одна из важнейших задач теории кодирования состоит в следующем. Требуется построить код, исправляющий ошибок и имеющий максимально возможное число точек. В геометрической постановке эта же задача звучит следующим образом: среди вершин единичного
-мерного куба
требуется выделить максимальное число таким способом, чтобы расстояние между любыми двумя выделенными вершинами было не меньше, чем
. Это максимальное число обозначается обычно через
.
Другая, связанная с предыдущей, задача состоит в расположении точек в вершинах
так, чтобы наименьшее из попарных расстояний между ними было возможно большим. Это расстояние обозначается через
.
Выражения "построить", "выделить", "расположить" нуждаются в уточнении, так как нам вовсе не безразлично, в каком виде будет задан искомый код. Самый простой способ - перечисление всех кодовых точек - является неэффективным, требует большой памяти. Поэтому нужен такой способ задания кода, который позволяет просто восстановить каждую точку кода по ее номеру. Другими словами, код должен иметь простую реализацию. С некоторыми просто реализуемыми кодами мы познакомимся ниже. С другой стороны, мы хотим иметь возможность просто восстанавливать исходное сообщение на выходе.
Таким образом, "хороший код" должен удовлетворять следующим трем естественным требованиям:
- исправлять много ошибок, т. е. иметь большое кодовое расстояние;
- иметь несложную реализацию;
- обладать простым алгоритмом исправления ошибок на приемном конце.
Следует отметить, что эти требования в значительной степени являются противоречивыми, так как код , исправляющий много ошибок, вовсе не обязан иметь простую реализацию и тем более простой алгоритм декодирования. Поэтому на практике применяются коды, которые обладают в достаточной мере всеми тремя перечисленными выше качествами.
- максимальное число точек кода в
, расстояние между любыми двумя кодовыми словами не меньше
.
Для количественной оценки свойств кода полезно знать, насколько его параметры отличаются от параметров "идеального" кода. Для этого необходимо иметь хотя бы приближенные значения важнейших параметров "идеального" кода, т. е. значения и
. Следует отметить, что функции
и
не являются единственными параметрами, характеризующими качество кода. Не менее важными являются также такие параметры кода, как вероятность правильного декодирования и вероятность обнаружения ошибки. Имеется также еще ряд других важных критериев, применяющихся для оценки качества кодов.
Оценки верхних границ корректирующих способностей кодов
Если расстояние между любыми двумя точками кода не меньше, чем , то шары радиуса
с центрами в кодовых словах не пересекаются. Поэтому общее число точек в этих шарах равно:
, где
- число точек (кодовых слов) в коде
, а
число точек в шаре радиуса
. Так как число точек, попавших в шары, очевидно, не превосходит общего числа точек (двоичных слов) в
, то
. Это неравенство справедливо для любого множества с расстоянием между любыми двумя точками не меньше, чем
, в том числе и для кода с максимальным числом слов
, откуда и следует неравенство Хеминга.
![A(n,2t+1) \le \frac{2^n}{(1+C_n^1+C_n^2+\dots+C_n^t)}](/sites/default/files/tex_cache/383938213d936446431f40867d164801.png)
Для максимального числа слов в коде, исправляющем
ошибок, может быть получена оценка снизу.
Утверждение (неравенство Варшамова - Гилберта):
![\frac{2^n}{(1+C_n^1+C_n^2+\dots+C_n^{2t})}\le A(n,2t+1)](/sites/default/files/tex_cache/502c3f78f0ab027a700023ca5c773e53.png)
Чтобы доказать неравенство Варшамова - Гилберта, можно рассмотреть следующую процедуру построения кода, исправляющего ошибок.
В качестве первого кодового слова возьмем произвольное слово (вектор) из . Рассмотрим шар радиуса
с центром в данном слове. Если в
есть слова, не вошедшие в этот шар, то в качестве второго кодового слова выберем любое из них. В качестве третьего кодового слова выберем любое слово, не вошедшее ни в один из построенных ранее шаров. Построим шар радиуса
с центром в данном слове. Продолжим эту процедуру выбора кодовых слов и построения шаров до тех пор, пока не будут исчерпаны все точки пространства
. Предположим, построение кода завершилось за
шагов. После завершения этой процедуры пространство
будет покрыто
построенными шарами, содержащими по
точек каждый. Поскольку шары могут пересекаться, справедливо неравенство
. Центры шаров образуют код
, имеющий, как следует из способа построения, кодовое расстояние
. Из того, что
- это максимально возможное число точек кода с кодовым расстоянием не меньше, чем
, следует, что
и
. Последнее неравенство эквивалентно неравенству Варшамова - Гилберта.