[논문 리뷰] Error-correcting codes derived from combinatorial games

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

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를 생성할 수 있으며, 이는 부호의 구조와 효율성을 유지한다.
• 이 프레임워크는 게임 이론적 개념과 부호 이론을 통합하여, 부호 생성 및 분석을 위한 새로운 길을 제시한다.