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