Реализация Левенштейна на C # и F #. Версия C # в 10 раз быстрее для двух строк размером около 1500 символов. C #: 69 мс, F # 867 мс. Зачем? Насколько я могу судить, они делают то же самое? Не имеет значения, является ли это сборкой Release или Debug.
РЕДАКТИРОВАТЬ: Если кто-то придет сюда специально для реализации Edit Distance, он сломан. Рабочий код здесь .
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]
c#
performance
f#
inline
Роберт Джеппесен
источник
источник
Ответы:
Проблема в том, что
min3
функция скомпилирована как универсальная функция, которая использует универсальное сравнение (я думал, что это использует толькоIComparable
, но на самом деле это более сложно - оно будет использовать структурное сравнение для типов F # и это довольно сложная логика).В версии C # функция не является универсальной (просто требуется
int
). Вы можете улучшить версию F #, добавив аннотации типов (чтобы получить то же, что и в C #):... или сделав
min3
asinline
(в этом случае он будет специализированint
при использовании):Для случайной строки
str
длиной 300 я получаю следующие числа:источник
inline
работает как шаблон C ++, который специализируетсяint
на сайте вызова.inline
. Причина, по которой поведение по умолчанию отличается, заключается в том, что оно основано на универсальных шаблонах .Net, которые обрабатываются средой выполнения (и, возможно, не так хороши для написания универсального числового кода). Однако использование поведения C ++ в F # приведет к раздуванию кода, потому что F # намного больше использует универсальные шаблоны.