Русская Википедия:Линейный код

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

В области математики и теории информации линейный код — тип блокового кода, использующийся в схемах определения и коррекции ошибок. Линейные коды, по сравнению с другими кодами, позволяют реализовывать более эффективные алгоритмы кодирования и декодирования информации.

Основы

В процессе хранения данных и передачи информации по сетям связи неизбежно возникают ошибки. Контроль целостности данных и исправление ошибок — важные задачи на многих уровнях работы с информацией (в частности, физическом, канальном, транспортном уровнях модели OSI).

В системах связи возможны несколько стратегий борьбы с ошибками:

  • обнаружение ошибок в блоках данных и автоматический запрос повторной передачи поврежденных блоков — этот подход применяется в основном на канальном и транспортном уровнях;
  • обнаружение ошибок в блоках данных и отбрасывание поврежденных блоков — такой подход иногда применяется в системах потокового мультимедиа, где важна задержка передачи и нет времени на повторную передачу;
  • исправление ошибок (Шаблон:Lang-en) применяется на физическом уровне.

Коды обнаружения и исправления ошибок

Корректирующие коды — коды, служащие для обнаружения или исправления ошибок, возникающих при передаче информации под влиянием помех, а также при её хранении.

Для этого при записи (передаче) в полезные данные добавляют специальным образом структурированную избыточную информацию, а при чтении (приеме) её используют для того, чтобы обнаружить или исправить ошибки. Естественно, что число ошибок, которое можно исправить, ограничено и зависит от конкретного применяемого кода.

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

В действительности, используемые коды обнаружения ошибок принадлежат к тем же классам кодов, что и коды, исправляющие ошибки. Фактически, любой код, исправляющий ошибки, может быть также использован для обнаружения ошибок (при этом он будет способен обнаружить большее число ошибок, чем был способен исправить).

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

Блоковые коды

Пусть кодируемая информация делится на фрагменты длиной <math>k</math> бит, которые преобразуются в кодовые слова длиной <math>n</math> бит. Тогда соответствующий блоковый код обычно обозначают <math>(n,k)</math>. При этом число <math>R = \frac{k}{n}</math> называется скоростью кода.

Если исходные <math>k</math> бит код оставляет неизменными, и добавляет <math>n-k</math> проверочных, такой код называется систематическим, иначе несистематическим.

Задать блоковый код можно по-разному, в том числе таблицей, где каждой совокупности из <math>k</math> информационных бит сопоставляется <math>n</math> бит кодового слова. Однако, хороший код должен удовлетворять, как минимум, следующим критериям:

  • способность исправлять как можно большее число ошибок,
  • как можно меньшая избыточность,
  • простота кодирования и декодирования.

Нетрудно видеть, что приведённые требования противоречат друг другу. Именно поэтому существует большое количество кодов, каждый из которых пригоден для своего круга задач.

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

Линейные пространства

Порождающая матрица

Пусть векторы <math>\overrightarrow{x_1} = (x_{11},..,x_{1n}), \overrightarrow{x_2} = (x_{21},..,x_{2n}),.., \overrightarrow{x_k} = (x_{k1},..,x_{kn})</math> являются базисом линейного пространства <math>C</math>. По определению базиса, любой вектор <math>\overrightarrow{v} \in C</math> можно представить в виде линейной комбинации базисных векторов: <math>\overrightarrow{v} = {c_1}\overrightarrow{x_1} + {c_2}\overrightarrow{x_2} + ... + {c_k}\overrightarrow{x_k}</math>, либо в матричной форме, как:

<math>\overrightarrow{v} = ({c_1},{c_2},..,{c_k}) \begin{bmatrix}

x_{11} & x_{12} & .. & x_{1n}\\
x_{21} & x_{22} & .. & x_{2n}\\
 .. & .. & .. & ..\\
x_{k1} & x_{k2} & .. & x_{kn}\\

\end{bmatrix}

= \overrightarrow{c}G</math>,

где <math> G = \begin{bmatrix}

x_{11} & x_{12} & .. & x_{1n}\\
x_{21} & x_{22} & .. & x_{2n}\\
 .. & .. & .. & ..\\
x_{k1} & x_{k2} & .. & x_{kn}\\

\end{bmatrix} </math> называется порождающей матрицей линейного пространства.

Это соотношение устанавливает связь между векторами коэффициентов <math>\overrightarrow{c} = ({c_1},{c_2},..,{c_k})</math> и векторами <math>\overrightarrow{v} \in C</math>. Перечисляя все векторы коэффициентов <math>\overrightarrow{c} = ({c_1},{c_2},..,{c_k}) </math> можно получить все векторы <math>\overrightarrow{v} \in C</math>. Иными словами, матрица <math>\overrightarrow{c}G</math> порождает линейное пространство.

Проверочная матрица

Другим способом задания линейных пространств является описание через проверочную матрицу.

Пусть <math>\mathbb{C}</math> — линейное k-мерное подпространство n-мерного пространства над конечным полем <math>\mathbb{F}_q</math> и <math>\mathbb{W}</math> — ортогональное дополнение <math>\mathbb{C}</math>. Тогда по одной из теорем линейной алгебры, размерность <math>\mathbb{W}</math> равна <math>r = n - k</math>. Поэтому в <math>\mathbb{W}</math> существует r базисных векторов. Пусть <math>\overrightarrow{h}_1 = ({{h_1}_1},...,{{h_1}_n}), \overrightarrow{h}_2 = ({{h_2}_1},...,{{h_2}_n}),..., \overrightarrow{h}_r = ({{h_r}_1},...,{{h_r}_n}) </math> базис в <math>\mathbb{W}</math>.

Тогда любой вектор <math>\overrightarrow{v} \in \mathbb{C}</math> удовлетворяет следующей системе линейных уравнений:

<math> \begin{cases}

h_{11} x_1 + h_{12} x_2 + ... + h_{1n} x_n = 0 \\
h_{21} x_1 + h_{22} x_2 + ... + h_{2n} x_n = 0 \\
 ... \\
h_{r1} x_1 + h_{r2} x_2 + ... + h_{rn} x_n = 0

\end{cases} </math>

Или в матричной форме: <math>\overrightarrow{v} H^T = 0</math>,

где <math>H = \begin{bmatrix}

\overrightarrow{h}_1\\
\overrightarrow{h}_2\\
... \\
\overrightarrow{h}_r\\ 

\end{bmatrix} = \begin{bmatrix}

h_{11} & h_{12} & .. & h_{1n}\\
h_{21} & h_{22} & .. & h_{2n}\\
 .. & .. & .. & ..\\
h_{r1} & h_{r2} & .. & h_{rn}\\

\end{bmatrix}</math> — проверочная матрица.

Приведённую систему линейных уравнений следует рассматривать как систему проверок для всех векторов линейного пространства, поэтому матрица <math>\mathbb{H}</math> называется проверочной матрицей.

Формальное определение

Линейный код длины n и ранга k является линейным подпространством C размерности k векторного пространства <math>\mathbb{F}_q^n</math>, где <math>\mathbb{F}_q</math> — конечное поле из q элементов. Такой код с параметром q называется q-арным кодом (напр. если q = 5 — то это 5-арный код). Если q = 2 или q = 3, то код представляет собой двоичный код, или тернарный соответственно.

Линейный (блоковый) код — такой код, что множество его кодовых слов образует <math>k</math>-мерное линейное подпространство (назовем его <math>C</math>) в <math>n</math>-мерном линейном пространстве, изоморфное пространству <math>k</math>-битных векторов.

Это значит, что операция кодирования соответствует умножению исходного <math>k</math>-битного вектора на невырожденную матрицу <math>G</math>, называемую порождающей матрицей.

Пусть <math>C^{\perp}</math> — ортогональное подпространство по отношению к <math>C</math>, а <math>H</math> — матрица, задающая базис этого подпространства. Тогда для любого вектора <math>\overrightarrow{v} \in C</math> справедливо:

<math>\overrightarrow{v} H^T = \overrightarrow{0}</math>.

Свойства и важные теоремы

Минимальное расстояние и корректирующая способность

Расстоянием Хемминга (метрикой Хемминга) между двумя кодовыми словами <math>\overrightarrow{v_1}</math> и <math>\overrightarrow{v_2}</math> называется количество отличных бит на соответствующих позициях, то есть число «единиц» в векторе <math>\overrightarrow{v_1} \oplus \overrightarrow{v_2}</math>.

Минимальное расстояние <math>d</math> линейного кода является минимальным из всех расстояний Хемминга всех пар кодовых слов.

Вес вектора <math>w</math> — расстояние Хемминга между этим вектором и нулевым вектором, иными словами — число ненулевых компонент вектора.

Теорема 1:

Минимальное расстояние <math>d</math> линейного кода равно минимальному из весов Хемминга ненулевых кодовых слов:

<math>d = \min_{\overrightarrow{c} \in C, \overrightarrow{c} \not = \overrightarrow{0}}( w( \overrightarrow{c}) )</math>

Доказательство:

Расстояние между двумя векторами <math>d(\overrightarrow{x}, \overrightarrow{y})</math> удовлетворяет равенству <math>d(\overrightarrow{x}, \overrightarrow{y}) = w(\overrightarrow{x} - \overrightarrow{y})</math>, где <math>w( \overrightarrow{t})</math> — вес Хемминга вектора <math>\overrightarrow{t}</math>. Из того, что разность любых двух кодовых слов линейного кода также является кодовым словом линейного кода, вытекает утверждение теоремы: <math>d = \min_{\overrightarrow{c} \in C, \overrightarrow{c} \not = \overrightarrow{0}}w( \overrightarrow{c})</math>

Минимальное расстояние Хемминга <math>d</math> является важной характеристикой линейного блокового кода. Она определяет другую, не менее важную характеристику — корректирующую способность:

<math>t = \left\lfloor\frac{d - 1}{2}\right\rfloor</math>, здесь угловые скобки обозначают округление «вниз».

Корректирующая способность определяет, какое максимальное число ошибок в одном кодовом слове код может гарантированно исправить.

Поясним на примере. Предположим, что есть два кодовых слова A и B, расстояние Хемминга между ними равно 3. Если было передано слово A, и канал внёс ошибку в одном бите, она может быть исправлена, так как даже в этом случае принятое слово ближе к кодовому слову A, чем B. Но если каналом были внесены ошибки в двух битах, декодер может посчитать, что было передано слово B.

Число обнаруживаемых ошибок — число ошибок, при котором декодер может обнаружить ошибочную ситуацию (и, например, инициировать повторную передачу сообщения). Это число равно

<math>f = d - 1</math>.

Теорема 2 (без доказательства):

Если любые <math>l \leqslant d - 1</math> столбцов проверочной матрицы H линейного (n, k)-кода линейно независимы, то минимальное расстояние кода равно по меньшей мере d. Если при этом найдутся d линейно зависимых столбцов, то минимальное расстояние кода равно d в точности.

Теорема 3 (без доказательства):

Если минимальное расстояние линейного (n, k)-кода равно d, то любые <math>l \leqslant d - 1</math> столбцов проверочной матрицы H линейно независимы и найдутся d линейно зависимых столбцов.

Коды Хемминга

Исторически «коды Хемминга» должны называться кодами Р. Фишера и были представлены в 1942г (Fisher R.A. The theory of confouding in factor to thr theory). Коды Хемминга — простейшие линейные коды с минимальным расстоянием 3, то есть способные исправить одну ошибку. Код Хемминга может быть представлен в таком виде, что синдром

<math>\overrightarrow{s}=\overrightarrow{r} H^T</math>, где <math>\overrightarrow{r}</math> — принятый вектор,

будет равен номеру позиции, в которой произошла ошибка. Это свойство позволяет сделать декодирование очень простым.

Код Рида — Маллера

Шаблон:Не переведено 5 — линейный двоичный блочный код. При определённом способе построении он может быть систематическим. В общем случае код Рида — Маллера не является циклическим. Коды Рида — Маллера задаются следующими параметрами: для любых значений <math>m</math> и <math>r</math>, называемого порядком кода, меньшего, чем <math>m</math>:

длина кодового слова <math>n=2^m;</math>
длина информационной части <math>k = 1 + C_m^1 + \dots + C_m^r;</math>
длина проверочной части <math>n - k = 1 + C_m^1 + \dots + C_m^{m-r-1};</math>
минимальное кодовое расстояние <math>d_{min} = 2^{m - r}.</math>

Код Рида — Маллера определяется при помощи порождающей матрицы, состоящей из базисных векторов которая строится по правилу:

пусть <math>V_0</math> — вектор, все компоненты которого равны 1;
пусть <math>V_1,\ V_2, \dots V_m</math> — строки матрицы, столбцами которого являются все двоичные наборы длины <math>m.</math>

Код Рида — Маллера <math>r</math>-го порядка содержит в качестве базиса векторы <math>V_0,\ V_1, \dots V_m</math> и все компонентные произведения <math>r</math> или меньшего числа этих векторов.

Шаблон:Заготовка раздела

Общий метод кодирования линейных кодов

Линейный код длины n с k информационными символами является k-мерным линейным подпространством, поэтому каждое кодовое слово является линейной комбинацией базисных векторов <math>\overrightarrow{g_1} = (g_{11},..,g_{1n}), \overrightarrow{g_2} = (g_{21},..,g_{2n}),.., \overrightarrow{g_k} = (g_{k1},..,g_{kn})</math> подпространства:

<math>\overrightarrow{c} = {m_1}\overrightarrow{g_1} + {m_2}\overrightarrow{g_2} + ... + {m_k}\overrightarrow{g_k}</math>.

Либо с помощью порождающей матрицы:

<math>\overrightarrow{c} = \overrightarrow{m} G = ({m_1},{m_2},..,{m_k}) \begin{bmatrix}

g_{11} & g_{12} & .. & g_{1n}\\
g_{21} & g_{22} & .. & g_{2n}\\
 .. & .. & .. & ..\\
g_{k1} & g_{k2} & .. & g_{kn}\\

\end{bmatrix} </math>, где <math>\overrightarrow{m} = ({m_1},..,{m_k}), {m_1},..,{m_k} \in \mathbb{Q}</math>

Это соотношение есть правило кодирования, по которому информационное слово <math>\overrightarrow{m} = ({m_1},..,{m_k})</math> отображается в кодовое <math>\overrightarrow{c} = ({c_1},..,{c_n})</math>

Общий метод обнаружения ошибок в линейном коде

Любой код (в том числе нелинейный) можно декодировать с помощью обычной таблицы, где каждому значению принятого слова <math>\overrightarrow{r_i}</math> соответствует наиболее вероятное переданное слово <math>\overrightarrow{u_i}</math>. Однако, данный метод требует применения огромных таблиц уже для кодовых слов сравнительно небольшой длины.

Для линейных кодов этот метод можно существенно упростить. При этом для каждого принятого вектора <math>\overrightarrow{r_i}</math> вычисляется синдром <math>\overrightarrow{s_i}=\overrightarrow{r_i} H^T</math>. Поскольку <math>\overrightarrow{r_i} = \overrightarrow{v_i} + \overrightarrow{e_i}</math>, где <math>\overrightarrow{v_i}</math> — кодовое слово, а <math>\overrightarrow{e_i}</math> — вектор ошибки, то <math>\overrightarrow{s_i}=\overrightarrow{e_i} H^T</math>. Затем с помощью таблицы по синдрому определяется вектор ошибки, с помощью которого определяется переданное кодовое слово. При этом таблица получается гораздо меньше, чем при использовании предыдущего метода.

Линейные циклические коды

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

Циклическим кодом является линейный код, обладающий следующим свойством: если <math>\overrightarrow{v}</math> является кодовым словом, то его циклическая перестановка также является кодовым словом.

Слова циклического кода удобно представлять в виде многочленов. Например, кодовое слово <math>\overrightarrow{v} = (v_0, v_1, ..., v_{n-1})</math> представляется в виде полинома <math>v(x) = v_0 + v_1 x + ... + v_{n-1} x^{n-1}</math>. При этом циклический сдвиг кодового слова эквивалентен умножению многочлена на <math>x</math> по модулю <math>x^n-1</math>.

В дальнейшем, если не указано иное, мы будем считать, что циклический код является двоичным, то есть <math>v_0, v_1</math>… могут принимать значения 0 или 1.

Порождающий полином

Можно показать, что все кодовые слова конкретного циклического кода кратны определённому порождающему полиному <math>g(x)</math>. Порождающий полином является делителем <math>x^n-1</math>.

С помощью порождающего полинома осуществляется кодирование циклическим кодом. В частности:

  • несистематическое кодирование осуществляется путём умножения кодируемого вектора на <math>g(x)</math>: <math>v(x) = u(x) g(x)</math>;
  • систематическое кодирование осуществляется путём «дописывания» к кодируемому слову остатка от деления <math>x^{n-k} u(x)</math> на <math>g(x)</math>, то есть <math>v(x) = x^{n-k} u(x) + [x^{n-k} u(x) \mod g(x)]</math>.

Коды CRC

Коды CRC (cyclic redundancy check — циклическая избыточная проверка) являются систематическими кодами, предназначенными не для исправления ошибок, а для их обнаружения. Они используют способ систематического кодирования, изложенный выше: «контрольная сумма» вычисляется путём деления <math>x^{n-k} u(x)</math> на <math>g(x)</math>. Ввиду того, что исправление ошибок не требуется, проверка правильности передачи может производиться точно так же.

Таким образом, вид полинома g(x) задаёт конкретный код CRC. Примеры наиболее популярных полиномов:

название кода степень полином
CRC-12 12 <math>x^{12}+x^{11}+x^{3}+x^{2}+x+1</math>
CRC-16 16 <math>x^{16}+x^{15}+x^{2}+1</math>
CRC-CCITT 16 <math>x^{16}+x^{12}+x^{5}+1</math>
CRC-32 32 <math>x^{32}+x^{26}+x^{23}+x^{22}+x^{16}+x^{12}+x^{11}+x^{10}+x^{8}+x^{7}+x^{5}+x^{4}+x^{2}+x+1</math>

Коды БЧХ

Коды Боуза — Чоудхури — Хоквингема (БЧХ) являются подклассом двоичных циклических кодов. Их отличительное свойство — возможность построения кода БЧХ с минимальным расстоянием не меньше заданного. Это важно, потому что, вообще говоря, определение минимального расстояния кода есть очень сложная задача.

Математически построение кодов БЧХ и их декодирование используют разложение порождающего полинома <math>g(x)</math> на множители в поле Галуа.

Коды Рида — Соломона

Коды Рида — Соломона (РС-коды) фактически являются недвоичными кодами БЧХ, то есть элементы кодового вектора являются не битами, а группами битов. Очень распространены коды Рида — Соломона, работающие с байтами (октетами).

Преимущества и недостатки линейных кодов

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

— Хотя линейные коды, как правило, хорошо справляются с редкими, но большими пачками ошибок, их эффективность при частых, но небольших ошибках (например, в канале с АБГШ), менее высока.

Оценка эффективности

Эффективность кодов определяется количеством ошибок, которые тот может исправить, количеством избыточной информации, добавление которой требуется, а также сложностью реализации кодирования и декодирования (как аппаратной, так и в виде программы для ЭВМ).

Граница Хемминга и совершенные коды

Шаблон:Main Пусть имеется двоичный блоковый <math>(n,k)</math> код с корректирующей способностью <math>t</math>. Тогда справедливо неравенство (называемое границей Хемминга):

<math>\sum_{i=0}^t {C_n^i} \le 2^{n-k}</math>.

Коды, удовлетворяющие этой границе с равенством, называются совершенными. К совершенным кодам относятся, например, коды Хемминга. Часто применяемые на практике коды с большой корректирующей способностью (такие, как коды Рида-Соломона) не являются совершенными.

Энергетический выигрыш

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

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

Применение

Линейные коды применяются:

  • в системах цифровой связи, в том числе: спутниковой, радиорелейной, сотовой, передаче данных по телефонным каналам;
  • в системах хранения информации, в том числе магнитных и оптических;
  • в сетевых протоколах различных уровней.

Литература

  • Толковый словарь по вычислительным системам. Под ред. В. Иллингуорта и др.: Пер. с англ. - М..: Машиностроение, 1990. 560 с.:ил.

См. также

Шаблон:Rq