それに加えて、さっきいった、仮定 T と仮定 T? どっちかしか通らない事を保証する必要があるなら

3:54 AM

式が1個増えるたびに倍々に計算量が増えてくよ。