Graph operations characterizing rank-width

作者: Bruno Courcelle , Mamadou Moustapha Kanté

DOI: 10.1016/J.DAM.2008.08.026

关键词:

摘要: Graph complexity measures such as tree-width, clique-width and rank-width are important because they yield Fixed Parameter Tractable algorithms. These algorithms based on hierarchical decompositions of the considered graphs, boundedness conditions graph operations that, more or less explicitly, recombine components into larger graphs. Rank-width is defined in a combinatorial way, tree, not terms operations. We define graphs that characterize help for construction algorithms, especially problems specified monadic second-order logic.

参考文章(32)
Derek G. Corneil, Michel Habib, Jean-Marc Lanligne, Bruce Reed, Udi Rotics, Polynomial Time Recognition of Clique-Width ≤  3 Graphs Lecture Notes in Computer Science. pp. 126- 134 ,(2000) , 10.1007/10719839_14
Bruno Courcelle, Graph grammars, monadic second-order logic and the theory of graph minors. Graph Structure Theory. pp. 565- 590 ,(1991)
Bruno Courcelle, Andrew Twigg, None, Compact Forbidden-Set Routing STACS 2007. ,vol. 4393, pp. 37- 48 ,(2007) , 10.1007/978-3-540-70918-3_4
Mamadou Moustapha Kanté, The rank-width of Directed Graphs ,(2007)
B. Courcelle, The expression of graph properties and graph transformations in monadic second-order logic Handbook of graph grammars and computing by graph transformation. pp. 313- 400 ,(1997)
Jörg Flum, Martin Grohe, Parameterized complexity theory Springer. ,(2010)
Jesper G. Henriksen, Jakob Jensen, Michael Jørgensen, Nils Klarlund, Robert Paige, Theis Rauhe, Anders Sandholm, Mona: Monadic Second-Order Logic in Practice tools and algorithms for construction and analysis of systems. pp. 89- 110 ,(1995) , 10.1007/3-540-60630-0_5
Derek G. Corneil, Udi Rotics, Bruce A. Reed, Michel Habib, Jean-Marc Lanlignel, Polynomial Time Recognition of Clique-Width \le \leq 3 Graphs (Extended Abstract) latin american symposium on theoretical informatics. pp. 126- 134 ,(2000)