[논문 리뷰] Computational Complexity of Games and Puzzles

Diogo M. Costa|arXiv (Cornell University)|2018. 07. 12.

Artificial Intelligence in Games참고 문헌 39인용 수 13

한 줄 요약

이 학위논문은 계산 복잡도 이론을 적용하여 퍼즐 게임의 난이도를 분석하며, 알려진 NP-완전 및 PSPACE-완전 문제로부터의 축소를 통해 Hexiom, Cut the Rope, Back to Bed 등이 계산적으로 어려운 문제임을 증명한다. 이는 3-CNFSAT를 통한 NP-난이도 또는 TQBF를 통한 PSPACE-완전성으로 입증되며, 기구 기반의 구성 방식을 통해 이러한 게임들이 내재된 알고리즘적 난이도를 지닌다는 것을 보여준다.

ABSTRACT

In this thesis, we survey techniques and results from the study of Complexity Theory and Games. We then apply these techniques to obtain new results for previously unstudied games. Our contributions in the games Hexiom, Cut the Rope, and Back to Bed may be helpful in further studies by exploiting structure common to several games. We also highlight some interesting paths for further study related to uncertainty that have yet to receive thorough study given their prevalence in today's games.

연구 동기 및 목표

• 형식적 복잡도 이론을 활용하여 이전에 연구되지 않은 퍼즐 게임의 계산 복잡도를 탐구하는 것.
• NP-완전성 및 PSPACE-완전성의 기존 프레임워크—예를 들어, 축소, 회로 SAT, TQBF—를 Hexiom, Cut the Rope, Back to Bed와 같은 새로운 게임에 적용하는 것.
• 복잡도 증명에 활용할 수 있는 게임 간의 공통적인 구조적 패턴을 식별하는 것.
• 특히 현대 게임에서의 불확실성과 숨겨진 정보에 관한 열린 연구 방향을 탐색하는 것.
• 보기에는 단순한 퍼즐 메커니즘이 복잡한 논리 문제를 인코딩할 수 있으며, 이는 본질적인 알고리즘적 난이도를 암시한다는 것을 보여주는 것.

제안 방법

• 3-CNFSAT, 회로 SAT, TQBF 기반의 NP-난이도 및 PSPACE-난이도 축소 프레임워크를 사용하여 논리 공식을 게임 메커니즘에 인코딩하는 데 사용하였다.
• 논리 게이트와 제약 조건을 시뮬레이션하기 위해 게임에 특화된 기구(예: 변수 선택기, 스위치, 문, 경로 세그먼트)를 설계하였다.
• 예를 들어 $(\lnot x \land y) \lor x$와 같은 논리 표현식을 Hexiom의 물리적 퍼즐 구성으로 매핑하여, 공식이 만족 가능할 때에만 게임을 클리어할 수 있도록 하였다.
• 특히 Hexiom에서 논리 공식의 평가가 올바를 때에만 해결 가능하도록 하기 위해, 짝수성 및 여유 셀 계산 기법을 사용하였다.
• Back to Bed에 대해 TQBF 프레임워크를 적응하여, 순찰하는 적을 동적 문 메커니즘으로 활용하고, 텔레포트를 사용해 배선이 필요 없도록 하였다.
• 다양한 게임에서의 기구 배열을 시각화하고, 주석이 달린 사례 예시를 통해 구성의 타당성을 검증하였다.

실험 결과

연구 질문

• RQ1 Hexiom 게임은 계산적으로 어려운가? 만약 그렇다면, 어떤 복잡도 클래스에 속하는가?
• RQ2 Cut the Rope의 게임 메커니즘을 사용해 3-CNFSAT를 시뮬레이션할 수 있으며, 이는 NP-난이도를 증명하는가?
• RQ3 Back to Bed의 양자 게임, 완전 정보 메커니즘을 사용해 TQBF를 시뮬레이션할 수 있으며, 이를 통해 PSPACE-완전성을 입증할 수 있는가?
• RQ4 이동, 스위치, 경로 설정 등의 공통된 퍼즐 게임 메커니즘이 얼마나 넓은 범위의 계산 문제를 인코딩할 수 있는가?
• RQ5 숨겨진 정보나 불확실성은 현대 게임의 복잡도에 어떤 역할을 하는가? 그리고 왜 이 분야는 아직 탐색이 부족한가?

주요 결과

• Hexiom는 3-CNFSAT에서의 축소를 통해 NP-난이도임이 입증되었으며, 게임의 클리어 가능성은 논리 공식의 만족 가능성과 정확히 일치한다.
• Cut the Rope는 3-CNFSAT 기반의 축소를 통해 NP-난이도임이 입증되었으며, 논리 게이트와 변수 할당을 시뮬레이션하는 기구들이 활용되었다.
• Back to Bed는 TQBF 기반의 축소를 통해 PSPACE-완전임이 입증되었으며, 순찰하는 적을 동적 문 메커니즘으로 사용하였다.
• Offspring Fling은 TQBF 프레임워크를 사용하여 PSPACE-완전임이 입증되었으며, 이동 및 물체 들기 제약 조건이 양적 불리 공식을 인코딩하였다.
• HexCells와 Triangular Akari는 회로 SAT 축소를 통해 NP-난이도임이 입증되었으며, 빛의 전파와 타일 배치가 논리 회로를 시뮬레이션하였다.
• 이 학위논문은 Hexiom의 여유 셀과 짝수성 계산 메커니즘이 논리 평가의 정확성을 보장하는 데 사용될 수 있으며, 공식이 참일 때에만 게임이 클리어 가능하다는 것을 입증하였다.