Bonjour Beagle, on est mieux que pas loin, c'est gagné. Je reprends ton idée que je modifie un peu, j'arrete le rectangle à la colonne qui contient le k+1 ème coeur car ce sera plus pratique pour l'écriture vu que les histoires de moins de places n'ont pas trop de sens. Je vais essayer de faire soft sur les notations mathématiques mais n'hésite pas à rouspeter si cela ne te convient pas.
La suite du raisonnement se fait dans l'ensemble des distributions
(autrement dit ton fameux "sachant que"). On veut comparer
(autrement dit la k+1 ème arrive chez A) avec
(autrement dit la k+1 ème arrive chez B)
Pour tout élément dans
alors je m'interesse à j la position du k+1 ème coeur dans la distribution et i le maximum entre -1 et les positions des k coeurs déjà sortis vérifiant i<j (autrement dit je trouve l'emplacement du coeur précédent s'il existe sinon je prends -1).
L'intervalle [i+2 ; j] est un intervalle qui vérifie :
- la carte à la position i+1 n'est pas un coeur (puisque la carte à la position précédente est un coeur)
- la carte à la position i+2 arrive chez A
- la carte à la position j arrive chez B et c'est le k+1ème coeur
- la carte à la position j+1 n'est pas un coeur (puisque la carte à la position précédente est un coeur)
Je fais ta transformation qui est clairement une bonne idée : identité en dehors de l'intervalle et x-> j+i+2-x inversion totale de l'ordre dans l'intervalle (autrement dit les derniers deviennent les premiers). Le résultat est bien dans
par construction, il ne reste plus qu'à trouver un élément de
qui n'est pas atteint pas cette transformation. Une configuration où le k+1 ème coeur peut être en position j+1 par exemple devrait faire l'affaire. On a donc strictement plus d'éléments dans
que dans
On peut conclure
Modifié en dernier par Vassillia le 30 Mar 2021, 11:51, modifié 3 fois.