“相同的高重零点计数也支撑列表译码与列表恢复。算法性结论需额外给出插值阶数、输出列表大小和运行时间,不能从距离公式直接推出。Alphabet 包含多个域元素,比较码率或查询数时还应说明按大符号…”
形式陈述 ​
设
满足
的码字
这是组合性质,只保证候选集合不大。若另有算法对任意输入列表列都能在关于块长、表示长度和参数的多项式时间内输出所有候选,才称为高效列表恢复。算法不能漏掉达标码字,也不能只返回某个看起来最可能的候选。
当
直觉
普通接收词在每个位置只提出一个猜测;列表恢复允许上游算法说“这个坐标可能是这几个符号之一”。目标码字不必在所有位置都进入候选集,只需命中足够多位置。它因而适合级联码:内码译码器可为每个外码坐标产生一个小列表,外码的 list-recovery 算法再把跨坐标一致的全局消息拼出来。
三个参数承担不同风险。增大
例子与边界
取三元重复码
和输入集合
令
若把第三个集合改为
信息论界还依赖字母表。对随机码作粗略计数时,一个固定码字在随机大小
推论与应用
列表恢复是把局部不确定性组合成全局候选的标准接口。级联码中,内码负责把噪声压成逐坐标小列表,外码负责跨位置一致性;基于 expander 的放大、tensor/product codes 的局部算法以及交互式编码也会调用同一接口。接口的价值在于调用者无需知道外码如何插值,只需提供集合列并遵守
折叠 Reed–Solomon 与重数码利用同一多项式在相关评价或导数数据间的代数一致性获得强列表恢复性质。具体半径与复杂度依赖折叠参数、重数、域大小和插值维数,应由各构造页承担,而本页只固定输入输出语义。
参考资料
- Venkatesan Guruswami and Atri Rudra, “Explicit Codes Achieving List Decoding Capacity: Error-Correction with Optimal Redundancy,” IEEE Transactions on Information Theory 54(1), 2008, 135–150, Definition 5.1.
- Venkatesan Guruswami, Algorithmic Results in List Decoding, Foundations and Trends in Theoretical Computer Science 2(2), 2007.
- Brett Hemenway, Noga Ron-Zewi, and Mary Wootters, “Local List Recovery of High-Rate Tensor Codes and Applications,” SIAM Journal on Computing 49(4), 2020, 1–73.