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

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

Версия от 11:48, 25 сентября 2009

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

Литература

[Евстигнеев-Касьянов/94].