Quel est l'algorithme optimal « fédérateur le plus général »?

StackOverflow https://stackoverflow.com/questions/858077

Question

La question

Quel est l'algorithme MGU plus efficace? Quelle est sa complexité de temps? Est-il assez simple à décrire comme une réponse de débordement de la pile?

J'ai essayé de trouver la réponse sur Google, mais continuer à trouver .pdfs privé que je ne peut accéder via un abonnement ACM.

J'ai trouvé une discussion SICP:

Autres conseils

Baader et Snyder a publié plusieurs algorithmes d'unification, pour les deux syntaxique l'unification et l'unification équationnelle.

Ils affirment que leur troisième algorithme d'unification syntaxique (dans la section 2.3) fonctionne en O (n alpha (n)) où alpha (n) est la fonction Ackermann inverse -. Dans des situations pratiques, il est équivalent à une petite constante

Licencié sous: CC-BY-SA avec attribution
Non affilié à StackOverflow
scroll top