数学 › 有限体と符号 › 線形符号

符号・最小距離

定義 2.3(「線形符号」§2)

Fqn\mathbb{F}_q^n の空でない部分集合 CC を(Fq\mathbb{F}_q 上の)長さ nn の符号、その元を符号語という。∣C∣≥2|C| \ge 2 のとき

d(C)=min⁡{ d(c,c′):c,c′∈C, c≠c′ }d(C) = \min\{\, d(\boldsymbol{c}, \boldsymbol{c}') : \boldsymbol{c}, \boldsymbol{c}' \in C,\ \boldsymbol{c} \ne \boldsymbol{c}' \,\}

を CC の最小距離という。長さ nn、符号語の個数 MM、最小距離 dd の符号を (n,M,d)q(n, M, d)_q 符号という。R=log⁡qMnR = \dfrac{\log_q M}{n} を情報率、δ=d/n\delta = d/n を相対距離という。

受信語 y∈Fqn\boldsymbol{y} \in \mathbb{F}_q^n に対し、d(c,y)d(\boldsymbol{c}, \boldsymbol{y}) が最小になる符号語 c\boldsymbol{c} の 1 つを出力する復号を最小距離復号という。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理

証明で明示的に参照している定理は、まだありません。