2024-01-01から1年間の記事一覧

ZDDでマインスイーパーを解く話(卒研お勉強枠➂(最終回))

<< 前回 次回 >>(最終回のため、なし) はじめに この記事でやること マインスイーパーに関する諸定義 説明に使う用語 細かい設定 マインスイーパーのZDDによる解法 ZDDによる爆弾配置の表現 新たな隣接マスの追加 ヒント数字を適用する演算 爆弾総数を適用…

ZDDによるN-Queen problemの解法を効率化する話(卒研お勉強枠②)

<< 前回 次回 >> はじめに この記事でやること 前回のおさらいと効率化アイディア 共有リスト その他の効率化ポイント マスの添え字を逆順に振る 左右反転解を省略する 実験結果 おわりに 参考文献 はじめに すっごく久しぶりの投稿です。本当はもっと早く投…