マインスイーパー：AIによって再定義されたクラシックゲーム
マインスイーパーは、AIによって再定義されたクラシックなゲームです。このゲームはYi Zengによって開発され、iPhoneで無料で利用できます。このゲームは4つの難易度オプションで脳と論理的思考能力を鍛えるように設計されています。
このゲームの特徴は、AI技術を使用してクラシックなゲームを改善していることです。開発者はゲームを制約充足問題（CSP）としてモデル化し、複数の最先端のアルゴリズムを使用して各有効な手のヒューリスティックスコアを事前計算しました。これにより、10個（またはそれ以下）の最良の手のスタックランクが得られます。最適な手とユーザーの実際の手のヒューリスティックスの差に基づいて、ゲームは事前に定義された確率（一様分布ではない）を使用してマインの位置を制御します（ボード上のセルをアドホックに切り替えることで）。
各ゲームの終わりに、ゲームは勝敗の比率を入力として使用してマインの切り替え確率をさらに調整し、チャレンジングでありながらもイライラしないカスタムメイドのゲーム体験を提供します。また、ゲームはアンロックするための楽しい体験や毎日の報酬も提供しています。AIによって再定義されたマインスイーパーは、プレイするのが楽しくて挑戦的なゲームです。
