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

'''Алгоритм Уэ''' ([[G.Huet|''G.Huet'']]) - [[алгоритм|алгоритм]] построения [[наибольший общий унификатор|''наибольшего общего унификатора'']] двух [[терм|''термов'']], представленных [[бесконтурный орграф|бесконтурными графами]] (дэгами), за линейное относительно суммарного числа [[вершина|вершин]] и [[дуга|дуг]] [[граф|графа]] время.

* Евстигнеев В.А., Касьянов В.Н. Теория графов: алгоритмы обработки деревьев. - Новосибирск: Наука. Сиб. отд-ние, 1994.