錯誤の代償(適当

昨日のエントリは深夜に書いたせいかほどよく錯誤していたorz
いきなり詰み局面から着手して巻き戻そうとすると、話が爆発するのは当然だ。
昨日のエントリで

例えば、ノードn、○の手番でセル(5,5)から(9,5)にかけて

　○○＿○○

と並んだ(「＿」は空白）ならその5セルがnの次の局面で○が勝利するための必要十分条件であり、その位置と内容を記憶する。それら以外のセル内容は何であれ○の勝利を覆し得ないのでDon't careと置く。

としたとおり、ゲームの終了(実際に勝負がつくこと)ノードから話を始め、あくまでそういう終了の仕方限定の必要十分条件を求めることに問題を縮小すれば、計算量もまた現実的な規模に縮小できる。
わざわざ太字にしてまで強調した部分を自分自身が無視していたという、、