Discussion :

[Nemerle]

les gars, on vous laisse 5mn, et vous pondez des trucs superbes!! Pseudocode rules!

La valeur de 315031400802720 était donc bien correcte, le contraire m'aurait quand même étonné --> il peut y avoir des coquilles dans les articles de recherche, mais pas tant que ça quand même. A l'époque où j'en pondais un peu, les coquilles que je n'avais pas vu ont toutes été identifiées par les rapporteurs qui valident le texte (et même une intervertion d'un + en - dans un dénominateur perdu dans une preuve, c'est pour dire!).

J'essayerai aussi de regarder le code de Zanoven pour voir pourquoi à 9 cela crampe...

[Zavonen]

Ca serait pas une erreur dans ta gestion d'entier long ?

C'est hypersimple. Juste une retenue après addition, et ça marche à l'ordre 8 (il y a effectivement débordement).

[Zavonen]

@Pseudocode
Juste une petite remarque.
Après avoir défini les polynomes et leur produit, tu peux éviter la définition récursive de initpoly en remarquant que le 4-ième polynome symétrique d'ordre 9
est le coefficient de X10^5 dans
(X10-X1)(X10-X2).....(X10-X9)

[pseudocode]

@Pseudocode
Juste une petite remarque.
Après avoir défini les polynomes et leur produit, tu peux éviter la définition récursive de initpoly en remarquant que le 4-ième polynome symétrique d'ordre 9
est le coefficient de X10^5 dans
(X10-X1)(X10-X2).....(X10-X9)

Hmm ??

comment un polynome peut-il etre égal à un coefficient ?

Edit: Ah ok. C'est le terme dans la factorisation par X10^5.

[Zavonen]

comment un polynome peut-il etre égal à un coefficient ?

K[X1,X2]~K[X1][X2]
C'est un isomorphisme

[pseudocode]

La vache... .

J'ai trouvé un papier dans lequel ils construisent un algo en o(n^k) !!!!!!!

Ce qui m'enerve c'est qu'a la base ils partent aussi des p.s.e avec juste cette remarque lapidaire:

It is easy to see that the quantity of interest is the coeficient of (x1..xn)^k in Ek(x1,...xn)^n

Easy, easy, .... je t'en ficherai du easy...

http://www.math.rutgers.edu/~zeilber...bipartite.html

[Zavonen]

Easy, easy, .... je t'en ficherai du easy..

Et oui, soit quelque chose est évident, alors on le fait remarquer en quelques mots, soit c'est difficile et on explique.
Voici donc les phrases suspectes dans les publications:
"Il est évident que"
" On s'aperçoit tout de suite que "
etc...
Après ça, il faut s'attendre au pire.

[Nemerle]

CA c'est vrai:

"il est évident que" = le calcul est trop chiant à écrire, et surtout ça ralongerait trop la taille de l'article!