アルゴリズム
ある値や値の集合を
入力
から受け取り、ある値や値の集合を
出力
する計算手続き
入力を出力に変換するツール
計算問題
を解くためのツール
ある計算問題に対し、すべての制約を満たす入力列の1つを
インスタンス
と呼ぶ
すべてのインスタンスに対し、常に
停止
し、その出力が正しいとき、そのアルゴリズムは
正当
である
=
完全正当性
#データ構造とアルゴリズム