minimum edit distance problem