数独日誌150201

【私の使っているソルバーについて】

   今回は私が普段使っているソルバーのことを記事にしたいと思います。今まで残りマスの候補数字を自分で書き出した時に、その確認をするためにたまに使うくらいだったのですが、最近使う機会が増えて、このソルバーの特徴がちょっと見えてきました。

http://www.sudokugame.org/puzzle.php

   局部限定やn国同盟は問題ないのですが、それ以上の手筋では、実装されているのが、どうも不連続タイプのNice Loopではないかと思われるのです。例えばXY-wing、XY-chain、２-string-kiteなどは不連続タイプのNice Loopの簡単な形なので大丈夫ですが、反面Nice Loopの連続タイプである四角の対角線（X-wing）、XY-loop（XY-chainの連続タイプ）などは使えないようなのです。

   局部限定やn国同盟以上の手筋が示されるときは、いつも最初のマスと最後のマスが濃い色で表示され、その２つのマスの両方を臨むマスから、ある数字が除外できる、というパターンです。

   四角の対角線（３行以上も含めて）が実装されていないというのはちょっと残念な気がしますが、どなたかこのソルバーの特徴を調べた方はいらっしゃいますか？