Results 1 -
6 of
6
PARTITION REFINEMENT TECHNIQUES: AN INTERESTING ALGORITHMIC TOOL KIT
- INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
, 1999
"... ..."
Revisiting T. Uno and M. Yagiura’s Algorithm
, 2005
"... ... of two given permutations of length n in O(n + K) time. Our paper first presents a decomposition approach to obtain a compact encoding for common intervals of d permutations. Then, we revisit T. Uno and M. Yagiura’s algorithm to yield a linear time algorithm for finding this encoding. Besides, w ..."
Abstract
-
Cited by 27 (8 self)
- Add to MetaCart
(Show Context)
... of two given permutations of length n in O(n + K) time. Our paper first presents a decomposition approach to obtain a compact encoding for common intervals of d permutations. Then, we revisit T. Uno and M. Yagiura’s algorithm to yield a linear time algorithm for finding this encoding. Besides, we adapt the algorithm to obtain a linear time modular decomposition of an undirected graph, and thereby propose a formal invariant-based proof for all these algorithms.
Graph Decompositions and Factorizing Permutations
- Discrete Mathematics and Theoretical Computer Science
, 1997
"... A factorizing permutation of a given undirected graph is simply a permutation of the vertices in which all decomposition sets appear to be factors. Such a concept seems to play a central role in recent papers dealing with graph decomposition. It is applied here for modular decomposition and we propo ..."
Abstract
-
Cited by 17 (11 self)
- Add to MetaCart
(Show Context)
A factorizing permutation of a given undirected graph is simply a permutation of the vertices in which all decomposition sets appear to be factors. Such a concept seems to play a central role in recent papers dealing with graph decomposition. It is applied here for modular decomposition and we propose a linear algorithm that computes the whole decomposition tree when a factorizing permutation is provided. This algorithm can be seen as a common generalization of Ma and Hsu [9, 8] for modular decomposition of chordal graphs and Habib, Huchard and Spinrad [7] for inheritance graphs decomposition. It also suggests many new decomposition algorithms for various notions of graph decompositions.
The monadic second-order logic of graphs XVI: Canonical graph decompositions
- Logical Methods in Computer Science
, 2006
"... ..."
(Show Context)
unknown title
"... Links between modular decomposition of concept lattice and bimodular decomposition of a context ..."
Abstract
- Add to MetaCart
(Show Context)
Links between modular decomposition of concept lattice and bimodular decomposition of a context
Revisiting T. Uno and M. Yagiura's algorithm (Extended Abstract)
, 2005
"... In 2000, T. Uno and M. Yagiura published an algorithm that computes all the K common intervals of two given permutations of length n in O(n + K) time. Our paper first presents a decomposition approach to obtain a compact encoding for common intervals of d permutations. Then, we revisit T. Uno and M. ..."
Abstract
- Add to MetaCart
In 2000, T. Uno and M. Yagiura published an algorithm that computes all the K common intervals of two given permutations of length n in O(n + K) time. Our paper first presents a decomposition approach to obtain a compact encoding for common intervals of d permutations. Then, we revisit T. Uno and M. Yagiura’s algorithm to yield a linear time algorithm for finding this encoding. Besides, we adapt the algorithm to obtain a linear time modular decomposition of an undirected graph, and thereby propose a formal invariant-based proof for all these algorithms.