2005-05-17 2年後くらいに CS きっと2年後までには「一般化数独(ナンバープレイス)のNP完全性」とかいう卒論が書かれるに違いない。多分出来るんじゃないかしら? 既にあったよ(;´Д`) Takayuki YATO and Takahiro SETA: Complexity and Completeness of Finding Another Solution and Its Application to Puzzles (別解問題の計算量と完全性、およびパズルへの応用). Yac's Homepage : Libraryから見られる。ASP(別解問題)ってあるんだね。これなかなか面白そう。