本論文では、2Dスーパーマリオブラザーズシリーズの15本すべてのゲームの計算量的困難性を分析した。先行研究では、オリジナルのスーパーマリオブラザーズのみがPSPACEハードであることが知られていたが、本研究では13本のゲームがPSPACEハードであることを示した。
ドアガジェットを構築することで、これらのゲームがPSPACEハードであることを証明した。ドアガジェットには、開く、閉じる、通過の3つの状態遷移があり、各ゲームの固有のメカニクスを利用して構築した。一部のゲームでは、自己閉鎖ドアやsymmetric自己閉鎖ドアを用いた。
一方で、スーパーマリオランドとスーパーマリオランNPハードであることを示した。これらのゲームではドアガジェットを構築できず、NP困難性の枠組みを用いて証明した。
다른 언어로
소스 콘텐츠 기반
arxiv.org
더 깊은 질문