Organizing the atoms of the clique separator decomposition into an atom tree

International audienceWe define an atom tree of a graph as a generalization of a clique tree: its nodes are the atoms obtained by clique minimal separator decomposition, and its edges correspond to the clique minimal separators of the graph.Given a graph GG, we compute an atom tree by using a clique tree of a minimal triangulation HH of GG. Computing an atom tree with such a clique tree as input can be done in O(min(nm,m+nf))O(min(nm,m+nf)), where ff is the number of fill edges added by the triangulation. When both a minimal triangulation and the clique minimal separators of GG are provided, we compute an atom tree of GG in O(m+f)O(m+f) time, which is in O(n2)O(n2) time.We give an O(nm)O(nm) time algorithm, based on MCS, which combines in a single pass the 3 steps involved in building an atom tree: computing a minimal triangulation, constructing a clique tree, and constructing the corresponding atom tree.Finally, we present a process which uses a traversal of a clique tree of a minimal triangulation to determine the clique minimal separators and build the corresponding atom tree in O(n(n+t))O(n(n+t)) time, where tt is the number of 2-pairs of HH (tt is at most View the MathML sourcem¯−f, where View the MathML sourcem¯ is the number of edges of the complement graph); to complete this, we also give an algorithm which computes a minimal triangulation in View the MathML sourceO(n(n+m¯)) time, thus providing an approach to compute the decomposition in View the MathML sourceO(n(n+m¯)) time

Order Invariance on Decomposable Structures

Order-invariant formulas access an ordering on a structure's universe, but the model relation is independent of the used ordering. Order invariance is frequently used for logic-based approaches in computer science. Order-invariant formulas capture unordered problems of complexity classes and they model the independence of the answer to a database query from low-level aspects of databases. We study the expressive power of order-invariant monadic second-order (MSO) and first-order (FO) logic on restricted classes of structures that admit certain forms of tree decompositions (not necessarily of bounded width). While order-invariant MSO is more expressive than MSO and, even, CMSO (MSO with modulo-counting predicates), we show that order-invariant MSO and CMSO are equally expressive on graphs of bounded tree width and on planar graphs. This extends an earlier result for trees due to Courcelle. Moreover, we show that all properties definable in order-invariant FO are also definable in MSO on these classes. These results are applications of a theorem that shows how to lift up definability results for order-invariant logics from the bags of a graph's tree decomposition to the graph itself.Comment: Accepted for LICS 201