>>319
でも数理だけでは計算量の仮定なしには無理だね