入力長をどちらで測っても、単純にchecking relation全てを尽くす
場合には、指数時間かかることもあるんじゃねーのけ?