Proof:Since the triangle inequality holds for every single column of the alignment by the definition of the scoring scheme, it also holds for entire strings by the definition of d. Therefore . But the edges (Si, Sc), (Sc, Sj) are edges of E(Tc), thus d(Si, Sc) = D(Si, Sc). It follows that .
Let denote the optimal alignment of . Let d*(Si, Sj) denote the value of alignment between Si and Sj induced by .
Proof:By Lemma 5.2 it follows that
(5.1) |
(5.2) |
(5.3) |
(5.4) |