發送短信 : Feasible computations and provable complexity properties /