制約ソルバーとペンシルパズル

制約ソルバーとペンシルパズル

01はじめに 02制約ソルバーとは何か 03パズルを CSP ソルバーで解く (1): cspuz の使い方 04パズルを CSP ソルバーで解く (2): 基本的な制約 05パズルを CSP ソルバーで解く (3): 「ひとつながり」条件 06パズルを CSP ソルバーで解く (4): 盤面の分割 07パズルを CSP ソルバーで解く (5): 応用例 08CSP ソルバーの実装 (1): ソルバー全体の構造 09CSP ソルバーの実装 (2): SAT ソルバーのアルゴリズムとその拡張 10CSP ソルバーの実装 (3): 整数の符号化 11CSP ソルバーの実装 (4): ダブルチョコのアルゴリズム

Chapter 01

はじめに

2023.12.23に更新