Un Algorithme de séparation et évaluation Efficace Basé sur MaxSAT pour le Problème Maxclique - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Un Algorithme de séparation et évaluation Efficace Basé sur MaxSAT pour le Problème Maxclique

Résumé

Fréquemment, L'algorithme de séparation et évaluation pour le problème Maxclique utilise une borne supérieure basée sur la partition d'un graphe en ensembles indépendants, pour obtenir la borne supérieure d'une clique maximum du graphe, qui ne peut pas être très fine pour les graphes imparfaits. Dans ce papier, nous proposons un nouveau codage de Maxclique en MaxSAT et l'utilisation de l'approche MaxSAT pour améliorer la borne supérieure basée sur la partition P. De cette manière, la puissance d'algorithmes de partitionnement d'un graphe spécifiques pour Maxclique et la performance de la méthode MaxSAT dans la logique propositionnelle sont naturellement associées pour résoudre Maxclique. Les résultats expérimentaux montrent que l'approche est très efficace sur les graphes aléatoires difficiles et sur les benchmarks Maxclique de DIMACS, et permet de fermer un problème DIMACS ouvert.
Fichier principal
Vignette du fichier
quan.pdf (116.57 Ko) Télécharger le fichier
Origine : Accord explicite pour ce dépôt
Loading...

Dates et versions

inria-00520317 , version 1 (22-09-2010)

Identifiants

  • HAL Id : inria-00520317 , version 1

Citer

Chu Min Li, Zhe Quan. Un Algorithme de séparation et évaluation Efficace Basé sur MaxSAT pour le Problème Maxclique. JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.227-235. ⟨inria-00520317⟩
103 Consultations
1042 Téléchargements

Partager

Gmail Facebook X LinkedIn More