[Caml] Vérifier qu'un arbre binaire est un ABR

[Xeno]

Bonsoir,

Comme le titre l'indique, je cherche une fonction caml qui vérifie si un arbre binaire est un ABR, mais en ne faisant qu'un parcours de l'arbre.. J'ai essayé une programmation récursive avec une fonction auxiliaire mais je n'aboutis pas...
Je crois que c'est un algorithme classique mais malgré mes recherches je ne trouve pas.
Si quelqu'un peut m'aider, merci beaucoup.
-----

[invite4492c379]

Bonsoir,

Comme le titre l'indique, je cherche une fonction caml qui vérifie si un arbre binaire est un ABR, mais en ne faisant qu'un parcours de l'arbre.. J'ai essayé une programmation récursive avec une fonction auxiliaire mais je n'aboutis pas...
Je crois que c'est un algorithme classique mais malgré mes recherches je ne trouve pas.
Si quelqu'un peut m'aider, merci beaucoup.

Hello,

Quel algorithme as-tu essayé d'implémenter ? Si tu ne voies pas trop, quelles sont les propriétés à vérifier à chaque noeud pour un ABR ?