An open question
A scoring scheme is metric if the mismatch penalties
satisfy the triangle inequality. Biologically meaningful
scoring schemes have to be metric in this sense.
However, the scoring scheme used in the proof of
Theorem 2 does not have this property.
Problem: (Jiang, Kearney and Li, 1999) Is there a PTAS
for the multiple sequence alignment problem for metric