MSOL partitioning problems on graphs of bounded treewidth and clique-width - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Accéder directement au contenu
Article Dans Une Revue Theoretical Computer Science Année : 2007

MSOL partitioning problems on graphs of bounded treewidth and clique-width

Résumé

We show that a class of vertex partitioning problems that can be expressed in monadic second order logic (MSOL) are polynomials on graphs of bounded clique-width. This class includes coloring, H-free coloring, domatic number and partition into perfect graphs. Moreover we show that a class of vertex and edge partitioning problems are polynomials on graphs of bounded treewidth.

Dates et versions

lirmm-00204064 , version 1 (11-01-2008)

Identifiants

Citer

Michaël Rao. MSOL partitioning problems on graphs of bounded treewidth and clique-width. Theoretical Computer Science, 2007, 377, pp.260-267. ⟨10.1016/j.tcs.2007.03.043⟩. ⟨lirmm-00204064⟩
61 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More