[논문 리뷰] The Computational Complexity of Portal and Other 3D Video Games

Erik D. Demaine, Joshua Lockhart외 1명|arXiv (Cornell University)|2016. 11. 30.

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

한 줄 요약

이 논문은 포탈 및 기타 3D 비디오 게임의 계산 복잡도를 개별 메커니즘을 분리하여 분석하고, 그들이 복잡도에 미치는 영향을 증명한다. 포트발, 타이머 버튼, 포트발 기반 퍼즐과 같은 메커니즘에 대해 NP-난이도를 입증하고, 레이저, 릴레이, 이동 플랫폼과 같은 고급 요소에 대해 PSPACE-완전성을 입증한다. 이 결과는 허프라이프 2, 할로, 메스 이펙트와 같은 게임으로 일반화된다.

ABSTRACT

We classify the computational complexity of the popular video games Portal and Portal 2. We isolate individual mechanics of the game and prove NP-hardness, PSPACE-completeness, or (pseudo)polynomiality depending on the specific game mechanics allowed. One of our proofs generalizes to prove NP-hardness of many other video games such as Half-Life 2, Halo, Doom, Elder Scrolls, Fallout, Grand Theft Auto, Left 4 Dead, Mass Effect, Deus Ex, Metal Gear Solid, and Resident Evil. These results build on the established literature on the complexity of video games.

연구 동기 및 목표

• 개별 메커니즘을 분석하여 포탈 및 기타 3D 비디오 게임의 계산 복잡도를 규명하는 것.
• 운동 계획 문제에서 NP-난이도 또는 PSPACE-완전성에 기여하는 게임 요소를 특정하는 것.
• 허프라이프 2, 할로, 메스 이펙트와 같은 다른 유명한 비디오 게임으로 결과를 일반화하는 것.
• 미래의 게임 복잡도 분석에 재사용 가능한 메타정리 개발을 위한 플랫폼 게임을 위한 새로운 메타정리 개발.
• 중력 빔, 이동 플랫폼, 레이저 릴레이와 같은 동적 게임 요소가 문제 복잡도를 증가시키는 데서 수행하는 역할 탐색.

제안 방법

• 고정된 좌표와 시간 단위를 갖는 이산 운동 계획 문제로 포탈을 모델링.
• 포트발, 버튼, 타이머 등 게임 내 메커니즘을 사용하여 NP-난이도 문제(예: 3-SAT)를 인코딩하는 기반 기반 감소 기법 사용.
• 중력 빔과 무거운 큐브를 사용하여 메모리 래치를 구성하여 지속 상태를 시뮬레이션하고, PSPACE-완전성 증명을 가능하게 함.
• 해방 그릴, 타이머 버튼, 타이머 버튼 등 메커니즘을 사용하여 알려진 NP-완전 문제에서 감소시켜 NP-난이도를 입증.
• 지속 상태와 레이저, 이동 플랫폼과 같은 동적 요소를 갖는 게임에 적용 가능한 새로운 메타정리를 사용하여 PSPACE-완전성 입증.
• 포트발, 타이머 버튼, 이동 가능한 블록 등 공통된 메커니즘 요소를 식별하여 유사한 감소 기법을 적용함으로써 결과를 다른 게임으로 일반화.

실험 결과

연구 질문

• RQ1 포탈의 어떤 개별 메커니즘이 NP-난이도 또는 PSPACE-완전성에 기여하는가?
• RQ2 포탈의 타이머 버튼 메커니즘은 넓은 범위의 비디오 게임에 대해 NP-난이도를 입증하는 데 사용될 수 있는가?
• RQ3 레이저, 릴레이, 이동 플랫폼과 같은 동적 요소는 어떻게 NP를 초월해 PSPACE로 복잡도를 높이는가?
• RQ4 추가 요소 없이 포트발 메커니즘만으로도 NP-난이도 또는 PSPACE-완전성을 입증할 수 있는가?
• RQ5 이 논문에서 사용된 기법들은 얼마나 일반화되어 재사용 가능한 메타정리로 발전시킬 수 있는가?

주요 결과

• 포탈에 타이머 버튼이 있는 경우 NP-난이도이며, 이 결과는 허프라이프 2, 할로, 그랜드 테프트 아웃 등 많은 다른 게임으로 일반화된다.
• 포탈에 타이머 도어 버튼과 도어가 있는 경우 NP-난이도이며, 이는 단순한 기계적 시스템이 NP-완전 문제를 인코딩할 수 있음을 보여준다.
• 포탈에 고에너지 펄스 발사기와 수신기 장치가 있는 경우 NP-난이도이며, 이는 사거리 기반 메커니즘이 복잡한 계산을 지원할 수 있음을 보여준다.
• 포탈에 레이저, 레이저 릴레이, 이동 플랫폼이 있는 경우 PSPACE-완전성이며, 이는 동적이고 상태 기반 메커니즘이 복잡도를 NP를 초월해 높임을 시사한다.
• 포탈에 큐브, 무거운 버튼, 문이 있는 경우 PSPACE-완전성이며, 이는 지속 상태 메커니즘이 PSPACE-난이도를 가능하게 함을 확인한다.
• 논문에서 새로운 메타정리(정리 8.2)를 도입하여 논리 회로와 메모리 래치를 시뮬레이션할 수 있는 메커니즘이 있는 게임의 PSPACE-완전성을 입증한다.