代数几何码：从理论到应用
1 代数几何码基础理论
代数几何码在编码理论中占据着重要地位。当满足条件 $\text{deg}(D - P_1 - \cdots - P_n) < 0$ 时，依据相关定理可知 $L(D - P_1 - \cdots - P_n) = {0}$，这表明 $f = 0$，且评估映射 $ev_P$ 的核为平凡核。由此可得出 $k = \text{deg}(D) + 1 - g$，同时定理中所给的矩阵是码 $C(X, P, D)$ 的生成矩阵。
若 $ev_P(f)$ 具有最小非零权重 $d$，那么对于某些 $n - d$ 个不同的指标 ${i_j | 1 \leq j \leq n - d}$，有 $f(P_{i_j}) = 0$。此时 $f \in L(D - P_{i_1} - \cdots - P_{i_{n - d}})$，由于 $f \neq 0$，根据定理可得 $\text{deg}(D - P_{i_1} - \cdots - P_{i_{n - d}}) \geq 0$，进而推出 $d \geq n - \text{deg}(D)$。
2 里德 - 所罗门码与代数几何码
以射影平面曲线 $X$（由 $z = 0$ 定义在 $F_q$ 上）为例，其点形如 $(x : y : 0)$，本质上构成射影直线。设 $P_{\infty} = (1 : 0 : 0)$，直线上有 $q$ 个 $F_q$ - 有理点，令 $P_0 = (0 : 1 : 0)$ 为其中一个 $F_q$ - 有理点，$P_1, \cdots, P_{q - 1}$ 为其余的点。
对于狭义里德 - 所罗门码，取 $n = q -
