2歳の息子が教えてくれた「制約解消」の世界

My two year old taught me constraint solving

2歳の息子とBrioの木製トレインセットで遊ぶうちに、著者はその背後にあるアルゴリズムの問題に魅了される。与えられたピースをすべて使い、閉じたレイアウトを作るにはどうすればいいか？ この記事では、バックトラッキング、制約プログラミング、SATソルバーという3つの解法を、インタラクティブなビジュアライゼーションとともに紹介。ピースの接続をグラフ理論で分析し、交差や分岐が探索空間をどう複雑にするかを解説する。さらに、2歳の息子が「次数3でオイラー閉路はないね」とつぶやく場面も。