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.
Domains
Artificial Intelligence [cs.AI]
Origin : Explicit agreement for this submission
Loading...