線形符号
linear code
乗法の符号化と復号化が容易
通信の分野で用いられる
「$ \mathbb{F}^n_qの$ k次元部分空間$ C」のことを
「$ \mathbb{F}_q上の長さ$ n、次元$ kの線形符号」、もしくは
「$ [n,k]_q 符号」と呼ぶ
$ \mathbb{F}_q上の線形符号を「q元線形符号」とも呼ぶ
特に0と1の符号からなるものを2元線形符号という
長さ3の2元線形符号の例
$ C=\{(001),(011),(110),(111)\}.
これは4次元?
つまり$ [3,4]_2 符号ってこと?
Hamming距離$ d と最小距離$ d(C) が等しい時、$ [n,k,d]_q と書く
$ n\gt k\ge dは成り立っている
$ n\ge d+k-1も成り立つ
例
https://gyazo.com/078efe82c67dad23953040ff3eef41eb
Griesmer限界も満たしている
MDS符号
ヴァンデルモンド行列
GRS符号
記述のmemo
$ \mathbb{F}^\ast_q=\mathbb{F}_q\backslash\{0\}
設計距離δのBCH符号
PG(k-1, q)
巡回符号
剰余符号
Griesmer符号
Plotkin限界
符号語
生成行列
Hamming符号
符号の距離
反復符号
双対符号
検査行列
珠詰め限界
完全符号
Golay符号
最近傍複合
最適線形符号問題