アルゴリズムの正しさと計算量

同じ入力例に答えられる二つのプログラムでも、全入力に対する正しさや大きな入力での費用は違います。本記事では最大値探索を出発点に、仕様、ループ不変条件、計算量、実測を分けて説明します。到達目標は「何を仮定し、何を保証したか」を文章と式で書けることです。

記事の閲覧状態を確認しています…

広告を取得中...