Просмотр кода страницы Код с малой плотностью проверок на чётность

'''Код с малой плотностью проверок на чётность''' ('''LDPC-код''' от {{lang-en|Low-density parity-check code, LDPC-code}}, '''низкоплотностный код''') — используемый в передаче информации код, частный случай блочного [[Линейный код|линейного кода]] с проверкой чётности. Особенностью является малая плотность значимых элементов [[Проверочная матрица|проверочной матрицы]], за счёт чего достигается относительная простота реализации средств кодирования.

Также называют '''кодом Галлагера''', по имени автора первой работы на тему LDPC-кодов.

== Предпосылки ==
В [[1948 год]]у [[Шеннон, Клод Элвуд|Шеннон]] опубликовал свою работу по теории передачи информации. Одним из ключевых результатов работы считается [[Теоремы Шеннона для канала с шумами|теорема о передаче информации для канала с шумами]], которая говорит о возможности свести вероятность ошибки передачи по каналу к минимуму при выборе достаточного большой длины ключевого слова — единицы информации передаваемой по каналу<ref>{{статья
 |автор       = [[Шеннон, Клод Элвуд|Shannon C.E.]]
 |заглавие    = A Mathematical Theory of Communication
 |оригинал    = 
 |ссылка      = http://plan9.bell-labs.com/cm/ms/what/shannonday/shannon1948.pdf
 |издание     = Bell System Technical Journal
 |тип         = 
 |место       = 
 |год         = [[1948 год|1948]]
 |том         = 27
 |номер       = 
 |страницы    = 379-423, 623–656
 |archivedate = 2009-02-16
 |archiveurl  = https://web.archive.org/web/20090216231139/http://plan9.bell-labs.com//cm//ms//what//shannonday//shannon1948.pdf
}}</ref>.

[[Файл:Block diagramm of a communication system (ru).svg|center|600px|thumb|Упрощённая схема передачи информации по каналу с шумами.]]

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

[[Теоремы Шеннона для канала с шумами|Теорема Шеннона]] утверждает, что при определённых условиях вероятность ошибки декодирования (то есть невозможность декодером исправить ошибку передачи) можно уменьшить, выбрав большую длину ключевого слова. Однако, данная теорема (и работа вообще) не показывает, как можно выбрать большую длину, а точнее как эффективно организовать процесс кодирования и декодирования информации с большой длиной ключевых слов. Если предположить, что в кодере и декодере есть некие таблицы соответствия между входным блоком информации и соответствующим кодовым словом, то такие таблицы будут занимать очень много места. Для двоичного симметричного канала без памяти (если говорить упрощённо, то на вход кодера поступает поток из нулей и единиц) количество различных блоков составляет 2<sup>n</sup>, где n — количество [[бит]] (нулей или единиц) которые будут преобразовываться в одно кодовое слово. Для 8 бит это 256 блоков информации, каждый из которых будет содержать в себе соответствующее кодовое слово. Причём кодовое слово обычно большей длины, так как содержит в себе дополнительные биты для защиты от ошибок передачи данных. Поэтому одним из способов кодирования является использование проверочной матрицы, которые позволяют за одно математическое действие (умножение строки на матрицу) выполнить декодирование кодового слова. Аналогичным образом каждой проверочной матрице соответствует [[порождающая матрица]], аналогичным способом одной операцией умножения строки на матрицу генерирующей кодовой слово.

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

Первой работой на эту тему стала работа Роберта Галлагера «Low-Density Parity-Check Codes» [[1963 год]]а<ref>{{книга
 |автор        = Gallager, R. G.
 |заглавие     = Low Density Parity Check Codes
 |оригинал     = 
 |ссылка       = http://web.mit.edu/gallager/www/pages/books.html
 |издание      = 
 |место        = [[Кембридж (Массачусетс)|Cambridge]]
 |издательство = [[Массачусетский технологический институт|M.I.T.]] Press
 |год          = [[1963 год|1963]]
 |pages        = 90
 |isbn         = 
 |archivedate  = 2008-06-19
 |archiveurl   = https://web.archive.org/web/20080619012905/http://web.mit.edu/gallager/www/pages/books.html
}}</ref> (основы которой были заложены в его докторской диссертации [[1960 год]]а). В работе учёный описал требования к таким кодам, описал возможные способы построения и способы их оценки. Поэтому часто LDPC-коды называют кодами Галлагера. В [[русский язык|русской]] научной литературе коды также называют низкоплотностными кодами или кодами с малой плотностью проверок на чётность.

Однако, из-за сложности в реализации кодеров и декодеров эти коды не использовались и были забыты до тех пор, пока работа Галлагера не была повторно открыта в 1996 году<ref name="MacKay96">[[David J.C. MacKay]] and Radford M. Neal, "Near Shannon Limit Performance of Low Density Parity Check Codes," Electronics Letters, July 1996</ref><ref>{{книга
 |автор         = David J.C. MacKay
 |часть         = 
 |заглавие      = Information theory, inference and learning algorithms
 |оригинал      = 
 |ссылка        = http://www.inference.phy.cam.ac.uk/mackay/itila/book.html
 |ответственный = 
 |издание       = 
 |место         = 
 |издательство  = CUP
 |год           = 2003
 |том           = 
 |страницы      = 
 |страниц       = 
 |серия         = 
 |isbn          = 0-521-64298-1
 |тираж         = 
 |archivedate   = 2016-02-17
 |archiveurl    = https://web.archive.org/web/20160217105359/http://www.inference.phy.cam.ac.uk/mackay/itila/book.html
}}</ref>. С развитием телекоммуникационных технологий, снова возрос интерес к передаче информации с минимальными ошибками. Несмотря на сложность реализации по сравнению с [[турбо-код]]ом, отсутствие преград к использованию (незащищённость патентами) сделало LDPC-коды привлекательными для телекоммуникационной отрасли, и фактически стали стандартом де-факто. В 2003 году LDPC-код, вместо турбо-кода, стал частью стандарта [[DVB-S2]] спутниковой передачи данных для цифрового телевидения. Аналогичная замена произошла и в стандарте DVB-T2 для цифрового наземного телевизионного вещания<ref>{{статья
 |автор                = Dr. Lin-Nan Lee
 |заглавие          = LDPC Codes, Application to Next Generation Communication Systems
 |оригинал          = 
 |ссылка              = http://www.ieeevtc.org/vtc2003fall/2003panelsessions/llee.pdf
 |автор издания = 
 |издание            = IEEE Semiannual Vehicular Technology Conference
 |тип                    = 
 |место                = 
 |издательство  = 
 |год                    = October, 2003
 |выпуск              = 
 |том                    = 
 |номер                = 
 |страницы          = 
 |isbn                      = 
 |archiveurl                = https://web.archive.org/web/20061008053124/http://www.ieeevtc.org/vtc2003fall/2003panelsessions/llee.pdf
 |archivedate               = 2006-10-08
}}</ref>.

== LDPC-коды ==
LDPC-коды описываются низкоплотностной [[Проверочная матрица|проверочной матрицей]], содержащей в основном нули и относительно малое количество единиц. По определению, если каждая строка матрицы содержит ровно <math>k < n</math> и каждый столбец ровно <math>j < r</math> единиц, то код называют '''регулярным''' (в противном случае — '''нерегулярным'''). В общем случае количество единиц в матрице имеет порядок <math>O\left( n \right)</math>, то есть растёт линейно с увеличением длины кодового блока (количества столбцов проверочной матрицы).

Обычно рассматриваются матрицы больших размеров. Например, в работе Галлагера в разделе экспериментальных результатов используются «малые» количества строк n=124, 252, 504 и 1008 строк (число столбцов проверочной матрицы немного больше). На практике применяются матрицы с большим количеством элементов — от 10 до 100 тысяч строк. Однако количество единиц в строке или в столбце остаётся достаточно малым, обычно меньшим 10. Замечено, что коды с тем же количеством элементов на строку или столбец, но с большим размером, обладают лучшими характеристиками.

[[Файл:LDPC-Matrix 6,2,3 with cycle.svg|right|thumb|Проверочная матрица {{S|LDPC-кода}} {{S|(9, 2, 3)}} с&nbsp;минимальным циклом длины&nbsp;8]]

Важной характеристикой матрицы LDPC-кода является отсутствие циклов определённого размера. Под циклом длины 4 понимают образование в проверочной матрице прямоугольника, в углах которого стоят единицы. Отсутствие цикла длины 4 можно также определить через [[скалярное произведение]] столбцов (или строк) матрицы. Если каждое попарное [[скалярное произведение]] всех столбцов (или строк) матрицы не более 1, это говорит об отсутствии цикла длины 4. Циклы большей длины (6, 8, 10 и т. д.) можно определить, если в проверочной матрице построить [[граф (математика)|граф]], вершинами которого являются единицы, а рёбра — все возможные соединения вершин, параллельные сторонам матрицы (то есть вертикальные или горизонтальные линии). Минимальный цикл в этом графе и будет минимальным циклом в проверочной матрице LDPC-кода. Очевидно, что цикл будет иметь длину как минимум 4, а не 3, так как рёбра графа должны быть параллельны сторонам матрицы. Вообще, любой цикл в этом графе будет иметь чётную длину, минимальный размер 4, а максимальный размер обычно не играет роли (хотя, очевидно, он не более, чем количество узлов в графе, то есть n×k).

Описание LDPC-кода возможно несколькими способами:
* проверочной матрицей
* [[двудольный граф|двудольным графом]]
* другим графическим способом
* специальные способы

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

Способ задания кода проверочной матрицей является общепринятым для линейных кодов, когда каждая строка матрицы является элементом некоторого множества кодовых слов. Если все строки линейно-независимы, строки матрицы могут рассматриваться как базис множества всех кодовых векторов кода. Однако использование данного способа создаёт сложности для представления матрицы в памяти кодера — необходимо хранить все строки или столбцы матрицы в виде набора двоичных векторов, из-за чего размер матрицы становится равен <math>j \times k</math> бит.

[[Файл:Ldpc code fragment factor graph.svg|right|thumb|Представление LDPC-кода в виде двудольного графа]]
Распространённым графическим способом является представление кода в виде двудольного графа. Сопоставим все <math>k</math> строк матрицы <math>k</math> нижним вершинам графа, а <math>n</math> столбцов — верхним, и соединим верхние и нижние вершины графа, если на пересечении соответствующих строк и столбцов стоят единицы.

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

[[Файл:LDPC - Vladimirov graph - 9, 3, 2.svg|right|thumb|Представление {{S|(9, 2, 3)}} {{S|LDPC-кода}} в виде графа специального вида. Матрица кода приведена выше.]]
Вводя дополнительные правила графического отображения и построения LDPC-кода, можно добиться, что в процессе построения код получит определённые свойства. Например, если использовать граф, вершинами которого являются только столбцы проверочной матрицы, а строки изображаются многогранниками, построенными на вершинах графа, то следование правилу «два многогранника не разделяют одно ребро» позволяет избавиться от циклов длины 4.

При использовании специальных процедур построения кода могут использоваться и свои способы представления, хранения и обработки (кодирования и декодирования).

== Построение кода ==
В настоящее время используются два принципа построения проверочной матрицы кода. Первый основан на генерации начальной проверочной матрицы с помощью псевдослучайного генератора. Коды, полученные таким способом, называют '''случайными''' ({{lang-en|random-like codes}}). Второй — использование специальных методов, основанных, например, на группах и [[Конечное поле|конечных полях]]. Коды, полученные этими способами называют '''структурированными'''. Лучшие результаты по исправлению ошибок показывают именно случайные коды, однако структурированные коды позволяют использовать методы оптимизации процедур хранения, кодирования и декодирования, а также получать коды с более предсказуемыми характеристиками.

В своей работе Галлагер предпочёл с помощью генератора псевдослучайных чисел создать начальную проверочную матрицу небольшого размера с заданными характеристиками, а далее увеличить её размер, дублируя матрицу<ref name="LDPC">Слюсар В.&nbsp;И.&nbsp;Синтез LDPC и полярных кодов на основе торцевого произведения матриц.// Development of Education, Science and Business: Results 2020: abstracts of the International Scientific and Practical Internet Conference, December 3-4, 2020. – Part 2. – Pp. 393—396. [https://slyusar.kiev.ua/Conference%20Results%202020_Part%202.pdf] {{Wayback|url=https://slyusar.kiev.ua/Conference%20Results%202020_Part%202.pdf|date=20210125095659}}.</ref> и используя метод перемешивания строк и столбцов для избавления от циклов определённой длины.

В [[2003 год]]у Джеймсом МакГованом и Робертом Вильямсоном был предложен способ удаления циклов из матрицы LDPC-кода, в связи с чем стало возможным в начале сгенерировать матрицу с заданными характеристиками {{S|(n, j, k)}}, а затем удалить из неё циклы. Так происходит в схеме Озарова-Вайнера<ref>{{статья
 |автор       = Ю.В. Косолапов.
 |заглавие = О применении схемы Озарова-Вайнера для защиты информации в беспроводных многоканальных системах передачи данных
 |ссылка     = http://www.contrterror.tsure.ru/site/magazine10/pdf/13.pdf
 |издание   = Информационное противодействие угрозам терроризма
 |тип           = Научно-практический журнал
 |год           = [[2007 год|2007]]
 |том           = 
 |номер       = [http://www.contrterror.tsure.ru/site/magazine10/soder.htm 10]
 |страницы = 111-120
 |archiveurl       = https://web.archive.org/web/20130624140157/http://www.contrterror.tsure.ru/site/magazine10/pdf/13.pdf
 |archivedate      = 2013-06-24
}}</ref>.

В [[2007 год]]у в журнале «IEEE Transactions on Information Theory» была опубликована статья об использовании конечных полей для построения квази-цикличных LDPC-кодов для каналов с аддитивным белым Гауссовым шумом и двоичных каналов со стиранием.

Для увеличения размерности кода может быть использовано кратное [[торцевое произведение]] порождающих матриц<ref name="LDPC" />.

== Декодирование ==
Как и для любого другого линейного кода, для декодирования используется свойство ортогональности порождающей и транспонированной проверочной матриц:
: <math>G \odot H^T  = 0</math>,
где <math>G</math> — порождающая матрица, и <math>H</math> — проверочная, <math>\odot</math> - символ умножения по модулю 2 (если в качестве элемента результирующей матрицы получается число, кратное 2, то вместо него записывается ноль). Тогда для каждого принятого без ошибок кодового слова выполняется соотношение
: <math>s = v \odot H^T = 0</math>,
а для принятого кодового слова с ошибкой:
: <math>s = v \odot H^T \neq 0</math>,
где <math>v</math> — принятый вектор, <math>s</math> — [[БЧХ#Методы декодирования|синдром]].
В случае, если после умножения принятого кодового слова на транспонированную проверочную матрицу получается ноль, блок считается принятым без ошибок. В противном случае используются специальные методы для определения местоположения ошибки и её исправления. Для LDPC-кода стандартные способы исправления оказываются слишком трудоёмкими — их относят к классу NP-полных задач, что, учитывая большую длину блока, не может применяться на практике. Вместо них применяют метод вероятностного итеративного декодирования, исправляющую большую долю ошибок за границей половины кодового расстояния<ref>В. Б. Афанасьев, Д. К. Зигангиров «О некоторых конструкциях низкоплотностных кодов с компонентным кодом Рида-Соломона»</ref>.

Рассмотрим<ref>{{Cite web |url=http://www.inference.phy.cam.ac.uk/mackay/mncEL.pdf |title=David J.C. MacKay, Radford M. Neal Near Shannon Limit Performance of Low Density Parity Check Codes |access-date=2008-08-28 |archive-date=2007-04-17 |archive-url=https://web.archive.org/web/20070417193453/http://www.inference.phy.cam.ac.uk/mackay/mncEL.pdf |deadlink=no }}</ref> симметричный канал без памяти со входом <math>\pm a</math> и аддитивным гауссовым шумом <math>\sigma ^2  = 1</math>. Для принятого кодового слова <math>y</math> нужно найти соответствующий наиболее вероятный вектор <math>x</math>, такой что
: <math>H \odot x = 0 \mod 2</math>.
# Определим
#:: <math>f_n^1  = {1 / \mathord{ \left( 1 + \exp \left( - 2ay_n / \mathord{\sigma^2} \right) \right) }}</math>;
#:: <math>f_n^0 = 1 - f_n^1</math>;
#: где <math>y_n</math> — принятое значение n-го символа кодового слова (которое для данного канала имеет произвольное значение, обычно в рамках <math>\pm (a + 3 \sigma)</math>).
# Будем использовать слово «бит» для обозначения отдельных элементов вектора <math>x</math>, и слово «проверка» для обозначения строк проверочной матрицы <math>H</math>. Обозначим через <math>N\left(m\right) \equiv \{ n:H_{nm}  = 1\}</math> набор битов, которые будут участвовать в m-ой проверке. Аналогично, обозначим <math>M\left(n\right) \equiv \{ m:H_{nm}  = 1\}</math> набор проверок, в которых участвует бит n. (То есть перечислим индексы ненулевых элементов для каждой строки и для каждого столбца проверочной матрицы <math>H</math>).
# Инициализируем матрицы <math>q_{mn}^0</math> и <math>q_{mn}^1</math> значениями <math>f_n^0</math> и <math>f_n^1</math> соответственно
# (Горизонтальный шаг)
#:: <math>\delta q_{mn}  = q_{mn}^0  - q_{mn}^1</math>
#:: <math> \delta r_{mn}  = \prod\limits_{n' \in N(m)\backslash n} {\delta q_{mn'} } </math>
#:: <math>r_{mn}^0  = {1 \over 2}\left( {1 + \delta r_{mn} } \right)</math>
#:: <math>r_{mn}^1  = {1 \over 2}\left( {1 - \delta r_{mn} } \right)</math>
# (Вертикальный шаг)
#:: <math>q_{mn}^0 = \alpha_{mn} f_n^0 \prod\limits_{m' \in M\left( n \right)\backslash m} {r_{m'n}^0 } </math>
#:: <math>q_{mn}^1 = \alpha_{mn} f_n^1 \prod\limits_{m' \in M\left( n \right)\backslash m} {r_{m'n}^1 } </math>
#: где для каждого <math>m</math> и <math>n</math> выбранное <math>\alpha_{mn}</math> даёт:
#:: <math>q_{mn}^0 + q_{mn}^1 = 1</math>
#: Теперь также обновляем «псевдопостериорные вероятности» того, что биты вектора <math>x</math> принимают значения 0 или 1:
#:: <math>q_{n}^0 = \alpha_n f_n^0 \prod\limits_{m \in M\left( n \right)} {r_{mn}^0 }</math>
#:: <math>q_{n}^1 = \alpha_n f_n^1 \prod\limits_{m \in M\left( n \right)} {r_{mn}^1 }</math>
#: Также, как и ранее, <math>\alpha_n</math> выбирается таким образом, что
#:: <math>q_{n}^0 + q_{n}^1 = 1</math>

Данные значения используются для воссоздания вектора x. Если полученный вектор удовлетворяет <math>H \odot x = 0 \mod 2</math>, то алгоритм на этом прерывается, иначе повторяются горизонтальный и вертикальные шаги. Если же алгоритм продолжается до некоторого шага (например, 100), то он прерывается и блок объявляется принятым с ошибкой.

Известно, что данный алгоритм даёт точное значение вектора <math>x</math> (то есть, совпадающее с классическими способами), если проверочная матрица <math>H</math> не содержит циклов<ref>J. Pearl. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann, San Mateo, 1988.</ref>.

== Примечания ==
{{примечания}}

== См. также ==
* [[Турбо-код]]
* [[Полярные коды]]

[[Категория:Теория кодирования]]