対称指数時間は最大回路サイズに近い必要がある

対称指数時間クラスS2Eは最大回路サイズ2^n/nを必要とする。