(1) 提供方便地验证结构上的优化问题最优值绑定。通常在分析中的一个近似算法用于证明的性能保证。(2) 不匹配的两个符号的字符串 y d 的距离是"证人"的事实在没有主题 y 可能发生两次在确切地 d 位置的距离 （等效地，那 d 不能 y 的一段时间）。