Алгоритм Патерсона-Вегмана — различия между версиями

Материал из WikiGrapp
Перейти к:навигация, поиск
(Создана новая страница размером '''Алгоритм Патерсона-Вегмана''' (''M.S.Paterson, M.N.Wegman'') - алгоритм построени...)
 
 
(не показана 1 промежуточная версия этого же участника)
Строка 1: Строка 1:
'''Алгоритм Патерсона-Вегмана''' (''[[M.S.Paterson]], [[M.N.Wegman]]'') - [[алгоритм]] построения ''[[наибольший общий унификатор|наибольшего общего унификатора]]'' двух ''[[терм|термов]]'', представленных [[бесконтурный орграф|бесконтурными графами]] ([[дэг|дэгами]]), за линейное
+
'''Алгоритм Патерсона-Вегмана''' (''[[M.S.Paterson]], [[M.N.Wegman]]'') [[алгоритм]] построения ''[[наибольший общий унификатор|наибольшего общего унификатора]]'' двух ''[[терм|термов]]'', представленных [[бесконтурный орграф|бесконтурными графами]] ([[дэг|дэгами]]), за линейное
 
относительно суммарного числа [[вершина|вершин]] и [[дуга|дуг]] [[граф|графа]] время.
 
относительно суммарного числа [[вершина|вершин]] и [[дуга|дуг]] [[граф|графа]] время.
 
==Литература==
 
==Литература==
[Евстигнеев-Касьянов/94]
+
 
 +
* Евстигнеев В.А., Касьянов В.Н. Теория графов: алгоритмы обработки деревьев. — Новосибирск: Наука. Сиб. отд-ние, 1994.

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

Алгоритм Патерсона-Вегмана (M.S.Paterson, M.N.Wegman) — алгоритм построения наибольшего общего унификатора двух термов, представленных бесконтурными графами (дэгами), за линейное относительно суммарного числа вершин и дуг графа время.

Литература

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