Graph structurings : some algorithmic applications

Graph structurings : some algorithmic applications

Tous les problèmes définissables en logique du second ordre monadique peuvent être résolus en temps polynomial dans les classes de graphes qui ont une largeur de clique bornée. La largeur de clique est un paramètre de graphe défini de manière algébrique, c'est-à-dire, à partir d'opérations...

Full description

Bibliographic Details
Main Author: Kanté, Mamadou Moustapha
Other Authors: Bordeaux 1
Language:en
Published: 2008
Subjects:
Décomposition de graphes
Vertex-minor
Logique monadique du second ordre
Largeur de clique
Système d'étiquetage
Largeur de rang
Configuration interdite
Largeur arborescente mineur
Logique du premier ordre
Graph decomposition
Clique-width
Rank-width
Tree-width
Minor
Labeling scheme
Excluded configuration
First-order logic
Monadic second-order logic
Online Access:http://www.theses.fr/2008BOR13693/document

Internet

http://www.theses.fr/2008BOR13693/document

Similar Items