数独を解こう¶

同じ数独を異なる計算手法へ翻訳し、モデルと解き方の違いを試す連載です。各章では、その手法の考え方を数独へ当てはめ、実行できるサンプルを動かします。原稿とサンプルコードは GitHub で公開しています。

最初から読む¶

はじめに

序章ひとつの問題、たくさんの解き方

Part I 探索の仕組みを組み立てる¶

Part I 探索の仕組みを組み立てる

Part II 規則を宣言して解く¶

Part II 規則を宣言して解く

Part III 論理式と状態を扱う¶

Part III 論理式と状態を扱う

Part IV 数式と目的関数へ変換する¶

Part IV 数式と目的関数へ変換する

Part V 反復計算で候補を探す¶

Part V 反復計算で候補を探す

まとめ¶

まとめ

終章数独の解き方を見渡す

補遺¶

補遺

補遺A まだある数独の表し方