L'optimisation convexe permettrais de résoudre sat.

[invite2ec994dc]

Salut,

On peut réécrire sat (pb NP-complet) comme un problème d'optimisation convexe :

se traduit par

de plus on ajoute :

, , ,

et pour tout

Le but étant de minimiser .

Si l'on trouve une solution avec c'est que le problème sat à une solution.

Ainsi, sat deviendrait soluble avec la méthode des ellipsoïdes par exemple.

Y-voyez vous une erreur ?

Merci.
-----

[invite2309a58e]

Salut,

En fait j'ai résolut sat en 2015, puisque on sait résoudre les problèmes d'optimisations convexes (avec la méthode de l'elliposoïde par exemple).

Cordialement.

[JPL]

C’est là que le double pseudo est flagrant !

[invite2309a58e]

Non, cela je l'ai expliqué dans mon message de présentation (qui a été effacé), mais ce compte même si prémodéré comme celui-ci, ne me permettait pas de poster (même pour être lu par la modération), j'en ai parlé à Marie Héléne, mais ayant oublié le code d'accés de mon compte (contrexemple) j'ai gardé celui-ci.

Voilà.

[A voir en vidéo sur Futura]