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

Попытаемся определить наилучшее, или оптимальное, правило декодирования.  

Пусть U = (U₀ , U₁ ,…U_i ,… U_n )  является переданным кодовым словом некоторого двоичного блочного (n,k)-кода, а r  = (r₀ , r₁ , … r_i , ... r_n )  - последовательность, принятая на выходе канала с помехами.

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

Декодер канала на основе принятой последовательности  должен принять решение относительно переданного кодового слова. Процедура принятия такого решения и называется декодированием.

Если декодер не в состоянии правильно воспроизвести действительное кодовое слово, то есть m* ¹ m , то при декодировании возникнет ошибка. Эта ошибка случайна, ее вероятность зависит от характеристик канала связи, характеристик кода, метода кодирования и декодирования. Желательно, чтобы вероятность ошибочного декодирования была как можно меньшей.

Как должен работать декодер, чтобы вероятность ошибочного декодирования была минимальной?

Сначала рассмотрим ситуацию, когда приемник не принимает решений относительно того, какой из символов r_i ( 0 или 1 ) в данный момент принят, то есть он отдает декодеру весь принятый сигнал S(t) и предоставляет право принимать решения самому декодеру.

Пусть  U_{l ,}(l = 0, 1, 2, 3..2^k - l) − l-е кодовое слово используемого кода;

U_li  − i-й символ этого кодового слова;

S(t)  - принятый сигнал, содержащий одно из кодовых слов и помеху.

Какое кодовое слово содержится в принятом сигнале, мы не знаем. Известна только априорная вероятность передачи l–го кодового слова - P_l.

Оптимальный декодер должен учитывать всю имеющуюся информацию об используемом коде, канале связи и помехах, действующих в этом канале, и обеспечивать максимальную вероятность правильных ответов о том, какие кодовые слова были переданы по каналу связи. Такой критерий оптимальности - максимум апостериорной (послеопытной) вероятности правильных решений  -  называется критерием Байеса.

Оптимальный по критерию Байеса декодер должен выбирать в качестве решения кодовое слово U* = U_k, которое максимизирует условную вероятность P(U_k/S) — вероятность того, что была передана последовательность U_k, если принята данная реализация сигнала S.

Поскольку

                          P (U_k / S)× P(S) = P (S / U_k )× P(U_k),                                   (1.31)     

то                       P (U_k / S) = P (S / U_k )× P(U_k)/ P(S).                                   (1.32)

Если считать, что все кодовые слова равновероятны - P(U_k) = const, а также учитывая, что безусловная плотность  P(S)  не зависит от U_k , то максимуму P (U_k /S) соответствует максимум  P (S/U_k ),  так называемой функции правдоподобия — условной  вероятности того, что сигнал  примет свое значение  S,   если передавалось кодовое слово U_k .

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

                               d_k  =  S ∫{ S(t) - U_k  }²  d t ,                                          (1.33)

или                            

   d_k  =  SS { S_i  - U_{k i}  }²  ,                                                 (1.34)

если принятый сигнал дискретизован и S_i  –  i-й отсчет принятого сигнала.

Сумма квадратов разностей между значениями принятого сигнала  S_i  и  символами k-го кодового слова называется невязкой, или евклидовым расстоянием между этим кодовым словом и принятым сигналом.

Если помех в канале связи нет или они невелики, то при передаче l-го кодового слова принятый сигнал S будет совпадать с этим кодовым словом или незначительно отличаться от него. Тогда невязка будет равна нулю или минимальна именно для l = k.

Таким образом, оптимальный декодер должен вычислить евклидовы расстояния между принятым сигналом S и всеми возможными кодовыми словами U_k данного кода  и принять решение в пользу кодового слова U_l , минимизирующего   d_l ² , то есть наиболее похожего на принятый сигнал.