[논문 리뷰] PSPACE-Hard 2D Super Mario Games: Thirteen Doors

MIT Hardness Group, Ani, Hayashi외 3명|arXiv (Cornell University)|2020. 06. 01.

Digital Games and Media인용 수 3

한 줄 요약

이 논문은 평면적 구조의 열림-닫힘 도어 기구를 통한 운동 계획 문제의 PSPACE-완전성을 증명하며, 2차원 비디오 게임의 난이도 증명에서 교차 기구의 필요성을 제거한다. 이는 도어 기구가 운동 계획-기구 프레임워크 내에서 보편적임을 입증하며, 슈퍼 마리오 브라더스, 레전드 오브 제이다, 기타 게임의 PSPACE-난이도 증명을 단순화하고 통합한다. 이는 3D 마리오 게임과 소코본드에 대한 새로운 결과를 포함한다.

ABSTRACT

An open-close door gadget has two states and three tunnels that can be traversed by an agent (player, robot, etc.): the "opening" and "closing" tunnels set the gadget's state to open and closed, respectively, while the "traverse" tunnel can be traversed if and only if the door is in the open state. We prove that it is PSPACE-complete to decide whether an agent can move from one location to another through a planar system of any such door gadget, removing the traditional need for crossover gadgets and thereby simplifying past PSPACE-hardness proofs of Lemmings and Nintendo games Super Mario Bros., Legend of Zelda, and Donkey Kong Country. Even stronger, we show that any gadget in the motion-planning-through-gadgets framework can be simulated by a planar system of door gadgets: the open-close door gadget is a universal gadget. We prove that these results hold for a variety of door gadgets. In particular, the opening, closing, and traverse tunnel locations can have an arbitrary cyclic order around the door; each tunnel can be directed or undirected; and the opening tunnel can instead be an optional button (with identical entrance and exit locations). Furthermore, we show the same hardness and universality results for two simpler types of door gadgets: self-closing door gadgets and symmetric self-closing door gadgets. Again we show that any self-closing door gadget planarly simulates any gadget, and thus the reachability motion planning problem is PSPACE-complete. Then we apply this framework to prove new PSPACE-hardness results for eight different 3D Mario video games and Sokobond.

연구 동기 및 목표

• 2차원 비디오 게임의 PSPACE-난이도 증명에서 교차 기구의 필요성을 제거하기 위해 평면적 도어 기구만으로도 충분함을 보이는 것.
• 열림-닫힘 도어 기구가 운동 계획-기구 프레임워크 내에서 보편적임을 입증하여, 다른 어떤 기구 유형이라도 시뮬레이션할 수 있음을 보장하는 것.
• 자기 닫힘 및 대칭 자기 닫힘 도어 기구를 프레임워크에 확장하여, 평면적 시스템에서의 보편성과 PSPACE-완전성을 증명하는 것.
• 이 프레임워크를 활용하여 3D 마리오 게임과 소코본드에 대한 새로운 PSPACE-난이도 결과를 증명하는 것.
• 대칭 도어 변형, 반사 제약 조건, 2인용 확장 등 열린 문제를 탐색하는 것.

제안 방법

• 상태, 위치, 상태에 따라 결정되는 전이를 갖는 공식적인 운동 계획-기구 프레임워크를 도입한다.
• 세 개의 터널('열기', '닫기', '통과')을 갖는 열림-닫힘 도어 기구를 정의하며, 도어가 열려 있을 때에만 통과가 허용됨을 명시한다.
• 어떤 기구라도 임의의 순환 순서와 방향성/비방향성 터널 유형을 갖는 경우에도 평면적으로 열림-닫힘 도어 기구만으로 시뮬레이션 가능하다는 것을 증명한다.
• 자기 닫힘 및 대칭 자기 닫힘 도어 기구를 도입하며, 두 개의 터널만을 갖는다. 통과 시 도어 상태가 변경된다.
• 슈퍼 마리오 3D 랜드, 슈퍼 마리오 오드새이, 캡틴 투드: 트레저 트래커 등의 실제 게임에서 이러한 기구의 평면적 시뮬레이션을 구축한다.
• 기존의 알려진 PSPACE-완전 문제로의 감소를 통해 목표 게임에서의 난이도를 증명하며, 도어 기구의 보편성을 활용한다.

실험 결과

연구 질문

• RQ1 교차 기구 없이도 2차원 비디오 게임의 PSPACE-난이도를 평면적 도어 기구만으로 증명할 수 있는가?
• RQ2 열림-닫힘 도어 기구는 보편적인가? 즉, 운동 계획-기구 프레임워크 내에서 다른 어떤 기구 유형이라도 시뮬레이션할 수 있는가?
• RQ3 자기 닫힘 및 대칭 자기 닫힘 도어 기구도 평면적 시스템에서 보편성과 PSPACE-완전성을 달성하는가?
• RQ4 이 프레임워크를 활용하여 3D 마리오 게임과 소코본드의 PSPACE-난이도를 증명할 수 있는가?
• RQ5 도어 기구가 보편성을 유지하는 최소 제약 조건(예: 순환 순서, 반사 제약)은 무엇인가?

주요 결과

• 교차 기구 없이도 평면적 열림-닫힘 도어 기구 시스템은 PSPACE-완전하며, 이는 이전 증명을 단순화한다.
• 열림-닫힘 도어 기구는 보편적이다. 운동 계획-기구 프레임워크 내의 어떤 기구라도 평면적으로 이 기구만으로 시뮬레이션 가능하다.
• 자기 닫힘 및 대칭 자기 닫힘 도어 기구 역시 보편적이며, 평면적 시스템에서 도달 가능성 문제가 PSPACE-완전하다.
• 논문은 도어 기구 프레임워크를 활용하여 여덟 종류의 3D 마리오 게임과 소코본드에 대해 새로운 PSPACE-난이도 결과를 증명한다.
• 색상화된 통과 및 선택적 동작을 포함한 2인용 환경으로의 확장도 가능하며, 이는 EXPTIME-난이도 증명의 새로운 방향을 열어준다.
• 논문은 슈퍼 마리오 3D 랜드, 슈퍼 마리오 오드새이, 캡틴 투드: 트레저 트래커에서 대칭 자기 닫힘 도어의 구체적인 평면적 시뮬레이션을 제시한다.