Bounded Tree-Width and LOGCFL
β Scribed by E. Wanke
- Publisher
- Elsevier Science
- Year
- 1994
- Tongue
- English
- Weight
- 902 KB
- Volume
- 16
- Category
- Article
- ISSN
- 0196-6774
No coin nor oath required. For personal study only.
β¦ Synopsis
We show that (1) the recognition of tree-width bounded graphs and (2) the decidability of graph properties--which are defined by finite equivalence relations on (h)-sourced graphs-on tree-width bounded graphs belong to the complexity class LOGCFL. This is the lowest complexity class known for these problems. Our result complements the research in a series of papers by Arnborg, Bodlaender. Chandrasekharan, Courcelle, Hedetniemi, Lagergren, Proskurowski. Reed, Robertson, Seymour, Seese, and many others. "(1) 1994 Academic Press, Inc.
π SIMILAR VOLUMES
We present an efficient parallel algorithm for the tree-decomposition problem Ε½ 3 . Ε½. for fixed width w. The algorithm runs in time O O log n and uses O O n processors on an ARBITRARY CRCW PRAM. The sequential complexity of our tree-decom-Ε½ 2 . position algorithm is O O n log n . The tree-decomposi
We give linear-time algorithms for a class of parametric search problems on weighted graphs of bounded tree-width. We also discuss the implications of our results to approximate parametric search on planar graphs.
It is shown that for any positive integers k and w there exists a constant N ΒΌ N Γ°k; wΓ such that every 7-connected graph of tree-width less than w and of order at least N contains K 3;k as a minor. Similar result is proved for K a;k minors where a is an arbitrary fixed integer and the required conn