6.11. Коды, используемые при последовательном декодировании
При последовательном и других аналогичных методах декодирования декодер принимает решение о том или ином переданном символе, основываясь не обязательно лишь на символах, лежащих в пределах кодового ограничения. Как мы видели выше в разд. 6.2, в процессе поиска правильного пути на
Доказательство. Минимальное расстояние кода не может быть достигнуто на кодовых последовательностях, информационные подпоследовательности которых имеют ненулевой первый символ
но содержат
или более следующих друг за другом символов 0. Это связано с тем, что при наличии
и более следующих друг за другом символов 0 в информационной подпоследовательности вес соответствующей кодовой последовательности можно увеличить на 1. Согласно свойству 1, свободное расстояние
систематического кода со скоростью
не может превышать число единиц в порождающей последовательности, которое в свою очередь не превышает
Кодовая последовательность, на которой достигается минимальное расстояние, должна содержать по крайней мере один символ 1 в
подблоке и по крайней мере один символ 1 в любых следующих друг за другом подблоках. Это означает, что все такие кодовые слова с
в пределах первых
подблоков имеют вес не менее
Следовательно,
Свободное расстояние является характеристикой кода, которая представляет интерес не только в тех случаях, когда рассматривается гипотетический декодер с
но и при последовательном декодировании, когда перед принятием решения о том или ином переданном символе могут обследоваться последовательности длиной в несколько кодовых ограничений.
Коды с большими значениями
могут быть построены с помощью описанного ниже алгоритма, представляющего собой модификацию алгоритма
Алгоритм IV (предполагается, что
0) Положить
1) Положить
2) Вычислить
Если
то положить
и перейти к шагу 4.
3) Положить
4) Если
то построение кода заканчивается; в противном случае положить
и перейти к шагу 1.
Коды, построенные с помощью этого алгоритма, обладают следующими свойствами:
Свойство
для всех и.
Свойство
Если на шаге 2 оказывается, что
то
Теорема 6.9. При всех
где
свободное расстояние <гусеченного» кода с памятью на
моментов времени.