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