Discussion :

[Panpan42]

Bonjour,
Je suis désolé mais j'ai encore besoin de vous .
Voila, notre prof d'algo nous a donné les questions de cours qu'il y aura au partiel de mardi prochain.
Le seul probleme, c'est qu'il nous a bien précisé que la démonstration qu'il nous demande, n'est disponible sur aucun livres, ni sur internet (nous ne l'avons même pas vu en cours avec lui)

J'aimerais donc savoir si quelqu'un pouvait trouver une réponse à cette question:

Démontrer que la fonction fag2ab est injective

Merci d'avance pour votre aide!

PS: grace a vos suggestions j'ai pu faire un mastermind qui marche correctement.

[fearyourself]

Bonjour,

1) Faut-il qu'on devine ce que c'est fag2ab ?

2) On n'est pas là pour résoudre des exercices de ce genre...

3) Ce n'est pas le bon forum pour ce genre de question.

Jc

[salseropom]

Bonjour,
Je suis désolé mais j'ai encore besoin de vous .
Voila, notre prof d'algo nous a donné les questions de cours qu'il y aura au partiel de mardi prochain.
Le seul probleme, c'est qu'il nous a bien précisé que la démonstration qu'il nous demande, n'est disponible sur aucun livres, ni sur internet (nous ne l'avons même pas vu en cours avec lui)

J'aimerais donc savoir si quelqu'un pouvait trouver une réponse à cette question:

Démontrer que la fonction fag2ab est injective

Merci d'avance pour votre aide!

PS: grace a vos suggestions j'ai pu faire un mastermind qui marche correctement.

bon, une fonction injective est une fonction f telle que pour tous x1,x2 appartenant à son ensemble de définition, x1 != x2 alors f(x1) != f(x2)

En général, pour montrer qu'une fonction est injective on utilise la contraposée :
pour tous x1,x2 appartenant à son ensemble de définition : f(x1) == f(x2) => x1 == x2

[BadTasTe]

Tiens, on dirait un etudiant Stephanois
Je suis dans la meme galere que toi mais voici un lien qui pourrai peut-etre t'aider:
http://www.math-info.univ-paris5.fr/...ALGO3ligne.pdf
Fearyourself, ab2fag est une fonction qui permet de passer d'un arbre Binaire à une foret d'arbre Generaux!!!
J'en profite pour te demander PanPan42 si tu as trouvé l'invariant de boucle de l'algo de recherche dichotomique itératif??
Moi j'ai trouvé "g<=(g+d)/2<d" mais reste à le prouver.
Voila et merci pour ton aide Salseropom
Tchô

[BadTasTe]

euh... au fait, tu es sur que c'est fag2ab et pas ab2fag??? tu me fais peur la

[Panpan42]

Ben moi il me semble bien qu'il nous a parlé de fag2ab mais de toute facon je vais chercher les deux au cas ou....
Ce qui est cool c'est que même les chargés de TD peuvent pas repondre à çà....
Pour l'invariant je galère encore mais bon je fais passé analyse et algebre avant.....

Pour repondre a fearyourself, nous aussi on doit deviné ce que c'est fag2ab!!! Et c'est nous qui avons le partiel donc c'est encore plus chaud pour nous