「他に１つもない」ことの証明

平成18年1月23日の日記で、詰チャンギの問題の検討作業が大変であるということを述べたが、いまひとつ大変さが伝わりにくいと思うので、実際の検討メモを紹介する。

【問題図】

【正解】
1)47漢象64将→2)42楚士52→3)70漢包61将　勝

【他の手順についての検討（×：３手で詰まない手順）】
1)34漢馬22将→2)11楚馬32→3)47漢象64将→4)42楚52・・・×
1)34漢馬53将→2)51楚士52→3)47漢象24将→4)41楚51・・・×

1)47漢象24将→2)42楚士32→3)34漢馬42将→4)78漢車48打包モングン＋チャン
グン　敗・・・×
1)47漢象24将→2)42楚士32→3)34漢馬46将→4)78漢車48打包モングン＋チャン
グン　敗・・・×
1)47漢象24将→2)42楚士32→3)34漢馬53将→4)41楚42　または51楚士52・・・
×
1)47漢象75将→2)78漢車48打包モングン＋チャングン　敗・・・×
1)47漢象79将→2)78漢車48打包モングン＋チャングン　敗・・・×

1)48漢包43将→2)42楚車43打包
　→3)34漢馬22将→4)11楚馬32・・・×
　→3)34漢馬53将→4)43楚士53打馬・・・×
　→3)47漢象64将→4)51楚士52・・・×
　→3)47漢象24将→4)11楚馬32・・・×
1)48漢包44将→2)42楚士33
　→3)47漢象64将→4)51楚士52・・・×
　→3)47漢象24将→4)33楚士32 or 41楚51・・・×
1)48漢包45将→2)28楚象45打包
　→3)34漢馬22将→4)11楚馬32 or 42楚士32・・・×
　→3)34漢馬53将→4)42楚士53打馬 or 42楚士52 or 51楚士52・・・×
1)48漢包46将→2)28楚象45
　→3)34漢馬22将→4)11楚馬32 or 45楚象22打馬・・・×
　→3)34漢馬53将→4)51楚士52・・・×

駒の名称、棋譜の読み方など詳細な説明はここでは省略するが、つまり、初手以降連続してチャングン（王手）をかけることの可能な手順をすべて拾い出し、そのどれもが3手では詰まないことを証明する訳である。3手詰でこの調子だとすると、5手詰、7手詰の検討作業の大変さは如何ばかりか・・・。それとも、プロやアマの有段者はこの辺も「暗算」でクリアしてしまうのだろうか。
こんなことを夜遅くまでやっていては、治る風邪も治らないというものだ。