アルゴリズムの時間複雑性の数学的モデル化