[논문 리뷰] Misere Hackenbush is NP-Hard

Fraser Stewart|arXiv (Cornell University)|2012. 02. 17.

Artificial Intelligence in Games참고 문헌 3인용 수 3

한 줄 요약

이 논문은 기존에 알려진 NP-난이도인 정상 플레이 레드-블루 하켄부시에서의 감소를 통해 레드-블루-그린 미저 플레이 하켄부시가 NP-난이도임을 증명한다. 레드-블루 미저 플레이 하켄부시는 기저에 연결된 간선 수를 단순히 세는 방식으로 다항식 시간 내에 해결 가능하지만, 양측 플레이어가 제거할 수 있는 녹색 간선의 추가로 조합적 복잡성이 발생하여 미저 플레이 규칙 하에서 문제의 난이도가 NP-난이도로 상승한다.

ABSTRACT

Hackenbush is a two player game, played on a graph with coloured edges where players take it in turns to remove edges of their own colour. It has been shown that under normal play rules Red-Blue Hackenbush (all edges are coloured either red or blue) is NP-hard. We will show that Red-Blue Hackenbush is in P, but that Red-Blue-Green Hackenbush is NP-Hard, when played under misère rules.

연구 동기 및 목표

• 미저 플레이 규칙 하에서 레드-블루-그린 미저 하켄부시의 계산 복잡도를 규명하는 것.
• 다항식 시간 내에 해결 가능한 레드-블루 미저 플레이 하켄부시의 복잡도와 녹색 간선이 포함된 경우의 더 복잡한 사례를 대비하는 것.
• 양측 플레이어가 제거할 수 있는 녹색 간선의 포함이 문제의 난이도를 크게 증가시켜 NP-난이도로 이어진다는 것을 입증하는 것.
• 예를 들어 기저에 연결된 녹색 간선만 존재하는 등의 제한된 형태의 게임이 여전히 NP-난이도인지 조사하는 것.

제안 방법

• 정상 플레이 레드-블루 하켄부시에서 미저 플레이 레드-블루-그린 하켄부시로의 감소를 구성한다.
• 변환 과정은 지면을 단일 정점으로 대체하고, 그 결과로 생긴 그래프를 단일 기저에 연결된 녹색 간선에 연결하는 방식이다.
• 이 구조는 어떤 플레이어도 조기에 녹색 간선을 잘라내지 않도록 보장한다. 왜냐하면 미저 규칙 하에서 그렇게 하면 즉시 패배하기 때문이다.
• 변환된 게임 $ G_m $ 의 결과는 정상 플레이 규칙 하에서 원래의 $ G' $ 의 결과와 일치한다.
• 이 증명은 정상 플레이 규칙 하에서 $ G' $ 를 이기는 플레이어가 미저 플레이 규칙 하에서 $ G_m $ 를 이긴다는 사실에 기반한다.
• 감소 과정은 NP-난이도를 유지하므로, $ G_m $ 를 해결하는 것은 원래의 NP-난이도 문제를 해결하는 것만큼 어렵다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 레드-블루 미저 플레이 하켄부시가 다항식 시간 내에 해결 가능한 데도 불구하고, 레드-블루-그린 미저 플레이 하켄부시는 NP-난이도인가?
• RQ2 정상 플레이 레드-블루 하켄부시의 NP-난이도가 녹색 간선이 있는 미저 플레이 버전으로 이행될 수 있는가?
• RQ3 양측 플레이어가 제거할 수 있는 녹색 간선의 존재가 게임의 계산 복잡도를 본질적으로 변화시키는가?
• RQ4 예를 들어 기저에 연결된 녹색 간선만 존재하는 등의 제한된 부분집합은 여전히 NP-난이도인가?

주요 결과

• 레드-블루 미저 플레이 하켄부시는 다항식 시간 내에 해결 가능하며, 결과는 기저에 연결된 파란색과 빨간색 간선의 수를 비교함으로써 결정된다.
• 기저에 연결된 파란색 간선 수가 빨간색 간선 수를 초과하면 왼쪽 플레이어가 승리한다. 빨간색 간선 수가 초과하면 오른쪽 플레이어가 승리한다. 두 수가 같으면 선공 플레이어가 승리한다.
• 레드-블루-그린 미저 플레이 하켄부시에 녹색 간선을 추가하면 문제의 복잡도가 NP-난이도로 상승한다.
• NP-난이도는 기존에 알려진 NP-난이도인 정상 플레이 레드-블루 하켄부시에서의 감소를 통해 입증된다.
• 감소 과정은 미저 플레이 규칙 하에서의 결과가 정상 플레이 규칙 하에서의 $ G' $ 의 결과와 일치하는 게임 $ G_m $ 를 구성한다.
• 증명은 $ G_m $ 에서 어떤 플레이어도 단일 기저에 연결된 녹색 간선을 자르지 않을 것임을 보여주며, 그렇게 하면 미저 규칙 하에서 상대방이 즉시 승리하기 때문이다.