Discussion:Algorithme de Davis-Putnam

Autres discussions [liste]

Admissibilité
Neutralité
Droit d'auteur
Article de qualité
Bon article
Lumière sur
À faire
Archives
Commons

Cet article est indexé par les projets Informatique théorique, Logique et Mathématiques.

Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.

**Évaluation** de l’article « **Algorithme de Davis-Putnam** »
Avancement	Importance
Ébauche	À évaluer	Informatique théorique (discussion • critères • liste • stats • hist. • comité • stats vues)
		Logique (discussion • critères • liste • stats • hist. • comité • stats vues)
		Mathématiques (discussion • critères • liste • stats • hist. • comité • stats vues)

Cet article comporte une liste de tâches suggérées :

modifier • suivre • rafraîchir • aide

Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Disjonction , Littéral ⇒ Quelques explications pour effectuer ces corrections. -- 20 janvier 2014 à 18:16 (CET)

Évaluation[modifier le code]

Bonjour,

J'ai supprimé l'évaluation informatique. Bien à vous,

Groumphy (d) 12 mars 2012 à 08:31 (CET)[répondre]

Heuristique[modifier le code]

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)[répondre]

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)[répondre]

Algorithme récursif[modifier le code]

Cet algorithme récursif ne ressemble pas du tout à l'algorithme de Davis-Putnam mais plutôt à l'Algorithme de Davis-Putnam-Logemann-Loveland. L'algorithme DP est une simple boucle (ou n'a qu'un appel récursif terminal) et n'a pas de backtracking comme l'algorithme DPLL.