各マスたかだか9通りの可能性しか無いのだから、各空白マスを9分割（線は書かなくて良い）して
既知の数字をもとに可能性を消去（各空白マスは9分割されていると考えて、
点を打つ）していけば機械的に解けるんじゃね？