>>910
それって計算量的困難という仮定だから省いちゃダメでしょ
計算量的困難は典型的な時間稼ぎでしょ