情報科学 › アルゴリズムとデータ構造 › 動的計画法
編集距離（レーベンシュタイン距離）
有限アルファベット上の文字列 、 に対し、次の 3 種の操作をそれぞれコスト として、 を に変換する操作列のうちコストの総和が最小のものの値を編集距離 と呼ぶ。
- 1 文字の削除
- 1 文字の挿入
- 1 文字を別の 1 文字に置換
閉包の状態
定義
定義は閉包の起点です（証明を要しません）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。