Было показано [41], что при условии существования единичного элемента каждая такая задача унификации соответствует множеству ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Лупанов О.Б.
Кибернетический сборник Выпуск25
Было показано [41], что при условии существования единичного элемента каждая такая задача унификации соответствует множеству однородных уравнений, а число наиболее общих унификаторов пропорционально размерности пространства решений. Таким образом, сложность АС-унификации определяется главным образом числом способов распределения подтермов по переменным. Другими словами, АС-унификация была бы значительно проще, если бы термы не содержали переменных.