202613803

初等的なアルゴリズムしか知らないと、クラス P は自然な集合に思えるし、それを疑問に思ったこともなかった。でも理論的なことを考えるとき、実は P より少し上のクラスがより本質的ということはないんだろうか。