アルゴリズム解析の理論的証明手法