P versus NP

serge burckel

Bonjour,
je suis chercheur en mathématiques et en informatique théorique à la retraite. J'aimerais proposer une approche de la question de complexité théorique concernant "P/NP". Une réduction polynomiale de 3SAT à HORN-SAT me semble possible. J'ai écrit un article court qui expose la méthode ainsi que des programmes en Maple qui la testent.
Si des spécialistes ici voudraient en discuter avec moi, ce serait positif.
Voici jointe la première version de l'article (rédigée aujourd'hui).
Des précisions seront ajoutées au fur et à mesure des questions posées et de nouvelles versions seront alors diffusées.
Il faut un consensus avant d'essayer de publier un article sur un tel sujet.
J'ai envoyé l'annonce et l'article à mes proches collègues.
Mais si vous avez des suggestions, elles sont chaleureusement bienvenues.
Merci de votre attention.

[Doublon. continuer sur l'original. AD] http://www.les-mathematiques.net/phorum/read.php?16,1896286,1896286#msg-1896286