優越関係…

df-pn で解けない詰将棋がある原因は優越関係の実装がよくないからか？！

ハッシュがあふれたわけでもないのに時間をかけても解けない問題は、ログを出力するとループをしている。
で、優越関係を切って、厳密一致に変更すると解が見つかったりする…。

・ループ対策
・優越関係
・両方の処理がコンフリクトしてる

が臭いなぁ～。
ループ対策は岸本さんの最小距離法を真似ている(つもりなん)だけど、優越関係は適当に実装しているからなぁ～。
じっくり考えたほうがいいか。
でも、まぁ検証結果からすると満足はできないものの、従来処理からは格段の進歩を遂げているから下手に手を入れないほうがいいか、とも思ってしまう…。

うーん、悩む。
他にも文章から独自の実装をしているのは、
・打ち歩詰めが絡まないときの飛角歩の不成の計算を省略
・無駄合いと思われるところの計算を省略
とかあって、けっこう臭いかな。

今のところ検証結果で間違うことはないようなので問題はないか。