(P5,diamond)-free graphs revisited: structure and linear time optimization

https://doi.org/10.1016/S0166-218X(03)00266-XGet rights and content
Under an Elsevier user license
open archive

Abstract

Using the concept of prime graphs and modular decomposition of graphs, we give a complete structure description of (P5,diamond)-free graphs implying that these graphs have bounded clique width (the P5 is the induced path with five vertices a,b,c,d,e and four edges ab,bc,cd,de, and the diamond consists of four vertices a,b,c,d such that a,b,c form an induced path with edges ab,bc, and vertex d is adjacent to a,b and c). The structure and bounded clique width of this graph class allows to solve several algorithmic problems on this class in linear time, among them the problems Maximum Weight Stable Set (MWS), Maximum Weight Clique, Domination, Steiner Tree and in general every algorithmic problem which is, roughly speaking, expressible in a certain kind of Monadic Second-Order Logic using quantification only over vertex but not over edge set predicates. This improves previous results on (P5,diamond)-free graphs in several ways: We give a complete structure description of prime (P5,diamond)-free graphs, we do not only solve the MWS problem on this class, we achieve linear time algorithms (instead of a recent time bound O(nm)), and we can do all this on a larger graph class containing (P5,diamond)-free graphs which admits linear time recognition.

Keywords

(P5
diamond)-free graphs
Maximum Weight Stable Set Problem
Maximum Weight Clique Problem
Modules and homogeneous sets in graphs
Prime graphs
Clique width of graphs

Cited by (0)