To be fair, the idea of correctness (in the optimization sense) is based on simplifying assumptions. For example, using the edit distance to compare genomes ma

To be fair, the idea of correctness (in the optimization sense) is based on simplifying assumptions. For example, using the edit distance to compare genomes makes an assumption that insertions, deletions, and substitutions "cost" the same amount, but the reality is far more complicated due to the mechanics of how mutations actually happen. The edit distance is incredibly useful anyway, and a 99.9% answer is possibly just as useful