Après réflexion, il me semble que tous les éléments de démo sont dans le message #59. On aurait la démo suivante:
Soit un algorithme quelconque, et N>1 le nombre de candidats
a) Soit une suite de i valeurs parmi 6 (i tirages), on dit que cette suite termine pour l'algorithme si celui-ci permet de décider d'un candidat, à une étape quelconque, pas nécessairement la ième.
b) On note p(i) la proportion des suites qui ne terminent pas, avec par convention p(0)=1
c) [Exercice de combinatoire] la moyenne du nombre de tirs à la terminaison est
d) La contrainte d'équité impose multiple de N, et donc
e) On a donc
Conclusion:
Est optimal tout algorithme qui est tel que la moyenne du nombre de tirs à terminaison est
----
Si cela est correct ainsi que le calcul d'espérance donné précédemment pour un algorithme décrit, la question message #1 est répondue.
-----