Алгоритм Уэ: различия между версиями

Алгоритм Уэ (посмотреть исходный код)

188 байт добавлено , 25 сентября 2009

нет описания правки

4194

правки

@@ Строка 1: / Строка 1: @@
-'''Алгоритм Уэ''' (''G.Huet'') -
+'''Алгоритм Уэ''' ([[G.Huet|''G.Huet'']]) - [[алгоритм|алгоритм]] построения [[наибольший общий унификатор|''наибольшего общего унификатора'']] двух [[терм|''термов'']], представленных [[бесконтурный орграф|бесконтурными графами]] (дэгами), за линейное относительно суммарного числа [[вершина|вершин]] и [[дуга|дуг]] [[граф|графа]] время.
-алгоритм построения ''наибольшего общего унификатора'' двух
-''термов'', представленных бесконтурными графами (дэгами), за линейное
-относительно суммарного числа вершин и дуг графа время.
 ==Литература==
-[Евстигнеев-Касьянов/94]
+[Евстигнеев-Касьянов/94].