C # 및 F #의 Levenshtein 구현 C # 버전은 약 1500 자의 두 문자열에 대해 10 배 더 빠릅니다. C # : 69ms, F # 867ms. 왜? 내가 알 수있는 한, 그들은 똑같은 일을합니까? 릴리스 또는 디버그 빌드인지는 중요하지 않습니다.
편집 : 누군가가 거리 편집 구현을 위해 특별히 여기에 오면 깨졌습니다. 작업 코드는 여기에 있습니다 .
C # :
private static int min3(int a, int b, int c)
{
return Math.Min(Math.Min(a, b), c);
}
public static int EditDistance(string m, string n)
{
var d1 = new int[n.Length];
for (int x = 0; x < d1.Length; x++) d1[x] = x;
var d0 = new int[n.Length];
for(int i = 1; i < m.Length; i++)
{
d0[0] = i;
var ui = m[i];
for (int j = 1; j < n.Length; j++ )
{
d0[j] = 1 + min3(d1[j], d0[j - 1], d1[j - 1] + (ui == n[j] ? -1 : 0));
}
Array.Copy(d0, d1, d1.Length);
}
return d0[n.Length - 1];
}
F # :
let min3(a, b, c) = min a (min b c)
let levenshtein (m:string) (n:string) =
let d1 = Array.init n.Length id
let d0 = Array.create n.Length 0
for i=1 to m.Length-1 do
d0.[0] <- i
let ui = m.[i]
for j=1 to n.Length-1 do
d0.[j] <- 1 + min3(d1.[j], d0.[j-1], d1.[j-1] + if ui = n.[j] then -1 else 0)
Array.blit d0 0 d1 0 n.Length
d0.[n.Length-1]
답변
문제는 min3
함수가 제네릭 비교를 사용하는 제네릭 함수로 컴파일된다는 IComparable
것입니다.
> let min3(a, b, c) = min a (min b c);;
val min3 : 'a * 'a * 'a -> 'a when 'a : comparison
C # 버전에서 함수는 일반적이지 않습니다 (단지 걸립니다 int
). C #에서와 같은 것을 얻기 위해 형식 주석을 추가하여 F # 버전을 향상시킬 수 있습니다.
let min3(a:int, b, c) = min a (min b c)
… 또는 다음 min3
과 같이 작성 하면 inline
(사용되는 경우에 특화 됨 int
)
let inline min3(a, b, c) = min a (min b c);;
str
길이가 300 인 임의의 문자열 의 경우 다음 숫자를 얻습니다.
> levenshtein str ("foo" + str);;
Real: 00:00:03.938, CPU: 00:00:03.900, GC gen0: 275, gen1: 1, gen2: 0
val it : int = 3
> levenshtein_inlined str ("foo" + str);;
Real: 00:00:00.068, CPU: 00:00:00.078, GC gen0: 0, gen1: 0, gen2: 0
val it : int = 3