明日から本格的に始まる．

E. Dantsin, V. Kreinovich, A. Wolpert SIGACT News, 36(4), pages 103-108, December 2005. Groverのアルゴリズムをそのまま使えば量子的に1.414^nぐらいの時間でSATが解ける，と． なるほど． この論文の目的はそれを他のSATアルゴリズムに適用するという…