指数時間でしか解けないというだけでは安全性のバウンドが求められない
その具体的な係数の下限まで必要