二歩解除禁止協力詰(新ルール?)

手数から玉は2段目までいけず歩成は不可能なことが分かります。また必ず突き歩詰になることを考えると玉は3~7段目で詰め上がります。3~7段目の2~8筋では歩四枚で詰みの形が作れず、歩の枚数から9筋までの移動は無理なので1筋でしか詰みません。また上下方向の違いを除けば詰め上がり図は二通りしかありえません。(もう一つは作意解の詰め上がり図を27歩→26歩とした形)

さらに歩が三枚以下だと詰みの形が作れないので受方の駒取りはないこと、玉は3筋にはいけないこと、いずれの形も玉が歩の後ろに回り込む必要があるので手数から玉は7段目で詰むことなどが分かります。これらから回り込まれる歩は移動の手が必要になることが分かります。攻め方の着手回数が歩打4回、回り込まれる歩の移動、突き歩詰で丁度なので玉が回り込む軌道を考えていくと解が一意に定まります。

 

念のため以上の条件からいくつか実装が容易なものを抜き出してプログラムを組んで余詰を検証し、これを以ってソフトチェック済みといたしました。

しかし、論証、プログラム共に個人の力では見落としが懸念されますので皆さん今一度ご確認いただけると幸いです。