> ﾌﾞｰﾙ代数の話をしようぜ

k-CNFSatはk>=3でNP完全になるんだぜ

参考：2001/10/12(金)21時09分39秒