#−１,#−２の局面

かくしの局面としてｗｉｎｄｏｗ ９５／ＮＴに存在するこの局面は、非常に作為的なパターンであり、一目見て解が存在しないだろうなと誰もが思うものです。

しかし、解が存在しない事を明に証明したレポートはみあたりません。
（他のパターンで解の存在しない例の証明については前述の通り）

さて、この＃−１，＃−２の局面のＤＲ１を求めるとどうなるでしょうか？

最後まで計算していくと、ともに無限大（実は−ｌｏｇ２（０） ）となります。つまり、途中の局面までしか存在できないのです。言い換えると、

＃−１，＃−２の局面は解が存在しない

ということが証明（？）されてしまうのです。
解の存在しないパターンを論じた論文「Ａｎ ｕｎｓｏｌｖａｂｌｅ ｉｎｓｔａｎｃｅｏｆＦｒｅｅＣｅｌｌ」に例示されている局面について同様にＤＲ１もとめると、やはり無限大になります。
（ＤＲ１の定義から当然の結果ですが）

では、逆は成り立つであろうか？ 解の存在しない局面のＤＲ１は、すべて無限大になるであろうか？

残念ながら、これは成り立ちません。
理論的には、個々の局面の存在は可能でも、局面から次の局面へ遷移させる手順が存在しないため解が存在しない場合が考えられます。（具体例は解っていませんが）

ＤＲ１で判定できる解の存在しない局面というのは、かなり粗いレベルかもしれません。まだ、解のない局面の例が少ないのでこれからの調査結果を待ちましょう。

面白そうな ２，３ の局面のＤＲ１計算の詳細データ

このデータを最初に見たとき、”そうか＃１１９８２は＃１９４１の倍程度の難しさの問題なのか、それなら解が見つからないこともないなぁ”とよろこんだのですが、．．．