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

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


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

Текущая версия от 13:12, 18 ноября 2010

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

Литература

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