かなり解けるようになりました！

図巧第100番「寿」が解けるようになったので、「まだ寿が解けない…」http://vivio.blog.shinobi.jp/Entry/354/ のときに解けなかった問題を確認してみました。
動作環境は Athlon64 X2 5000+(2.6GHz) の WinXP(32bit) です。

かなり解けるようになりました！
今週末くらいまでに公開できるようにしたいなぁー。

非公開中 ⇒ 公開しました

寿が解けたのは確かですが、誤解を与える記載だったので一部書き直すまで非公開にします。
78msでは寿は解けません(125秒かかっています)。

⇒公開しました(2012.1.27)
いろいろ検証用のコードを無効にしたらちょっと速くなりました。

ついに「寿」が解けた！

ついに、まともな手順が出ました！
最初は353手の詰め手順が出てきて、求解部に最長手順選択＆無駄合い除去処理を入れたところ、72手目の37桂打を無駄合いと誤判断して105手くらいの詰め手順になりました。
そこで、やむなく無駄合い除去処理を無効にしたところ、611手の詰め手順が出ました！！
でも、なんとか無駄合い除去はやりたいなぁ･･･。

詰手順(611手)：
  46龍(26)　54玉(45)　55龍(46)　63玉(54)　53龍(55)　74玉(63)　73龍(53)　85玉(74)　75龍(73)　96玉(85)　
  97圭(98)　97玉(96)　77龍(75)　96玉(97)　97龍(77)　85玉(96)　86龍(97)　74玉(85)　75龍(86)　63玉(74)　
  73龍(75)　54玉(63)　53龍(73)　45玉(54)　55龍(53)　36玉(45)　46龍(55)　27玉(36)　37龍(46)　18玉(27)　
  19銀打　　19玉(18)　39龍(37)　18玉(19)　19龍(39)　27玉(18)　28龍(19)　36玉(27)　37龍(28)　45玉(36)　
  46龍(37)　54玉(45)　55龍(46)　63玉(54)　53龍(55)　74玉(63)　73龍(53)　85玉(74)　75龍(73)　96玉(85)　
  97歩打　　97玉(96)　77龍(75)　96玉(97)　97龍(77)　85玉(96)　86龍(97)　74玉(85)　75龍(86)　63玉(74)　
  73龍(75)　54玉(63)　53龍(73)　45玉(54)　55龍(53)　36玉(45)　46龍(55)　27玉(36)　16龍(46)　38玉(27)　
  36龍(16)　37桂打　　37龍(36)　29玉(38)　39龍(37)　18玉(29)　19龍(39)　27玉(18)　28龍(19)　36玉(27)　
  37龍(28)　45玉(36)　46龍(37)　54玉(45)　55龍(46)　63玉(54)　53龍(55)　74玉(63)　73龍(53)　85玉(74)　
  75龍(73)　96玉(85)　97歩打　　97玉(96)　77龍(75)　96玉(97)　97龍(77)　85玉(96)　86龍(97)　74玉(85)　
  75龍(86)　63玉(74)　73龍(75)　54玉(63)　53龍(73)　45玉(54)　55龍(53)　36玉(45)　46龍(55)　27玉(36)　
  16龍(46)　38玉(27)　36龍(16)　37桂打　　37龍(36)　29玉(38)　39龍(37)　18玉(29)　19龍(39)　27玉(18)　
  28龍(19)　36玉(27)　37龍(28)　45玉(36)　46龍(37)　54玉(45)　55龍(46)　63玉(54)　53龍(55)　74玉(63)　
  73龍(53)　85玉(74)　75龍(73)　96玉(85)　97歩打　　97玉(96)　77龍(75)　96玉(97)　97龍(77)　85玉(96)　
  86龍(97)　74玉(85)　75龍(86)　63玉(74)　73龍(75)　54玉(63)　53龍(73)　45玉(54)　55龍(53)　36玉(45)　
  46龍(55)　27玉(36)　16龍(46)　38玉(27)　36龍(16)　37桂打　　37龍(36)　29玉(38)　39龍(37)　18玉(29)　
  19龍(39)　27玉(18)　28龍(19)　36玉(27)　37龍(28)　45玉(36)　46龍(37)　54玉(45)　55龍(46)　63玉(54)　
  53龍(55)　74玉(63)　73龍(53)　85玉(74)　75龍(73)　96玉(85)　97歩打　　97玉(96)　77龍(75)　96玉(97)　
  97龍(77)　85玉(96)　86龍(97)　74玉(85)　75龍(86)　63玉(74)　73龍(75)　54玉(63)　53龍(73)　45玉(54)　
  55龍(53)　36玉(45)　46龍(55)　27玉(36)　16龍(46)　38玉(27)　36龍(16)　37桂打　　37龍(36)　29玉(38)　
  39龍(37)　18玉(29)　19龍(39)　27玉(18)　28龍(19)　36玉(27)　37龍(28)　45玉(36)　46龍(37)　54玉(45)　
  55龍(46)　63玉(54)　53龍(55)　74玉(63)　73龍(53)　85玉(74)　75龍(73)　96玉(85)　97歩打　　97玉(96)　
  77龍(75)　96玉(97)　97龍(77)　85玉(96)　86龍(97)　74玉(85)　75龍(86)　63玉(74)　73龍(75)　54玉(63)　
  53龍(73)　45玉(54)　55龍(53)　36玉(45)　46龍(55)　27玉(36)　16龍(46)　38玉(27)　36龍(16)　37銀打　　
  37龍(36)　29玉(38)　39龍(37)　18玉(29)　19龍(39)　27玉(18)　28龍(19)　36玉(27)　37龍(28)　45玉(36)　
  46龍(37)　54玉(45)　55龍(46)　63玉(54)　53龍(55)　74玉(63)　73龍(53)　85玉(74)　77桂打　　77と(78)　
  75龍(73)　96玉(85)　97銀打　　97玉(96)　77龍(75)　96玉(97)　97龍(77)　85玉(96)　86龍(97)　74玉(85)　
  75龍(86)　63玉(74)　73龍(75)　54玉(63)　53龍(73)　45玉(54)　55龍(53)　36玉(45)　46龍(55)　27玉(36)　
  16龍(46)　38玉(27)　36龍(16)　37桂打　　37龍(36)　29玉(38)　39龍(37)　18玉(29)　19龍(39)　27玉(18)　
  28龍(19)　36玉(27)　37龍(28)　45玉(36)　46龍(37)　54玉(45)　55龍(46)　63玉(54)　53龍(55)　74玉(63)　
  73龍(53)　85玉(74)　75龍(73)　96玉(85)　97歩打　　97玉(96)　77龍(75)　96玉(97)　97龍(77)　85玉(96)　
  86龍(97)　74玉(85)　75龍(86)　63玉(74)　73龍(75)　54玉(63)　53龍(73)　45玉(54)　55龍(53)　36玉(45)　
  46龍(55)　27玉(36)　16龍(46)　38玉(27)　36龍(16)　37銀打　　37龍(36)　29玉(38)　39龍(37)　18玉(29)　
  19龍(39)　27玉(18)　28龍(19)　36玉(27)　37龍(28)　45玉(36)　46龍(37)　54玉(45)　55龍(46)　63玉(54)　
  53龍(55)　74玉(63)　73龍(53)　85玉(74)　77桂打　　77と(67)　75龍(73)　96玉(85)　97銀打　　97玉(96)　
  77龍(75)　96玉(97)　97龍(77)　85玉(96)　86龍(97)　74玉(85)　75龍(86)　63玉(74)　73龍(75)　54玉(63)　
  53龍(73)　45玉(54)　55龍(53)　36玉(45)　46龍(55)　27玉(36)　16龍(46)　38玉(27)　36龍(16)　37桂打　　
  37龍(36)　29玉(38)　39龍(37)　18玉(29)　19龍(39)　27玉(18)　28龍(19)　36玉(27)　37龍(28)　45玉(36)　
  46龍(37)　54玉(45)　55龍(46)　63玉(54)　53龍(55)　74玉(63)　73龍(53)　85玉(74)　75龍(73)　96玉(85)　
  97歩打　　97玉(96)　77龍(75)　96玉(97)　97龍(77)　85玉(96)　86龍(97)　74玉(85)　75龍(86)　63玉(74)　
  73龍(75)　54玉(63)　53龍(73)　45玉(54)　55龍(53)　36玉(45)　46龍(55)　27玉(36)　16龍(46)　38玉(27)　
  36龍(16)　37銀打　　37龍(36)　29玉(38)　39龍(37)　18玉(29)　19龍(39)　27玉(18)　28龍(19)　36玉(27)　
  37龍(28)　45玉(36)　46龍(37)　54玉(45)　55龍(46)　63玉(54)　53龍(55)　74玉(63)　73龍(53)　85玉(74)　
  77桂打　　77と(66)　75龍(73)　96玉(85)　97銀打　　97玉(96)　77龍(75)　96玉(97)　97龍(77)　85玉(96)　
  86龍(97)　74玉(85)　75龍(86)　63玉(74)　73龍(75)　54玉(63)　53龍(73)　45玉(54)　55龍(53)　36玉(45)　
  46龍(55)　27玉(36)　16龍(46)　38玉(27)　36龍(16)　37桂打　　37龍(36)　29玉(38)　39龍(37)　18玉(29)　
  19龍(39)　27玉(18)　28龍(19)　36玉(27)　37龍(28)　45玉(36)　46龍(37)　54玉(45)　55龍(46)　63玉(54)　
  53龍(55)　74玉(63)　73龍(53)　85玉(74)　75龍(73)　96玉(85)　97歩打　　97玉(96)　77龍(75)　96玉(97)　
  97龍(77)　85玉(96)　86龍(97)　74玉(85)　75龍(86)　63玉(74)　73龍(75)　54玉(63)　53龍(73)　45玉(54)　
  55龍(53)　36玉(45)　46龍(55)　27玉(36)　16龍(46)　38玉(27)　36龍(16)　37銀打　　37龍(36)　29玉(38)　
  39龍(37)　18玉(29)　19龍(39)　27玉(18)　28龍(19)　36玉(27)　37龍(28)　45玉(36)　46龍(37)　54玉(45)　
  55龍(46)　63玉(54)　53龍(55)　74玉(63)　73龍(53)　85玉(74)　77桂打　　96玉(85)　97銀打　　95玉(96)　
  75龍(73)　94玉(95)　86桂打　　86香(84)　85龍(75)　93玉(94)　95龍(85)　94桂打　　85桂(77)　92玉(93)　
  94龍(95)　94銀(83)　84桂打　　81玉(92)　93桂打　　71玉(81)　72桂成(84)72玉(71)　73桂成(85)61玉(72)　
  51歩成(52)51龍(11)　51金(42)　51玉(61)　52歩打　　41玉(51)　51飛打　　32玉(41)　31飛成(51)43玉(32)　
  42龍(31)　54玉(43)　53龍(42)　45玉(54)　55龍(53)　36玉(45)　46龍(55)　27玉(36)　16龍(46)　38玉(27)　
  36龍(16)　37桂打　　37龍(36)　29玉(38)　39龍(37)　18玉(29)　19龍(39)　27玉(18)　28龍(19)　36玉(27)　
  37龍(28)　45玉(36)　46龍(37)　54玉(45)　55龍(46)　43玉(54)　53龍(55)　32玉(43)　42龍(53)　21玉(32)　
  41龍(42)　12玉(21)　24桂打　　24歩(23)　13歩成(14)13玉(12)　11龍(41)　23玉(13)　15桂打　　32玉(23)　
  31龍(11)　43玉(32)　42龍(31)　54玉(43)　53龍(42)　45玉(54)　55龍(53)　36玉(45)　46龍(55)　27玉(36)　
  37龍(46)　18玉(27)　19歩打　　19玉(18)　28銀(17)　18玉(19)　17龍(37)　29玉(18)　19龍(17)　38玉(29)　
  39龍(19)　
求解時間： 113.046s
  詰／不詰判明： 112.979s
  手順組み立て：   0.066s

無双第6番の余詰め発見？！

詰将棋博物館http://park6.wakwak.com/~k-oohasi/shougi/index.htmlにある将棋無双第6番補正図(松井雪山氏案)が▲31銀不成から詰むようです。

なのは詰めによる詰め手順。
詰手順(45手)：
  31銀(32)　53玉(42)　42銀(31)　42玉(53)　32龍(39)　53玉(42)　52龍(32)　44玉(53)　54角成(43)34玉(44)　
  35歩打　　35玉(34)　36馬(54)　34玉(35)　35香打　　24玉(34)　22龍(52)　23銀打　　33龍(22)　15玉(24)　
  26銀(27)　16玉(15)　61角成(72)52歩打　　17銀(26)　15玉(16)　26馬(36)　14玉(15)　15歩打　　13玉(14)　
  22龍(33)　24玉(13)　51馬(61)　42歩打　　23龍(22)　23玉(24)　41馬(51)　12玉(23)　23銀打　　13玉(12)　
  22銀(23)　12玉(13)　11銀成(22)13玉(12)　14馬(41)　

無双IIは▲52角成から詰ませますが、▲31銀不成△53玉の局面から解かせると詰みと返ってくるので詰むのでしょう。
手順は4手目でなのは詰めの△42玉でなく△64玉を選択して分岐しますが。

※公開しているなのは詰めでは解けません。
※手順の表記はれさぴょん形式で、市販の将棋ソフトに貼り付けできないと思います。

【追記】詰将棋博物館の無双第6番が変更になったので、下に原図を張ります。
松井雪山氏案は原図の攻め方に２七銀と２九桂を追加したもので、ここに記載の余詰めがあるようです。
変更された図は駒場和男氏案で原図の玉方９一香を９一銀に変更したもので、こちらは▲５二角成から詰むようです。

王手生成の漏れ

今までは「不明」と返ってきていた無双第88番が最近「不詰」と返ってくるようになって、局面の入力ミスかと思って新東大将棋無双IIで調べるときっちり詰むので、探索ログを追いながら原因を探し、ようやく原因に辿りつきました。
下の図は無双第88番の途中図でここから▲４三歩とすることで詰みますが、ログにはその手がない！
図の中に赤い丸で示しているように３二の地点に先手の角が利いていますが、４三に歩を打つと角の利きを遮ることの考慮が漏れていて、打ち歩詰めと誤判断したため、▲４三歩が生成されていませんでした。

あぁ、なんというチョンボ！



角と同様に飛車の横利きを遮って打ち歩詰めにならない場合も歩打ちの王手を生成していませんでした。orz
このバグを見つけた瞬間、「そんな馬鹿な！」とかなり力が抜けました…。

というか一気に疲れたので、きょうはここまで。
直すのはまた今度にしよう…。

でも、こんなバグ入れ込むの僕だけじゃないよねっ？
ねっ？