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