## Linear Time Solvable Optimization Problems on Graphs of Bounded Clique Width (1999)

### Cached

### Download Links

- [www.labri.fr]
- [www.cs.technion.ac.il]
- [www.cs.technion.ac.il]
- DBLP

### Other Repositories/Bibliography

Venue: | Theory of Computing Systems |

Citations: | 113 - 20 self |

### BibTeX

@ARTICLE{Courcelle99lineartime,

author = {B. Courcelle and J.A. Makowsky and U. Rotics},

title = {Linear Time Solvable Optimization Problems on Graphs of Bounded Clique Width},

journal = {Theory of Computing Systems},

year = {1999},

volume = {33},

pages = {125--150}

}

### Years of Citing Articles

### OpenURL

### Abstract

Hierarchical decompositions of graphs are interesting for algorithmic purposes. There are several types of hierarchical decompositions. Tree decompositions are the best known ones. On graphs of tree-width at most k, i.e., that have tree decompositions of width at most k, where k is fixed, every decision or optimization problem expressible in monadic secondorder logic has a linear algorithm. We prove that this is also the case for graphs of clique-width at most k, where this complexity measure is associated with hierarchical decompositions of another type, and where logical formulas are no longer allowed to use edge set quantifications. We develop applications to several classes of graphs that include cographs and are, like cographs, defined by forbidding subgraphs with "too many" induced paths with four vertices.