本論文では、2Dスーパーマリオブラザーズシリーズの15本すべてのゲームの計算量的困難性を分析した。先行研究では、オリジナルのスーパーマリオブラザーズのみがPSPACEハードであることが知られていたが、本研究では13本のゲームがPSPACEハードであることを示した。
ドアガジェットを構築することで、これらのゲームがPSPACEハードであることを証明した。ドアガジェットには、開く、閉じる、通過の3つの状態遷移があり、各ゲームの固有のメカニクスを利用して構築した。一部のゲームでは、自己閉鎖ドアやsymmetric自己閉鎖ドアを用いた。
一方で、スーパーマリオランドとスーパーマリオランNPハードであることを示した。これらのゲームではドアガジェットを構築できず、NP困難性の枠組みを用いて証明した。
他の言語に翻訳
原文コンテンツから
arxiv.org
深掘り質問