J'aurais résolu un probléme du millénaire.

[un_homme]

Salut,

Le problème du sac à dos étant donné une suite d'entier soit S un entier.
La question existe-t-il un sous ensemble tel que la somme totale soit de S, est un problème NP-complet.

Le problème revient à : est-il composé d'un monôme non nul dans le corps à 2 éléments, on note le coefficient associé ?

On considère une suite d'entiers premiers impaires tels que et avec



On considère les matrices de tel que :
soit la base canonique alors :
la matrice permute la sous-base en un
la matrice permute la sous-base en
...

On calcule en effet tout matrice inversible de est tel que

On calcule
...
On calcule .

On nomme le groupe formé par les matrices alors


Or ssi

Donc

Je ne vois pas d'erreur et vous ?

Merci.

[Sake]

Salut contrexemple,

Toujours là avec tes interventions tirées par les cheveux ? Va donc poster ta "solution" sur Vixra, les gens se feront un plaisir de te corriger.

[Doraki]

Si je prends {1;2;3;4} et S=5,
peux-tu me donner le coefficient de X^5 dans (1+yX)(1+yX²)(1+yX^3)(1+yX^4), et peux-tu me dire s'il est possible d'obtenir une somme de 5 en prenant un sous-ensemble de {1;2;3;4} ?

[un_homme]

Salut contrexemple,

Toujours là avec tes interventions tirées par les cheveux ? Va donc poster ta "solution" sur Vixra, les gens se feront un plaisir de te corriger.

Je suis nul en anglais, ceci expliquant cela.

[un_homme]

Si je prends {1;2;3;4} et S=5,
peux-tu me donner le coefficient de X^5 dans (1+yX)(1+yX²)(1+yX^3)(1+yX^4), et peux-tu me dire s'il est possible d'obtenir une somme de 5 en prenant un sous-ensemble de {1;2;3;4} ?

Excellent, un contrexemple.
Il suffit de prendre F un polynôme primitif de Z_2 aléatoire et on prend a une racine :
alors F(a)=0 et R(X)=(1+a*X^A1)...(1+a^(2^(n-1))*X^An).
Et alors là cela marche, presque toujours, il suffit de changer F.
Si on a un monôme non nul alors c'est possible (le problème du sac à dos est résoluble), sinon ce n'est pas possible avec une probabilité qui diminue exponentiellement à chaque fois que l'on change F.

[un_homme]

Alors personne ne voit d'erreur ?

[Carpate]

Je suis nul en anglais, ceci expliquant cela.

Et pas très bon en orthographe "j'ai résolut"

[un_homme]

Oui, espérons que je sois meilleur en mathématiques.

[un_homme]

Quelqu'un pourrait m'aider à partager cette procédure sur Vixar, cela permettrait de repérer d'éventuelle erreur.

Merci.

[un_homme]

Ici, il y a plus d'intervention : http://www.les-mathematiques.net/phorum/read.php?5,1174919

[nodjim]

Propose sur ce site :
http://www.forum.math.ulg.ac.be/viewsection.html?SESSID=a463229fdb923f71b25fd11b815002f5
tu devrais avoir des réactions, étant donné que ta démo est très courte.

[un_homme]

Merci, mais on dirait que ce forum est nettement plus actif que celui du lien.

[nodjim]

Certes, mais il y a beaucoup de pros là bas, tu ne seras pas déçu. Propose ta solution sans trop parler de la portée.

[un_homme]

L'erreur vient de là, l'algèbre des matrices n'est pas intègre :

Or ssi

Merci, pour tous.