制約ソルバーとペンシルパズルsemiexp無料で読める本この本では、制約ソルバー (SAT / CSP) を利用して「数独」などのペンシルパズルを解く方法について解説します。ChaptersChapter 01はじめにChapter 02制約ソルバーとは何かChapter 03パズルを CSP ソルバーで解く (1): cspuz の使い方Chapter 04パズルを CSP ソルバーで解く (2): 基本的な制約Chapter 05パズルを CSP ソルバーで解く (3): 「ひとつながり」条件Chapter 06パズルを CSP ソルバーで解く (4): 盤面の分割Chapter 07パズルを CSP ソルバーで解く (5): 応用例Chapter 08CSP ソルバーの実装 (1): ソルバー全体の構造Chapter 09CSP ソルバーの実装 (2): SAT ソルバーのアルゴリズムとその拡張Chapter 10CSP ソルバーの実装 (3): 整数の符号化Chapter 11CSP ソルバーの実装 (4): ダブルチョコのアルゴリズムAuthorsemiexpTopicsパズルcspsat¥0今すぐ読む公開2023/12/23本文更新2024/01/02文章量約94,642字価格0円ポスト
