Discuter:Algorithme de Davis-Putnam

Un article de Wikipédia, l'encyclopédie libre.

	Algorithme de Davis-Putnam fait partie du projet Informatique, qui a pour but d'enrichir le contenu de Wikipédia sur les sujets liés à l'informatique. Si vous voulez participer, vous pouvez modifier cet article ou visiter la page du projet où vous pourrez vous joindre au projet et consulter la liste des tâches et des objectifs. Le portail informatique pourrait aussi vous intéresser.
Ébauche	Cet article a été classé comme d'Avancement ébauche selon le Tableau d'évaluation du projet. (Voir les statistiques)
À évaluer	Cet article a été classé comme d'Importance ? selon le Tableau d'évaluation du projet. (Contester?)

Il s'agit d'un problème NP-Complet et cet algorithme est donc une heuristique, il faudrait le mentionner.

---

Non, cette algorithme n'est pas heuristique, il cherche la solution en faisant une recherche systématique.

Par contre, j'ai modifié un peu la description de l'algo mais j'ai des doutes:

• comme dans la version que j'ai modifier j'ai utiliser union entre les deux recherche, mais ça ne serais pas plutôt un ou ?
• il n'y a pas une méthode pour choisir la variable ?
• dans le première algorithme, je ne suis pas sur de comprendre ce qu'on veux dire par "résoudre C et N"

Vanicat (d) 7 mai 2008 à 10:36 (CEST)

Alors pour le premier algorithme, en fait je l'avais directement traduit de l'article anglophone quand j'avais créé l'article ici, mais je dois reconnaître que je n'ai pas plus attention que ça à la manière dont il fonctionne. Pour le reste, n'ayant plus utilisé l'algorithme de Davis-Putnam depuis un certain temps, je ne me rappelle plus vraiment des détails de cet algo. À l'occasion, si j'ai le temps, je reprendrai mes notes sur le sujet pour apporter des précisions à l'article. PieRRo^MaN 8 mai 2008 à 01:21 (CEST)