2年後くらいに

きっと2年後までには「一般化数独ナンバープレイス)のNP完全性」とかいう卒論が書かれるに違いない。多分出来るんじゃないかしら?

既にあったよ(;´Д`)
Takayuki YATO and Takahiro SETA: Complexity and Completeness of Finding Another Solution and Its Application to Puzzles (別解問題の計算量と完全性、およびパズルへの応用).
Yac's Homepage : Libraryから見られる。

ASP(別解問題)ってあるんだね。これなかなか面白そう。