Click here to Skip to main content
15,887,243 members
Articles / Programming Languages / C#

Fast, memory efficient Levenshtein algorithm

Rate me:
Please Sign up or sign in to vote.
4.76/5 (34 votes)
26 Mar 2012CPOL5 min read 219.9K   6.1K   81   41
A version of the Levenshtein algorithm that uses 2*Min(StrLen1,StrLen2) bytes instead of StrLen1*StrLen2 bytes.

Introduction

The Levenshtein distance is the difference between two strings. I use it in a web crawler application to compare the new and old versions of a web page. If it has changed enough, I update it in my database.

Description

The original algorithm creates a matrix, where the size is StrLen1*StrLen2. If both strings are 1000 chars long, the resulting matrix is 1M elements; if the strings are 10,000 chars, the matrix will be 100M elements. If the elements are integers, it will be 4*100M == 400MB. Ouch!

This version of the algorithm uses only 2*StrLen elements, so the latter example would give 2*10,000*4 = 80 KB. The result is that, not only does it use less memory but it's also faster because the memory allocation takes less time. When both strings are about 1K in length, the new version is more than twice as fast.

Example

The original version would create a matrix[6+1,5+1], my version creates two vectors[6+1] (the yellow elements). In both versions, the order of the strings is irrelevant, that is, it could be matrix[5+1,6+1] and two vectors[5+1].

The new algorithm

Steps

Step Description
1 Set n to be the length of s. ("GUMBO")
Set m to be the length of t. ("GAMBOL")
If n = 0, return m and exit.
If m = 0, return n and exit.
Construct two vectors, v0[m+1] and v1[m+1], containing 0..m elements.
2 Initialize v0 to 0..m.
3 Examine each character of s (i from 1 to n).
4 Examine each character of t (j from 1 to m).
5 If s[i] equals t[j], the cost is 0.
If s[i] is not equal to t[j], the cost is 1.
6 Set cell v1[j] equal to the minimum of:
a. The cell immediately above plus 1: v1[j-1] + 1.
b. The cell immediately to the left plus 1: v0[j] + 1.
c. The cell diagonally above and to the left plus the cost: v0[j-1] + cost.
7 After the iteration steps (3, 4, 5, 6) are complete, the distance is found in the cell v1[m].

This section shows how the Levenshtein distance is computed when the source string is "GUMBO" and the target string is "GAMBOL":

Steps 1 and 2 

  v0 v1        
    G U M B O
  0 1 2 3 4 5
G 1          
A 2          
M 3          
B 4          
O 5          
L 6          

Steps 3 to 6, when i = 1

  v0 v1        
    G U M B O
  0 1 2 3 4 5
G 1 0        
A 2 1        
M 3 2        
B 4 3        
O 5 4        
L 6 5        

Steps 3 to 6, when i = 2

SWAP(v0,v1): If you look in the code you will see that I don't swap the content of the vectors but I refer to them.

Set v1[0] to the column number, e.g. 2.

    v0 v1      
    G U M B O
  0 1 2 3 4 5
G 1 0 1      
A 2 1 1      
M 3 2 2      
B 4 3 3      
O 5 4 4      
L 6 5 5      

Steps 3 to 6, when i = 3

SWAP(v0,v1).

Set v1[0] to the column number, e.g. 3.

      v0 v1    
    G U M B O
  0 1 2 3 4 5
G 1 0 1 2    
A 2 1 1 2    
M 3 2 2 1    
B 4 3 3 2    
O 5 4 4 3    
L 6 5 5 4    

Steps 3 to 6, when i = 4

SWAP(v0,v1).

Set v1[0] to the column number, e.g. 4.

        v0 v1  
    G U M B O
  0 1 2 3 4 5
G 1 0 1 2 3  
A 2 1 1 2 3  
M 3 2 2 1 2  
B 4 3 3 2 1  
O 5 4 4 3 2  
L 6 5 5 4 3  

Steps 3 to 6, when i = 5

SWAP(v0,v1).

Set v1[0] to the column number, e.g. 5.

          v0 v1
    G U M B O
  0 1 2 3 4 5
G 1 0 1 2 3 4
A 2 1 1 2 3 4
M 3 2 2 1 2 3
B 4 3 3 2 1 2
O 5 4 4 3 2 1
L 6 5 5 4 3 2

Step 7

The distance is in the lower right hand corner of the matrix, v1[m] == 2. This corresponds to our intuitive realization that "GUMBO" can be transformed into "GAMBOL" by substituting "A" for "U" and adding "L" (one substitution and one insertion = two changes).

Improvements

If you are sure that your strings will never be longer than 2^16 chars, you could use ushort instead of int, if the strings are less than 2^8 chars, you could use byte. I guess, the algorithm would be even faster if we use unmanaged code, but I have not tried it.

References

History

  • 2006-03-22
    • Version 1.0.
  • 2006-03-24
    • Detailed description of the algorithm. The code has been rewritten so that it now follows the description. :-)

 

License

This article, along with any associated source code and files, is licensed under The Code Project Open License (CPOL)


Written By
Software Developer (Senior) SEB bank
Sweden Sweden
I work as a developer in the 'Risk control' department at SEB bank in Stockholm,Sweden and I have been designing software since the early 80's.

Comments and Discussions

 
GeneralMy vote of 5 Pin
Alper Sünter27-Nov-20 16:53
Alper Sünter27-Nov-20 16:53 
SuggestionMy changes to this algorithm Pin
jjcasalo20-Oct-17 2:46
jjcasalo20-Oct-17 2:46 
QuestionWhat do I do wrong ? (VB.net code) Pin
jjcasalo19-Oct-17 10:05
jjcasalo19-Oct-17 10:05 
Hi all,

I tried to port this code to VB.Net, but I can't make it give me the expected results..

Here is the code :
VB
<pre>    Function Levenshtein(ByVal sRow As String, ByVal sCol As String, ByVal LMax As Integer) As Integer

        Dim RowLen As Integer = sRow.Length  ' length of sRow
        Dim ColLen As Integer = sCol.Length  ' length of sCol
        Dim MaxLen = Math.Max(RowLen, ColLen)
        Dim cost As Integer                  ' cost

        If MaxLen > 1000 Then
            MsgBox("La taille limite des mots est de 1000 lettres", MsgBoxStyle.Exclamation, "Texte trop long")
            Return 99
        End If

        ' Step 1
        If (RowLen = 0 Or ColLen = 0) Then Return MaxLen

        ' Create the two vectors
        Dim v0 As Integer() = New Integer(RowLen + 1) {}
        Dim v1 As Integer() = New Integer(RowLen + 1) {}
        'Dim vTmp As Integer()

        ' Step 2
        ' Initialize the first vector
        For i = 1 To RowLen
            v0(i) = i
        Next

        ' Step 3
        ' For each column
        For j = 1 To ColLen
            ' Set the 0'th element to the column number
            v1(0) = j

            ' Step 4
            For i = 1 To RowLen

                ' Step 5
                If (sRow(i - 1) = sCol(j - 1)) Then
                    cost = 0
                Else
                    cost = 1
                End If

                ' Step 6
                ' Find minimum
                v1(i) = Math.Min(v0(i) + 1, Math.Min(v1(i - 1) + 1, v0(i - 1) + cost))
            Next

            ' Swap the vectors
            Dim vTmp = v0
            v0 = v1
            v1 = vTmp
        Next

        ' Step 7
        ' Value between 0 - 100   (0 = perfect match ; 100 = totaly different)
        ' 
        ' The vectors where swaped one last time at the end of the last loop,
        ' that is why the result is now in v0 rather than in v1
        Return ((100 * v0(RowLen)) / MaxLen)

    End Function


When I try to launch the function with "CHEMISE" and "CHEMISIE", it gives me a result of 12... Confused | :confused:

I most probably made a mistake in the "translation" from C to VB, but I can't find it.


Also, I'd like to change the code to stop if the Levenshtein distance is greater than a value (this is to avoid spending too much time computing different strings, while I only want them to be, for example, only 2 changes apart.

Any idea on how to do this ?

Thanks a lot
QuestionHelpful Pin
SusannePorte21-Nov-16 21:24
SusannePorte21-Nov-16 21:24 
AnswerRe: Helpful Pin
Sten Hjelmqvist22-Nov-16 5:37
Sten Hjelmqvist22-Nov-16 5:37 
QuestionCleaned up the code Pin
John Henckel12-Sep-16 8:45
John Henckel12-Sep-16 8:45 
AnswerRe: Cleaned up the code Pin
jjcasalo19-Oct-17 10:06
jjcasalo19-Oct-17 10:06 
GeneralAwesome work! Pin
Member 1079435925-Sep-15 13:25
Member 1079435925-Sep-15 13:25 
GeneralRe: Awesome work! Pin
Sten Hjelmqvist28-Sep-15 20:49
Sten Hjelmqvist28-Sep-15 20:49 
GeneralRe: Awesome work! Pin
Member 107943598-Oct-15 13:33
Member 107943598-Oct-15 13:33 
QuestionThank you very much! How can I get the detail change list? Pin
Member 1191077915-Aug-15 16:51
Member 1191077915-Aug-15 16:51 
BugResults are not accurate Pin
Tom Medhurst18-Jun-15 0:35
Tom Medhurst18-Jun-15 0:35 
GeneralRe: Results are not accurate Pin
Sten Hjelmqvist5-Jul-15 20:53
Sten Hjelmqvist5-Jul-15 20:53 
GeneralRe: Results are not accurate Pin
jfos28-Sep-15 5:39
jfos28-Sep-15 5:39 
QuestionWhat about the list of changes? Pin
UzairSyed10-Jun-15 3:41
UzairSyed10-Jun-15 3:41 
QuestionWhat about the transpose operation? Pin
Member 1164580029-Apr-15 19:45
Member 1164580029-Apr-15 19:45 
AnswerRe: What about the transpose operation? Pin
Sten Hjelmqvist1-May-15 1:14
Sten Hjelmqvist1-May-15 1:14 
AnswerRe: What about the transpose operation? Pin
james.manning14-May-15 10:44
james.manning14-May-15 10:44 
QuestionBug Pin
xidongzhang25-Nov-14 6:57
xidongzhang25-Nov-14 6:57 
AnswerRe: Bug Pin
Sten Hjelmqvist8-Dec-14 22:38
Sten Hjelmqvist8-Dec-14 22:38 
GeneralMy vote of 5 Pin
Amir Mehrabi-Jorshari13-Nov-13 10:06
Amir Mehrabi-Jorshari13-Nov-13 10:06 
QuestionPerfect for my needs Pin
Greg Lindberg5-Nov-13 3:32
Greg Lindberg5-Nov-13 3:32 
AnswerRe: Perfect for my needs Pin
Sten Hjelmqvist5-Nov-13 4:01
Sten Hjelmqvist5-Nov-13 4:01 
GeneralMy vote of 5 Pin
meys_online26-Aug-12 13:38
meys_online26-Aug-12 13:38 
QuestionThanks - very interesting. Pin
SimonDrift20-Jan-12 15:14
SimonDrift20-Jan-12 15:14 

General General    News News    Suggestion Suggestion    Question Question    Bug Bug    Answer Answer    Joke Joke    Praise Praise    Rant Rant    Admin Admin   

Use Ctrl+Left/Right to switch messages, Ctrl+Up/Down to switch threads, Ctrl+Shift+Left/Right to switch pages.