スーパーコンピューターでさえ、マリオのレベルをクリアできるかどうかを判断できないことが研究者によって発見された

2D時代のマリオゲームをベースにしたカスタムステージを作成できる『マリオメーカー』シリーズにおいて、最も顕著な制限の一つは、ユーザーが自分でクリアできないステージをアップロードできないことです。これはツールアシストランを使えば多少は緩和できますが、マリオメーカーコミュニティ全体が時間との競争を強いられることになり、Wii Uのオンラインサービスが終了する前に、アップロードされたカスタムステージをすべてクリアしなければならなくなりました。

では、このより科学的な結論は何に基づいているのでしょうか？もちろん、ゲームの改造と数学的な理論構築の組み合わせです。MITの研究者たちは、エンジン内の敵の数制限をなくすことで、単一の場所に数百、あるいは数千もの敵を配置し、事実上「カウンターマシン」、つまり問題のレベル内に機能するコンピューターを作り出すことに成功しました。

カウンターマシンがそのままの状態では、研究チームは「停止問題」と呼ばれる難問を指摘した。これは、コンピュータプログラムを実行して何が起こるかを見る以外に、コンピュータプログラムが終了するのか、それとも永遠に実行されるのかを判断する方法はないというものだ。

MIT 工科大学の Erik Demaine 氏は、「この特定の計算が終了した場合にのみ、このマリオのレベルを解くことができるという考え方ですが、それを判断する方法はないことがわかっているので、レベルを解けるかどうかを判断する方法はありません」と述べています。

プラットフォームゲーム、格闘ゲーム、そしてデビル メイ クライシリーズのようなスタイリッシュなアクションゲーム（プラットフォームゲームの動きと格闘ゲームのコンボ構造を想像してみてください）を専門とする人間として、私は彼らに挑ませてあげたい。クリボーが100体？1000体？私のようなモンスターには無敵だ。だが、スパイニーとなると話は全く別だ。特に、該当のステージにパワーアップや投擲武器として使える敵がいない場合はなおさらだ…。