Fonction injective ?

Bonjour,
Je suis désolé mais j'ai encore besoin de vous:oops: :? .
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 :evilred: (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.

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

Citation:

---

Envoyé par Panpan42

Bonjour,
Je suis désolé mais j'ai encore besoin de vous:oops: :? .
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 :evilred: (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

Tiens, on dirait un etudiant Stephanois :yaisse2:
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 :king:
Tchô

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

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 à çà....:bug:
Pour l'invariant je galère encore mais bon je fais passé analyse et algebre avant.....:roll:

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