Forum de Mathématiques: Maths-Forum

Une version code sur Z3, à tester ici https://rise4fun.com/Z3 c'est du SMT, il faut lire en notation préfixe, par exemple (>= K 0) se lit K>=0 Ou encore (U K) est la valeur de la fonction U en k, U(k) Donc (U (+ K 1)) se lit U_K+1 (declare-fun N () Int) (declare-fun U (Int) Int) (assert (= (U 0) (+ ...

Je propose une autre solution, peut-etre moins intuitive, mais aussi beaucoup moins calculatoire. Soit N la part de chaque pirate à la fin (le matin). Soit Ui la taille du stack de coco à l'étape i. Etape 0 c'est le matin, 1 c'est juste avant ... on part vers le passé. On sait que : U0 = 5N + 1 A l'...