Стандартный массив - Википедия - Standard array

В теория кодирования, а стандартный массив (или массив Слепиан) - это ${ Displaystyle д ^ {п-к}}$ к ${ displaystyle q ^ {k}}$ массив, в котором перечислены все элементы определенного ${ displaystyle mathbb {F} _ {q} ^ {n}}$ векторное пространство. Стандартные массивы используются для расшифровать линейные коды; т.е. найти соответствующий кодовое слово для любого полученного вектора.

Определение

Стандартный массив для [п,k] -код - это ${ Displaystyle д ^ {п-к}}$ к ${ displaystyle q ^ {k}}$ массив где:

В первой строке перечислены все кодовые слова (с 0 кодовое слово в крайнем левом углу)
Каждая строка представляет собой смежный с лидер группы в первом столбце
Запись в i-й строке и j-м столбце представляет собой сумму i-го лидера смежного класса и j-го кодового слова.

Например, [5,2]-код ${ displaystyle C_ {3}}$ = {0, 01101, 10110, 11011} имеет следующий стандартный массив:

0	01101	10110	11011
10000	11101	00110	01011
01000	00101	11110	10011
00100	01001	10010	11111
00010	01111	10100	11001
00001	01100	10111	11010
11000	10101	01110	00011
10001	11100	00111	01010

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

Первая строка содержит 0 вектор и кодовые слова ${ displaystyle C_ {3}}$ (0 сам является кодовым словом). Кроме того, крайний левый столбец содержит векторы минимальный вес сначала перечисляя векторы веса 1, а затем используя векторы веса 2. Также каждый возможный вектор в векторном пространстве появляется ровно один раз.

Построение стандартного массива

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

Перечислите кодовые слова ${ displaystyle C}$ , начиная с 0, как первая строка
Выберите любой вектор минимального веса, которого еще нет в массиве. Запишите это как первую запись следующей строки. Этот вектор обозначается как 'лидер группы '.
Заполните строку, добавив лидера смежного класса к кодовому слову вверху каждого столбца. Сумма i-го лидера смежного класса и j-го кодового слова становится записью в строке i, столбце j.
Повторяйте шаги 2 и 3, пока не будут перечислены все строки / смежные классы и каждый вектор не появится ровно один раз.

Добавление векторов выполняется по модулю q. Например, двоичные коды добавляются по модулю 2 (что эквивалентно поразрядному сложению XOR). Например, в ${ displaystyle Z_ {2}}$ , 11000 + 11011 = 00011.

Выбор разных лидеров смежных классов создаст немного другой, но эквивалентный стандартный массив и не повлияет на результаты при декодировании.

Пример конструкции

Позволять ${ displaystyle C}$ быть двоичный [4,2] -код. то есть C = {0000, 1011, 0101, 1110}. Чтобы построить стандартный массив, мы сначала перечисляем кодовые слова в строке.

0000	1011	0101	1110

Затем мы выбираем вектор минимального веса (в данном случае веса 1), который не использовался. Этот вектор становится лидером смежного класса для второй строки.

0000	1011	0101	1110
1000

Следуя шагу 3, мы завершаем строку, добавляя лидера смежного класса к каждому кодовому слову.

0000	1011	0101	1110
1000	0011	1101	0110

Затем повторяем шаги 2 и 3, пока не закончим все ряды. Мы останавливаемся, когда достигли ${ Displaystyle д ^ {п-к} = 2 ^ {4-2} = 2 ^ {2} = 4}$ ряды.

0000	1011	0101	1110
1000	0011	1101	0110
0100	1111	0001	1010
0010	1001	0111	1100

В этом примере мы не могли выбрать вектор 0001 в качестве лидера смежного класса последней строки, даже если он соответствует критерию минимального веса (1), потому что вектор уже присутствовал в массиве. Однако мы могли бы выбрать его в качестве первого лидера смежного класса и построить другой стандартный массив.

Расшифровка через стандартный массив

Чтобы декодировать вектор с использованием стандартного массива, вычтите вектор ошибки - или лидера смежного класса - из полученного вектора. Результатом будет одно из кодовых слов в ${ displaystyle C}$ . Например, предположим, что мы используем код C = {0000, 1011, 0101, 1110} и создали соответствующий стандартный массив, как показано в примере выше. Если мы получаем вектор 0110 как сообщение, мы находим этот вектор в стандартном массиве. Затем мы вычитаем лидера смежного класса вектора, а именно 1000, чтобы получить результат 1110. Мы получили кодовое слово 1110.

Декодирование с помощью стандартного массива представляет собой форму декодирование ближайшего соседа. На практике для декодирования с помощью стандартного массива требуется большой объем памяти - для кода с 32 кодовыми словами требуется стандартный массив с ${ displaystyle 2 ^ {32}}$ записи. Другие формы декодирования, такие как расшифровка синдрома, более эффективны.

Декодирование с помощью стандартного массива не гарантирует правильного декодирования всех векторов. Если мы получим вектор 1010, использование стандартного массива выше расшифрует сообщение как 1110, расстояние кодового слова равно 1. Однако 1010 также находится на расстоянии 1 от кодового слова 1011. В таком случае некоторые реализации могут запросить повторную отправку сообщения, или неоднозначный бит может быть помечен как стирание и последующий внешний код может исправить это. Эта неоднозначность - еще одна причина того, что иногда используются разные методы декодирования.

Смотрите также

Линейный код