>>863
ありがとう

まず自分は煽ったわけではないので、もしそう聞こえていたらごめんなさい

整数計画法で書けたからといって、関数形によってはNP困難にならないので、
証明すべきは逆の「いずれかのNP困難な（整数計画）問題が将棋の最善手探索問題に帰着する」の方だと思う
ただ、将棋の評価関数がそんなに単純なものとも思えないので、個人的には、確かにNP困難だろう、という心証はもちました

そして上記の懸念はあなたが言うところの「本将棋のルールに依存した意外なショートカット」と同じことを指していると思う