[논문 리뷰] Gaming is a hard job, but someone has to do it!

Giovanni Viglietta|arXiv (Cornell University)|2012. 01. 24.

Artificial Intelligence in Games참고 문헌 9인용 수 12

한 줄 요약

이 논문은 단일 사용 경로, 수집 가능한 아이템, 파괴 가능한 요소와 같은 특정 게임 메커니즘과 계산 복잡도 사이의 일반적인 메타정리들을 수립하여, 1980–1998년의 고전적인 비디오 게임에서 NP-난이도 또는 PSPACE-완전성을 증명하는 데 응용한다. 트론, 팩맨, 스타크래프트와 같은 게임들이 NP-난이도임을 입증하며, 이는 NP-완전 문제와 유사한 구조적 제약 조건 덕분이며, 확장 가능한 레벨 설계를 통해 알려진 난이도 있는 문제들로부터의 축소를 통해 이루어진다.

ABSTRACT

We establish some general schemes relating the computational complexity of a video game to the presence of certain common elements or mechanics, such as destroyable paths, collectible items, doors opened by keys or activated by buttons or pressure plates, etc. Then we apply such "metatheorems" to several video games published between 1980 and 1998, including Pac-Man, Tron, Lode Runner, Boulder Dash, Deflektor, Mindbender, Pipe Mania, Skweek, Prince of Persia, Lemmings, Doom, Puzzle Bobble~3, and Starcraft. We obtain both new results, and improvements or alternative proofs of previously known results.

연구 동기 및 목표

• 비디오 게임에서 계산 난이도를 유도하는 반복적인 게임 메커니즘을 특정화하는 것.
• 특정 메커니즘과 NP 및 PSPACE와 같은 복잡도 클래스 사이를 연결하는 일반적인 메타정리를 개발하는 것.
• 1980–1998년의 광범위한 고전적 '스크립트 없는' 비디오 게임에 이러한 메타정리를 적용하는 것.
• 트론, 렘닝스, 스타크래프트와 같은 잘 알려진 게임들에 대해 난이도 증명을 신규로 또는 개선하여 제공하는 것.
• 핵심 메커니즘을 제거할 경우 게임의 복잡도 스펙트럼이 어떻게 변화하는지 탐색하는 것.

제안 방법

• 고전적인 비디오 게임의 확장 가능한 일반화를 설계하여 무한한 수의 레벨 가족을 생성하는 것.
• 기존의 NP-또는 PSPACE-완전 문제를 단일 사용 경로 및 위치 이동과 같은 게임 메커니즘으로 축소하는 메타정리를 사용하는 것.
• 벽, 경로, 게임 요소의 특정 배열을 통해 논리 게이트 또는 경로 제약 조건을 시뮬레이션하는 게임 레벨을 구성하는 것.
• 3-SAT 또는 해밀턴 경로와 같은 문제들로부터의 축소를 위해, 파괴 가능한 경로와 수집 가능한 아이템과 같은 게임 메커니즘에 논리를 인코딩하는 것.
• 트론의 라이트 사이클 트레일을 사용하여 단일 사용 경로를 시뮬레이션하고 경로 이동 제약 조건을 강제하는 것.
• 각 정점을 통과하는 경로가 유일하도록 보장하여, 경로 길이 및 장애물 제약 조건을 통해 NP-난이도를 강제로 확보하는 것.

실험 결과

연구 질문

• RQ1 어떤 공통적인 게임 메커니즘이 비디오 게임에서 일관되게 NP-난이도 또는 PSPACE-완전 복잡도를 초래하는가?
• RQ2 게임의 메커니즘을 바탕으로 게임의 복잡도를 자동으로 유추할 수 있는 일반적인 메타정리를 도출할 수 있는가?
• RQ3 트론과 같은 게임의 계산 복잡도가 NP-난이도인지, 그리고 알려진 난이도 있는 문제로부터의 축소를 통해 이를 증명할 수 있는가?
• RQ4 핵심 메커니즘(예: 파괴 가능한 경로)을 제거할 경우 게임의 복잡도는 어떻게 변화하는가?
• RQ5 패키맨, 렘닝스, 스타크래프트와 같은 다양한 게임들에 동일한 축소 프레임워크를 통일적으로 적용할 수 있는가?

주요 결과

• 트론(1982)은 라이트 사이클 트레일을 사용하여 단일 사용 경로를 시뮬레이션하고 위치 이동을 강제함으로써 축소를 통해 NP-난이도임이 입증되었다.
• 게임의 메커니즘에 단일 사용 경로와 위치 이동 기능이 존재할 경우, 메타정리 1에 의해 NP-난이도가 유도됨을 수학적으로 규명하였다.
• 패키맨, 루드러너, 볼더던과 같은 게임들은 경로 제약 조건과 수집 가능한 아이템을 포함한 유사한 축소를 통해 NP-난이도임이 입증되었다.
• 스타크래프트는 프로토스와 테란 유닛을 모델링하여 3-SAT에서의 축소를 통해 NP-난이도임이 입증되었으며, 자원 확보 및 유닛 훈련이 경로 이동을 강제한다.
• 트론의 구성에서는 경로 길이가 각 정점의 면적을 초과하므로 플레이어가 모든 필수 정점을 방문해야 하며, 이는 전체 경로를 통과하도록 강제한다.
• 논문은 렘닝스와 데임과 같은 이전에 알려진 난이도 결과들에 대해 통합된 메타정리 프레임워크를 사용하여 개선되거나 새로운 증명을 제공한다.