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 Access content directly
Conference Papers Year : 2010

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

Abstract

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
Origin : Explicit agreement for this submission
Loading...

Dates and versions

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

Identifiers

  • HAL Id : inria-00520317 , version 1

Cite

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⟩
102 View
1035 Download

Share

Gmail Facebook Twitter LinkedIn More