注目★★★★★Lobsters
制約プログラミングで 9 種類のパズルを自動生成、ブラウザで遊べるまで
30秒で把握
- 1制約計画法を用いて 9 種類のパズル自動生成・ブラウザで遊べる状態で公開
- 2Sudoku 434,201 個・Nonogram アイコン・Queens 領域成長など手法多様・難易度を機械測定
- 3MiniZinc・Gecode 6.4.0 で実装・生成と一意性検証はオフライン・ブラウザは静的パズル配信
要約
著者が制約計画法の学術論文（434,201 個の Sudoku インスタンス生成）から着想し、MiniZinc と Gecode を使ってパズルゲーム自動生成の仕組みを構築した。Sudoku、Nonogram、Queens、Zip、Loopy、Tents、Patches、Wend、Swend の 9 種類のゲームがブラウザで遊べる状態で公開されている。各パズルは解答から逆向きに情報を除去・調整して一意解を保証し、難易度は伝播・枝刈り・決定的演繹を測定して機械的に決定される。
あなたへの影響
制約計画法の理論的な論文を実際のゲーム製品に落とし込む過程の詳細が記述されており、アルゴリズム設計から UI 実装、難易度評価まで一連の工程を学べる教材的価値がある。
推奨：Gecode / MiniZinc を実験的に使ってみたい開発者や、パズル生成アルゴリズムの具体例を探している研究者にとって、実装スケッチと動作ゲームの両方が揃った稀な公開例となる。