Calcul de grands sous-graphes induits à l'aide des séparateurs minimaux et de la logique MSO - Archive ouverte HAL Access content directly
Conference Papers Year : 2014

Calcul de grands sous-graphes induits à l'aide des séparateurs minimaux et de la logique MSO

Fedor V. Fomin

Abstract

Beaucoup de problèmes classiques en algorithmique des graphes consistent à chercher un plus grand sous-graphe induit avec une structure "arborescente", ayant certaines propriétés particulières. On peut citer la recherche d'un plus grand ensemble indépendant (sous-graphe induit sans arête), d'une plus grande forêt induite, d'un plus grand chemin induit, d'un plus grand sous-graphe induit ne contenant pas de cycle de longueur supérieure à une constante, etc.

 Je définirai un problème général qui, étant fixé un entier t et une propriété P exprimable en logique MSO, consiste à trouver un plus grand sous-graphe induit de largeur arborescente au plus t et satisfaisant la propriété P. Ce problème englobe toutes les questions citées ci-dessus. 

Nous verrons que ce problème, généralement NP-difficile, peut être résolu en temps polynomial par rapport au nombre des séparateurs minimaux du graphe en entrée. Pour ce faire, nous utiliserons la théorie des triangulations minimales et un célèbre résultat de Courcelle sur la vérification de proprités CMSO pour les graphes de largeur arborescente bornée.

No file

Dates and versions

hal-00946259 , version 1 (13-02-2014)

Identifiers

  • HAL Id : hal-00946259 , version 1

Cite

Fedor V. Fomin, Ioan Todinca, Yngve Villanger. Calcul de grands sous-graphes induits à l'aide des séparateurs minimaux et de la logique MSO. ROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France. ⟨hal-00946259⟩
61 View
0 Download

Share

Gmail Facebook X LinkedIn More