Sokoban AI Solver - Optimal solutions in your browser

Sokoban AI Solverは、1980年代の古典パズル「倉庫番」をブラウザ上で遊べるようにしたインタラクティブなプロジェクトです。プレイヤーは箱をゴールまで押し、さらに自分自身もゴールに到達する必要があります。このソルバーは、A*アルゴリズムを最適化したもので、各ボードの最短手数をミリ秒単位で証明付きで計算します。ボード1〜14はライブで最適解を表示し、ボード15はオフラインで計算された184手の最適解を再生します。技術的には、ビットマスクによる状態圧縮、ダイヤルバケットキュー、デッドロック枝刈りなど、高度な最適化が施されています。ソースコードはGitHubで公開されており、開発者やパズル愛好家にとって魅力的な内容です。
このソルバーは、単なる解ではなく、証明可能な最短手数を返します。