>>57
もともと証明数は共謀数のAND/OR版。
指し将棋の場合は、共謀数で考えた方が良いかも。

あと、指し将棋の内部ノードに詰め探索を入れるのもあるよ。
あまり深いところではやらないようだけど。