[论文解读] Error-correcting codes derived from combinatorial games

Aviezri S. Fraenkel|arXiv (Cornell University)|Apr 11, 1995

Artificial Intelligence in Games参考文献 12被引用 12

一句话总结

本文引入了 *anncodes*，一种从组合博弈（特别是湮灭博弈）导出的新一类线性纠错码，提供了一种多项式时间的码计算方法。它给出了对词典码性质的简短证明，并表明词典码是 anncodes 的子集，展示了如何将词典码构造方法最优地适配以生成 anncodes。

ABSTRACT

The ``losing positions" of certain combinatorial games constitute linear error detecting and correcting codes. We show that a large class of games that can be cast in the form of *annihilation games*, provides a potentially polynomial method for computing codes (*anncodes*). We also give a short proof of the basic properties of the previously known *lexicodes*, which are defined by means of an exponential algorithm, and are related to game theory. The set of lexicodes is seen to constitute a subset of the set of anncodes. In the final section we indicate, by means of an example, how the method of producing lexicodes can be applied optimally to find anncodes. Some extensions are indicated.

研究动机与目标

• 建立组合博弈与线性纠错码之间的联系。
• 引入 *anncodes* 作为一类源自湮灭博弈的新码类，实现高效计算。
• 提供词典码基本性质的简洁证明，此前这些性质依赖于指数时间算法。
• 证明词典码是 anncodes 的真子集，统一两种码构造范式。
• 展示如何将词典构造方法适配以最优地生成 anncodes。

提出的方法

• 将组合博弈建模为湮灭博弈，其中位置对应于码字。
• 将这些博弈中的必败位置定义为有效码字，形成线性码结构。
• 使用博弈论算法在多项式时间内计算 anncodes，与词典码的指数时间方法形成对比。
• 应用词典构造规则（最小字典序选择）生成码，该规则已根据湮灭博弈规则进行调整。
• 证明所得 anncodes 满足线性码的公理，包括加法下的封闭性。
• 证明在特定博弈约束下，通过指数搜索定义的词典码是 anncodes 的特例。

实验结果

研究问题

• RQ1 能否系统性地利用组合博弈生成线性纠错码？
• RQ2 是否存在基于博弈论原理的码的多项式时间算法？
• RQ3 在结构与构造方面，词典码与新引入的 anncodes 有何关系？
• RQ4 词典构造方法能否被适配以高效地从湮灭博弈生成码？
• RQ5 博弈论中的必败位置概念与线性码的代数性质之间存在何种关系？

主要发现

• 湮灭博弈中的必败位置构成线性错误检测与纠错码，称为 *anncodes*。
• anncodes 的构造计算效率高，仅需多项式时间，而词典码则需指数时间。
• 证明了词典码是 anncodes 的真子集，表明 anncodes 广义化了词典码框架。
• 提供了一种简洁的博弈论证明，用于词典码的基本性质，避免依赖复杂的代数工具。
• 词典构造方法可被最优地适配以生成 anncodes，同时保持码的结构与效率。
• 该框架统一了博弈论概念与编码理论，为码的生成与分析开辟了新路径。