距離空閒
metric space
非擴大寫像 (metric map。short map。nonexpansive maps。nonexpanding maps。weak contractions)
距離函數$ d:M\times M\to\R
距離の公理
對稱性$ d(p,q)=d(q,p)
三角不等式 (triangle inequality)$ d(p,q)+d(q,r)\ge d(p,r)
公理より、非負性$ d(p,q)\ge 0を導ける
文字列
置換囘數
Левенштейна 距離 (Levenshtein distance。編輯距離 (edit distance))
置換・插入・削除囘數
置換・插入・削除・隣接置換囘數
到達可能性距離 (reachability distance)
擬距離 (pseudometric)
$ x\ne yに對して$ d(p,q)=0であってよい
強三角不等式 (超距離不等式)$ d(p,r)\le\max(d(p,q),d(q,r))