Algebraic Operations on PQ-trees and Modular Decomposition Trees

Ross Mcconnell , Fabien de Montgolfier (1)

1 LIAFA - Laboratoire d'informatique Algorithmique : Fondements et Applications

Partitive set families are families of sets that can be quite large, but have a compact, recursive representation in the form of a tree. This tree is a common generalization of PQ trees, the modular decomposition of graphs, certain decompositions of boolean functions, and decompositions that arise on a variety of other combinatorial structures. We describe natural operators on partitive set families, give algebraic identities for manipulating them, and describe efficient algorithms for evaluating them. We use these results to obtain new time bounds for finding the common intervals of a set of permutations, finding the modular decomposition of an edge-colored graph (also known as a two-structure), finding the PQ tree of a matrix when a consecutive-ones arrangement is given, and finding the modular decomposition of a permutation graph when its permutation realizer is given.

Domaines: Algorithme et structure de données [cs.DS]; Mathématique discrète [cs.DM]

Ross Mcconnell, Fabien de Montgolfier. Algebraic Operations on PQ-trees and Modular Decomposition Trees. WG'05, 31st International Workshop on Graph-Theoretic Concepts in Computer Science, 2005, Metz, France. pp.421-432. ⟨hal-00159590⟩