CAML successeur d'une liste sujet de l'X info

[invitef1ec1449]

Bonjour j'ai un petit pb en info (CAML) je dois créer une fonction:
on def pour tte liste P e(P)= Σ((pour i) 2^i) et la le successeur de P comme l'unique liste egale e(P)+1. Ecrire en CAML la fonction succ qui a une liste associe son successeur.

j'ai essayer cette fonction mais je dois dire que ca ne fonctionne pas car les listes comme [0;1]->[1;1] au lieu de [2]...

let rec succ l1 = match l1 with
|[]->[0]
|t::q-> if t=0 then 1::q else 0::t::q ;;

de plus j'ai remarquer que des listes comme [0;1;2;3]->[4] alors je dois dire que je suis complètement bloqué, ce serait sympa si vous pourriez m'aider, merci d'avance.
-----

[invitef1ec1449]

j'ai oublié de preciser les i de la somme correspondent aux elements de la liste

[Eriko]

Réécris bien ta formule car je ne comprends rien à ce que tu demandes. C'est quoi la somme pour tout i ? i allant de combien à combien ?

[Eriko]

Et c'est quoi e(P) ?

[A voir en vidéo sur Futura]

[inviteb3540c06]

quand je lis le sujet (illisible) je me dit ou c'est une blague ou il se moque des gens

[Eriko]

Il est clair que des phrases remplies d'abréviations n'aident pas.

Pour e(P), si je comprends bien sa formule : pour une liste du genre [0;1], on devrait avoir e(P) = 2^0 + 2^1 = 3...... Comment obtient-il son e(P)+1=2 ? Et e(P)+1 est un entier et non une liste........

Pour P=[5 ; 2 ; 3], on a e(P)= 2^5 + 2^2 + 2^3 = 38 ?

Bref, quelques exemples avec les bonnes réponses seraient appréciables.

[invitef1ec1449]

si vous voulez l'enoncé complet voici le lien
http://www.polytechnique.fr/concours...t00/InfoMP.pdf

[invitef1ec1449]

j'ai oulbier de preciser QUESTION 4

[invite51a3f1d4]

L'idée est de parcourir ta partie et de repérer le premier indice absent. La nouvelle partie est constituée de cet indice, aucun indice avant celui-ci, et les mêmes après. En effet, somme(2^i,i=0..n)=2^(n+1)-1
Exemple : [0;1;2;3;5;8;13] devient [4;5;8;13] (tu peux vérifier ça marche)
Après y faut écrire le programme mais bon ça devrait aller