Répondre à la discussion
Page 2 sur 2 PremièrePremière 2
Affichage des résultats 31 à 35 sur 35

algorithmique permutations (ADA)



  1. #31
    magodeoz

    Re : algorithmique permutations (ADA)


    ------

    S.T(i) c'est quoi ? la valeur de l'entier à l'indice i dans la séquence S ???
    Oui tout à fait...Enfin c'est ce qui est écrit dans mon cours...
    S.T(i)=TdeS(i)= valeur de l'entier à l'indice i dans la séquence S

    -----

  2. Publicité
  3. #32
    kwariz

    Re : algorithmique permutations (ADA)

    OK, pour moi T était une permutation et je comprenais S[T[i]] ...

    Ce que tu cherches prouver c'est qu'à la sortie de la boucle tu auras affiché tous les éléments de S et dans l'ordre. L'invariant va fortement ressembler à celui de la version avec permutation, avec quelques trucs à démontrer sur IPPS ...

  4. #33
    magodeoz

    Re : algorithmique permutations (ADA)

    Franchement...Comment arrives-tu à trouver un truc pareil?
    Inv(S,T,i, compteur) = (i=0 et compteur=LdeS) ou (i!=0 et S[T[i]] est le plus petit élément de S non encore affiché)
    franchement je suis impressionné Je ne serais jamais capable de trouver des invariants si complexe ^^
    Bon à démontrer une fois qu'on l'a c'est plus simple mais franchement pour sortir ça...

    OK, pour moi T était une permutation et je comprenais S[T[i]] ...
    Ah non c'est tableau de la séquence. Oui je trouve ça absurde comme notation ^^ T(i) ou à la rigueur S(i) porterait moins à confusion...

    L'invariant va fortement ressembler à celui de la version avec permutation,
    en fait il ne change pas vraiment non? C'est juste que comme ce que tu avais compris T comme permutation (ce qui était P pour moi) j'ai juste à faire:Inv(S,i, compteur) = (i=0 et compteur=LdeS) ou (i!=0 et S.T[i]] est le plus petit élément de S non encore affiché) non?

  5. #34
    kwariz

    Re : algorithmique permutations (ADA)

    C'est ça. Mais en fait ce n'est pas si compliqué, il faut formaliser ce que tu cherches à démontrer, et à défaut un prédicat qui est suffisament fort pour prouver ce que tu veux.

  6. #35
    magodeoz

    Re : algorithmique permutations (ADA)

    Merci pour tout kwariz
    Je comprends beaucoup mieux les choses avec tes explications
    Très bonne fin de week-end à toi!

    Mägodeoz

Page 2 sur 2 PremièrePremière 2

Discussions similaires

  1. ADA se trompe ???
    Par jameswell dans le forum Programmation et langages, Algorithmique
    Réponses: 0
    Dernier message: 14/06/2012, 18h40
  2. permutations
    Par Snowey dans le forum Mathématiques du supérieur
    Réponses: 2
    Dernier message: 28/05/2012, 14h25
  3. Permutations
    Par jerome_010 dans le forum Mathématiques du supérieur
    Réponses: 1
    Dernier message: 14/12/2009, 12h39
  4. Nombre de lettres (ada)
    Par delphinounette dans le forum Internet - Réseau - Sécurité générale
    Réponses: 3
    Dernier message: 08/12/2005, 19h40
  5. petit pb avec ADA ..
    Par Yuna66 dans le forum Logiciel - Software - Open Source
    Réponses: 2
    Dernier message: 04/01/2005, 23h01