[논문 리뷰] Tetris Hypergraphs and Combinations of Impartial Games

Endre Boros, Vladimir Gurvich외 3명|arXiv (Cornell University)|2017. 01. 11.

Artificial Intelligence in Games참고 문헌 4인용 수 6

한 줄 요약

이 논문은 초그래프를 사용하여 무임 게임의 $χ$-조합을 도입하여, 표준 합을 초월한 스프라우그-그린디 이론의 일반화를 제시한다. $NIM_{\mathcal{H}}$는 단일 터널 NIM 게임의 $χ$-조합으로 정의되며, $NIM_{\mathcal{H}}$가 SG 감소하는 초그래프인 테트리스 초그래프를 도입한다. 주요 기여는 테트리스 초그래프의 특성화와, 이러한 게임의 스프라우그-그린디 함수를 계산하는 것이 심지어 교차 초그래프일지라도 NP-난이도임을 증명하는 것이다.

ABSTRACT

The Sprague-Grundy (SG) theory reduces the sum of impartial games to the classical game of $NIM$. We generalize the concept of sum and introduce $\cH$-combinations of impartial games for any hypergraph $\cH$. In particular, we introduce the game $NIM_\cH$ which is the $\cH$-combination of single pile $NIM$ games. An impartial game is called SG decreasing if its SG value is decreased by every move. Extending the SG theory, we reduce the $\cH$-combination of SG decreasing games to $NIM_\cH$. We call $\cH$ a Tetris hypergraph if $NIM_\cH$ is SG decreasing. We provide some necessary and some sufficient conditions for a hypergraph to be Tetris.

연구 동기 및 목표

• 무임 게임의 고전적 합을 초그래프를 사용하여 일반화하여, 표준 이산 합을 초월한 새로운 게임 조합을 가능하게 한다.
• 단일 터널 NIM 게임의 $\mathcal{H}$-조합으로서 $NIM_{\mathcal{H}}$를 정의하고, 그 스프라우그-그린디 함수를 연구한다.
• 스프라우그-그린디 함수가 감소하는 초그래프인 테트리스 초그래프를 도입하고, 이를 특성화한다. 이는 고전적 NIM의 성질을 일반화한다.
• NIM_{\mathcal{H}}의 스프라우그-그린디 함수 계산의 계산 복잡도를 규명하여, 강한 구조적 제약 조건 하에서도 NP-난이도임을 보인다.

제안 방법

• 모든 이동이 초그래프 $\mathcal{H}$의 초모서리 $H \in \mathcal{H}$를 선택하고, $i \in H$로 인덱싱된 모든 게임에서 이동하는 방식의 무임 게임의 $\mathcal{H}$-조합을 정의한다.
• NIM_{\mathcal{H}}에 대한 스프라우그-그린디 함수의 일반화로서 테트리스 함수 $\mathcal{T}_{\mathcal{H}}(x)$를 도입하여, 최적의 플레이 하에 게임의 결과를 기록한다.
• $\mathcal{H}$가 교차 초그래프일 경우(모든 초모서리들이 쌍별로 교차함)에 $\mathcal{G}_{\mathcal{H}}(x) = \mathcal{T}_{\mathcal{H}}(x)$가 성립하는 조건을 확립한다.
• 교차 초그래프 및 차원이 3 이하인 초그래프에 대해 $\mathcal{T}_{\mathcal{H}}(x)$ 계산이 NP-난이도임을 증명하고, 차원이 2 이하(즉, 그래프)인 초그래프에 대해서는 다항시간으로 계산 가능하다는 것을 보인다.
• 초그래프의 매칭 수 문제에서의 감소를 이용하여 NP-난이도를 증명하며, 각 초모서리에 새로운 정점을 추가하여 $\mathcal{H}^*$를 구성한다.
• SG 감소 게임의 성질과 초모서리의 구조적 제약 조건을 활용하여, 초그래프가 테트리스일 조건을 필요충분조건으로 유도한다.

실험 결과

연구 질문

• RQ1 SG 감소 게임의 $\mathcal{H}$-조합이 $NIM_{\mathcal{H}}$와 동일한 경우는 언제인가?
• RQ2 $NIM_{\mathcal{H}}$가 SG 감소하는, 즉 $\mathcal{H}$가 테트리스 초그래프가 되도록 보장하는 초그래프 $\mathcal{H}$의 조건은 무엇인가?
• RQ3 NIM_{\mathcal{H}}의 스프라우그-그린디 함수는 테트리스 함수 $\mathcal{T}_{\mathcal{H}}$와 어떻게 관련이 있는가?
• RQ4 NIM_{\mathcal{H}} 게임의 $\mathcal{G}_{\mathcal{H}}(x)$를 계산하는 데 필요한 계산 복잡도는 무엇인가?
• RQ5 차원이 유계인 초그래프에 대해 스프라우그-그린디 함수는 다항시간에 계산 가능한가?

주요 결과

• 무임 게임의 $\mathcal{H}$-조합은 고전적 합과 곱의 일반화이며, $NIM_{\mathcal{H}}$는 단일 터널 NIM 게임의 $\mathcal{H}$-조합이다.
• 초그래프 $\mathcal{H}$가 테트리스 초그래프일 조건은 $NIM_{\mathcal{H}}$가 SG 감소할 때이고, 이는 모든 이동이 스프라우그-그린디 값을 감소시킴을 의미한다.
• 모든 초모서리가 쌍별로 교차하는 교차 초그래프의 경우, 모든 위치 $x$에 대해 $\mathcal{G}_{\mathcal{H}}(x) = \mathcal{T}_{\mathcal{H}}(x)$가 성립하며, 이는 스프라우그-그린디 이론을 확장한다.
• 교차 초그래프에 대해 $\mathcal{T}_{\mathcal{H}}(x)$ 계산은 심지어 초그래프 차원이 3 이하일지라도 NP-난이도이다.
• 차원이 2 이하(즉, 그래프)인 초그래프에 대해서는 $\mathcal{T}_{\mathcal{H}}(x)$ 계산이 다항시간에 가능하며, 이는 $b$-매칭 수 계산으로 환원된다.
• 스프라우그-그린디 함수 $\mathcal{G}_{\mathcal{H}}(x)$는 교차 초그래프일지라도 NP-난이도로 계산 가능하며, 이는 해당 경우에 $\mathcal{G}_{\mathcal{H}} = \mathcal{T}_{\mathcal{H}}$이기 때문이다.