(1) una estructura proporcionant un fàcilment verificat obligat en el valor òptim d'un problema d'optimització. Normalment utilitzat en l'anàlisi d'un algoritme d'aproximació per demostrar la garantia de rendiment. (2) un desajust de dos símbols de corda y a certa distància d és un "testimoni" al fet que en cap tema y podria passar dues vegades a una distància de posicions exactament d (equivalentment, aquesta d no pot ser un període d'y).