Skip to Main content Skip to Navigation

Algorithmic Aspects of Ordered Structures

Abstract : In this work we relate the theory of quasi-orders to the theory of algorithms over some combinatorial objects. First we develope the theory of well-quasi-orderings, wqo's, and relate it to the theory of worst-case complexity. Then we give a general 0-1-law for hereditary properties that has implications for average-case complexity. This result on average-case complexity is applied to the class of finite graphs equipped with the induced subgraph relation. We obtain that a wide class of problems, including e.g. perfectness, has average constant time algorithms. Then we show, by extending a result of Damaschke on cographs, that the classes of finite orders resp. graphs with bounded decomposition diameter form wqo's with respect to the induced suborder resp. induced subgraph relation. This leads to linear time algorithms for the recognition of any hereditary property on these objects. Our main result is then that the set of finite posets is a wqo with respect to a certain relation ≤, called chain minor relation. To prove this we introduce a similar relation on finite formal languages that also has this property. As a consequence we obtain that every property which is hereditary with respect to ≤ has a test in O(|P|c) whereas c depends on the property. This test has an easy parallelization with the same costs. On a parallel machine (CRCW PRAM) it may be implemented in such a way that it runs in constant time and needs O(|P|c) processors.
Document type :
Complete list of metadatas

Cited literature [59 references]  Display  Hide  Download
Contributor : Jens Gustedt <>
Submitted on : Wednesday, December 22, 2010 - 3:36:46 PM
Last modification on : Monday, December 28, 2020 - 10:22:04 AM
Long-term archiving on: : Wednesday, March 23, 2011 - 2:59:00 AM


  • HAL Id : tel-00549774, version 1



Jens Gustedt. Algorithmic Aspects of Ordered Structures. Mathematics [math]. Technische Universität Berlin, 1992. English. ⟨tel-00549774⟩



Record views


Files downloads