Structure and stability number of chair-, co-P- and gem-free graphs revisited

被引:14
作者
Brandstadt, A
Le, HO
Vanherpe, JM
机构
[1] Univ Rostock, Fachbereich Informat, D-18051 Rostock, Germany
[2] IUT Mans, Dept GEA, F-72000 Le Mans, France
关键词
modular decomposition; prime graphs; maximum weight stable set; (chair co-P gem)-free graphs; clique width of graphs; graph algorithms;
D O I
10.1016/S0020-0190(02)00487-8
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The P-4 is the induced path with vertices a, b, c, d and edges ab, bc, cd. The chair (co-P, gem) has a fifth vertex adjacent to b (a and b, a, b, c and d, respectively). We give a complete structure description of prime chair-, co-P- and gem-free graphs which implies bounded clique width for this graph class. It is known that this has some nice consequences; very roughly speaking, every problem expressible in a certain kind of Monadic Second Order Logic (quantifying only over vertex set predicates) can be solved efficiently for graphs of bounded clique width. In particular, we obtain linear time for the problems Vertex Cover, Maximum Weight Stable Set (MWS), Maximum Weight Clique, Steiner Tree, Domination and Maximum Induced Matching on chair-, co-P- and gem-free graphs and a slightly larger class of graphs. This drastically improves a recently published O(n(4)) time bound for Maximum Stable Set on butterfly-, chair-, co-P- and gem-free graphs. (C) 2003 Elsevier Science B.V. All rights reserved.
引用
收藏
页码:161 / 167
页数:7
相关论文
共 21 条
[1]   Maximum Weight Stable Set on graphs without claw and co-claw (and similar graph classes) can be solved in linear time [J].
Brandstädt, A ;
Mahfud, S .
INFORMATION PROCESSING LETTERS, 2002, 84 (05) :251-259
[2]  
BRANDSTADT A, 2000, IN PRESS DISCRETE AP
[3]  
BRANDSTADT A, 2001, IN PRESS DISCRETE AP
[4]  
BRANDSTADT A, 2001, IN PRESS C P WG 2002
[5]  
Brandstadt Andreas, 1999, SIAM MONOGRAPHS DISC, V3
[6]  
Corneil D., 1984, C NUMER, V43, P249
[7]   COMPLEMENT REDUCIBLE GRAPHS [J].
CORNEIL, DG ;
LERCHS, H ;
BURLINGHAM, LS .
DISCRETE APPLIED MATHEMATICS, 1981, 3 (03) :163-174
[8]   A LINEAR RECOGNITION ALGORITHM FOR COGRAPHS [J].
CORNEIL, DG ;
PERL, Y ;
STEWART, LK .
SIAM JOURNAL ON COMPUTING, 1985, 14 (04) :926-934
[9]   Linear time solvable optimization problems on graphs of bounded clique-width [J].
Courcelle, B ;
Makowsky, JA ;
Rotics, U .
THEORY OF COMPUTING SYSTEMS, 2000, 33 (02) :125-150
[10]   HANDLE-REWRITING HYPERGRAPH GRAMMARS [J].
COURCELLE, B ;
ENGELFRIET, J ;
ROZENBERG, G .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1993, 46 (02) :218-270