（来自：https ://math.mit.edu/classes/18.417/Slides/alignment.pdf ）
第 11 页的幻灯片讨论了编辑距离和对齐距离如何等效。
我了解如何证明编辑距离将始终小于或等于相应的对齐距离。我们总是可以从给出相同结果的给定比对构造一系列编辑。由于编辑距离序列尽可能短，因此相应的序列至少也一样长。
我不明白如何证明反向不等式。任何人都可以提供证据吗？显然需要用三角不等式来证明。
同样，是否有任何资源可以严格处理该主题？例如，我想要证明为什么这两个距离满足度量空间的公理。