Advertisement

Approximating treewidth, pathwidth, and minimum elimination tree height

  • Hans L. Bodlaender
  • John R. Gilbert
  • Hjálmtýr Hafsteinsson
  • Ton Kloks
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 570)

Abstract

We show how the value of various parameters of graphs connected to sparse matrix factorization and other applications can be approximated using an algorithm of Leighton et al. that finds vertex separators of graphs. The approximate values of the parameters, which include minimum front size, treewidth, pathwidth, and minimum elimination tree height, are no more than O(log n) (minimum front size and treewidth) and O(log2n) (pathwidth and minimum elimination tree height) times the optimal values. In addition we examine the existence of bounded approximation algorithms for the parameters, and show that unless P = NP, there are no absolute approximation algorithms for them.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [ACP87]
    S. Arnborg, D. G. Corneil, A. Proskurowski. Complexity of finding embeddings in a k-tree. SIAM Journal of Algebraic and Discrete Methods, 8:277–284, 1987.Google Scholar
  2. [ALS91]
    S. Arnborg, J. Lagergren, and D. Seese. Easy problems for tree-decomposable graphs, J. of Algorithms, 12:308–340, 1991.Google Scholar
  3. [Arn85]
    S. Arnborg. Efficient algorithms for combinatorial problems on graphs with bounded decomposability — A survey. BIT, 25:2–23, 1985.Google Scholar
  4. [Bod90]
    H. L. Bodlaender. Polynomial algorithms for Graph Isomorphism and Chromatic Index on partial k-trees. J. Algorithms, 11:631–644, 1990.Google Scholar
  5. [BK91]
    H. L. Bodlaender and T. Kloks. Better algorithms for the pathwidth and treewidth of graphs. Proc. 18th ICALP, pages 544–555. Springer Verlag, Lect. Notes in Comp. Sc. 510, 1991.Google Scholar
  6. [BM90]
    H. L. Bodlaender and R. H. Möhring. The pathwidth and treewidth of cographs. In Proc. 2nd Scandinavian Workshop on Algorithm Theory, pages 301–309. Springer Verlag Lect. Notes in Computer Science vol. 447, 1990.Google Scholar
  7. [DKL87]
    N. Deo, M. S. Krishnamoorty and M. A. Langston. Exact and approximate solutions for the gate matrix layout problem. IEEE Transactions on Computer-Aided Design, 6:79–84, 1987.Google Scholar
  8. [EL84]
    J.R. Egan and C.L. Liu. Bipartite folding and partitioning of a PLA, IEEE Trans. CAD, 3:191–199, 1984.Google Scholar
  9. [DR83]
    I. S. Duff and J. K. Reid. The multifrontal solution of indefinite sparse symmetric linear equations. ACM Transactions on Mathematical Software, 9:302–325, 1983.Google Scholar
  10. [GJ79]
    M. R. Garey and D. S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness, W.H. Freeman and Company, 1979.Google Scholar
  11. [Geo73]
    J. A. George. Nested dissection of a regular finite element mesh. SIAM Journal of Numerical Analysis, 10:345–363, 1973.Google Scholar
  12. [Gil88]
    J. R. Gilbert. Some nested dissection order is nearly optimal. Information Processing Letters, 6:325–328, 1987/88.Google Scholar
  13. [Har69]
    F. Harary. Graph Theory, Addison-Wesley, 1969.Google Scholar
  14. [KARR90]
    P. Klein, A. Agrawal, R. Ravi, and S. Rao. Approximation through multicommodity flow. In Proceedings of the 31th Annual Symposium on Foundations of Computer Science, IEEE, pages 726–737, 1990.Google Scholar
  15. [Kön36]
    D. König. Theorie der Graphen, Reprinted by Chelsea Publishing Company, New York, 1950.Google Scholar
  16. [Lag90]
    J. Lagergren. Efficient parallel algorithms for tree-decomposition and related problems. In Proceedings of the 31th Annual Symposium on Foundations of Computer Science, IEEE, pages 173–182, 1990.Google Scholar
  17. [Le90]
    J. van Leeuwen. Graph Algorithms. In Handbook of Theoretical Computer Science. A: Algorithms and Complexity Theory, North Holland, Amsterdam, 1990.Google Scholar
  18. [LR88]
    F. T. Leighton and S. Rao. An approximate max-flow min-cut theorem for uniform multicommodity flow problems with applications to approximate algorithms. In Proceedings of the 29th Annual Symposium on Foundations of Computer Science, IEEE pages 422–431, 1988.Google Scholar
  19. [Le90]
    F. T. Leighton. Personal communication, 1990.Google Scholar
  20. [LL88]
    C. E. Leiserson and J. G. Lewis. Orderings for parallel sparse symmetric factorization. An unpublished manuscript, 1988.Google Scholar
  21. [LRT79]
    R. J. Lipton, D. J. Rose and R. E. Tarjan. Generalized nested dissection. SIAM Journal of Numerical Analysis 16:346–358, 1979.Google Scholar
  22. [Liu90]
    J. W. H. Liu. The multifrontal method for sparse matrix solution: theory and practice. Tech. Report CS-90-04, York University, North York, Ontario, Canada. To appear.Google Scholar
  23. [Möh90]
    R. H. Möhring. Graph problems related to gate matrix layout and PLA folding. In Computing Supplementum 7 (G. Tinhofer et al, eds), page 17–51. Springer-Verlag, Vienna, 1990.Google Scholar
  24. [Pot88]
    A. Pothen. The complexity of optimal elimination trees. Tech. Report CS-88-16, Pennsylvania State University, 1988.Google Scholar
  25. [RS86a]
    N. Robertson and P. D. Seymour. Graph minors. II. Algorithmic aspects of tree-width. J. Algorithms, 7:309–322, 1986.CrossRefGoogle Scholar
  26. [RS86b]
    N. Robertson and P. D. Seymour. Graph minors. XIII. The disjoint paths problem. Manuscript, 1986.Google Scholar
  27. [RS91]
    N. Robertson and P. D. Seymour. Graph minors. X. Obstructions to tree-decompositions. To appear in J. Combinatorial Theory, Ser. B., 1991.Google Scholar
  28. [RTL76]
    D.J. Rose, R.E. Tarjan and G.S. Lueker. Algorithmic aspects of vertex elimination on graphs. SIAM J. Comput. Vol. 5, No. 2, 266–283, 1976.CrossRefGoogle Scholar
  29. [ST90]
    P.D. Seymour and R. Thomas. Call Routing and the Ratcatcher. Manuscript, 1991.Google Scholar
  30. [Yan81]
    M. Yannakakis. Computing the minimum fill-in is NP-complete. SIAM Journal of Algebraic and Discrete Methods, 2:77–79, 1981.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Hans L. Bodlaender
    • 1
  • John R. Gilbert
    • 2
    • 3
  • Hjálmtýr Hafsteinsson
    • 4
  • Ton Kloks
    • 5
  1. 1.Department of Computer ScienceUtrecht UniversityTB UtrechtThe Netherlands
  2. 2.Xerox Palo Alto Research CenterPalo AltoUSA
  3. 3.University of BergenNorway
  4. 4.Department of Computer ScienceUniversity of IcelandIceland
  5. 5.Department of Computer ScienceUtrecht UniversityThe Netherlands

Personalised recommendations