>考慮しなくてよいかどうかは、実際に探索してみないと判明しない。
まあ、それを証明しないと事実はわからない。

>詰め碁だったか、数学的には解くことができない
>（＝全探索しか方法がない）という証明があって、
そんなのはなかったと思うけど。
ヨセは数学的にやる方法が確立してるみたいだけど。
無条件生きのアルゴリズムなんかもあるみたいだしね。
一番簡単なのは２眼のチェックだけどさ。

将棋でも、それが必勝なのかどうかを探索しなくても
必勝であると言える局面が存在する。
それは次の手で王を取ることができる局面。
この局面に持っていけば、必勝である。
次に、相手がどんな手をとってもこの局面に移行するのであれば
それも必勝局面である。
まあ、探索を反対からたどっているわけだけどさ。

あとは、確率的に必勝戦略を発見するアルゴリズムがあると仮定すると
必勝戦略と思われるものがあったとき、それを必勝かどうか
判定するアルゴリズムがあれば、必勝か必負けかを判定できる。
もちろん、引き分けは無理だけど
ループを禁止すれば引き分けは起こらない。
従って、先手必勝か後手必勝になる。
よって、全探索をしなくても必勝戦略は見つかる。