Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
数独を解こう
数独を解こう

はじめに

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

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

  • 第1章 バックトラックで数独を解く
  • 第2章 Exact Coverで数独を解く

Part II 規則を宣言して解く

  • 第3章 Prologで数独を解く
  • 第4章 miniKanrenで数独を解く
  • 第5章 制約プログラミングで数独を解く
  • 第6章 Answer Set Programmingで数独を解く

Part III 論理式と状態を扱う

  • 第7章 SATで数独を解く
  • 第8章 SMTで数独を解く
  • 第9章 BDDで数独の解を数える
  • 第10章 モデル検査で数独を解く

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

  • 第11章 整数計画法で数独を解く
  • 第12章 Boolean Gröbner基底で数独を解く
  • 第13章 QUBOで数独を解く

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

  • 第14章 反復射影で数独を解く
  • 第15章 因子グラフで数独を解く

まとめ

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

補遺

  • 補遺A まだある数独の表し方
Back to top
Copyright ©
Made with Furo