Discussion :

[j0o0]

Bonjour,

Je dois écrire la spécification générique définissant la sorte Abp des arbres binaires parfaits étiquetés par S munis de diverses opérations telles que av : création d'un arbre vide, i : insertion dans un arbre a à l'adresse n(a) d'un nouveau noeud étiqueté, où n(a) est le nombre de feuilles de l'arbre... Je bloque sur l'opération de remplacement r : remplacement d'une étiquette à une adresse donnée. Son prototype est donc :

r : Abp Nat S -> Abp (où Abp est l'arbre, Nat un naturel représentant l'adresse à laquelle on veut faire le remplacement, et S la nouvelle valeur)

J'ai comme début d'axiome définissant cette opération :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
r(av(), adr, y) = av()
 
r(i(a,x), adr, y) = ?

En fait je ne sais pas comment atteindre l'adresse adr, sachant que je ne dois utiliser que les opérations av et i pour définir r...

Si quelqu'un a compris et aurait une idée qu'il voudrait bien me faire partager, je lui serais infiniment reconnaissant

[Fabllot]

Bonjour,

Ta fonction de remplacement ne serait pas strictement identique à ta fonction d'insertion ???
Mais peut-être que j'ai mal compris...

[N_I_C_S]

Salut,

peux-tu décrire plus précisément la fonction d'insertion ?
Dans i(a, x), à quoi correspond le x, la valeur ou l'adresse ? Dans ce cas, quelle est la valeur ?

[Benoit057]

Bonjour,

a correspond a l'arbre et x a une valeur.
Et la fonction r n'est pas identique a i puisque r remplace une valeur a une adresse donnée par une autre valeur et i insert une valeur a la fin de l'arbre ( dans l'ordre d'un arbre binaire parfait).
J'ai le meme probleme que jooo

[Fabllot]

Ce déterrage de topics !

Bon j'ai peut-être pas la mémoire d'un poisson rouge, mais les problèmes d'il y a 4 ans... Il va falloir rafraîchir un peu le problème et ré-expliquer l'ensemble...
Quel est ton problème (avec tes mots) ?