메뉴 건너뛰기




Volumn 27, Issue 3-4, 2000, Pages 292-315

Dynamic algorithms for graphs of bounded treewidth

Author keywords

Dynamic algorithms; Graph algorithms; Monadic second order logic; Path queries; Treewidth

Indexed keywords


EID: 0041480795     PISSN: 01784617     EISSN: None     Source Type: Journal    
DOI: 10.1007/s004530010021     Document Type: Article
Times cited : (20)

References (33)
  • 2
    • 84878581957 scopus 로고
    • All-pairs min-cut in sparse networks
    • Proc. 15th Conference on Foundations of Software Technology and Theoretical Computer Science (P. S. Thiagarajan, ed.), Springer-Verlag, Berlin
    • S. R. Arikati, S. Chaudhuri, and C. D. Zaroliagis, All-pairs min-cut in sparse networks, in Proc. 15th Conference on Foundations of Software Technology and Theoretical Computer Science (P. S. Thiagarajan, ed.), Lecture Notes in Computer Science, Vol. 1026, Springer-Verlag, Berlin, 1995, pp. 363-376.
    • (1995) Lecture Notes in Computer Science , vol.1026 , pp. 363-376
    • Arikati, S.R.1    Chaudhuri, S.2    Zaroliagis, C.D.3
  • 3
    • 0000504885 scopus 로고
    • Easy problems for tree-decomposable graphs
    • S. Arnborg, J. Lagergren, and D. Seese, Easy problems for tree-decomposable graphs, J. Algorithms, 12 (1991), 308-340.
    • (1991) J. Algorithms , vol.12 , pp. 308-340
    • Arnborg, S.1    Lagergren, J.2    Seese, D.3
  • 4
    • 38249035911 scopus 로고
    • Linear-time computation of optimal subgraphs of decomposable graphs
    • M. W. Bern, E. L. Lawler, and A. L. Wong, Linear-time computation of optimal subgraphs of decomposable graphs, J. Algorithms, 8 (1987), 216-235.
    • (1987) J. Algorithms , vol.8 , pp. 216-235
    • Bern, M.W.1    Lawler, E.L.2    Wong, A.L.3
  • 5
    • 0000964917 scopus 로고
    • Dynamic programming on graphs with bounded treewidth
    • Proc. 15th International Colloquium on Automata, Languages and Programming (T. Lepistö and A. Salomaa, eds.), Springer-Verlag, Berlin
    • H. L. Bodlaender, Dynamic programming on graphs with bounded treewidth, in Proc. 15th International Colloquium on Automata, Languages and Programming (T. Lepistö and A. Salomaa, eds.), Lecture Notes in Computer Science, Vol. 317, Springer-Verlag, Berlin, 1988, pp. 105-118.
    • (1988) Lecture Notes in Computer Science , vol.317 , pp. 105-118
    • Bodlaender, H.L.1
  • 6
    • 85023770844 scopus 로고
    • NC algorithms for graphs with small treewidth
    • Proc. 14th International Workshop on Graph-Theoretic Concepts in Computer Science (J. van Leeuwen, ed.), Springer-Verlag, Berlin
    • H. L. Bodlaender, NC algorithms for graphs with small treewidth, in Proc. 14th International Workshop on Graph-Theoretic Concepts in Computer Science (J. van Leeuwen, ed.), Lecture Notes in Computer Science, Vol. 344, Springer-Verlag, Berlin, 1989, pp. 1-10.
    • (1989) Lecture Notes in Computer Science , vol.344 , pp. 1-10
    • Bodlaender, H.L.1
  • 7
    • 84947773790 scopus 로고
    • On reduction algorithms for graphs with small treewidth
    • Proc. 19th International Workshop on Graph-Theoretic Concepts in Computer Science (J. van Leeuwen, ed.), Springer-Verlag, Berlin
    • H. L. Bodlaender, On reduction algorithms for graphs with small treewidth, in Proc. 19th International Workshop on Graph-Theoretic Concepts in Computer Science (J. van Leeuwen, ed.), Lecture Notes in Computer Science, Vol. 790, Springer-Verlag, Berlin, 1994, pp. 45-56.
    • (1994) Lecture Notes in Computer Science , vol.790 , pp. 45-56
    • Bodlaender, H.L.1
  • 8
    • 0347901265 scopus 로고
    • Dynamic algorithms for graphs with treewidth 2
    • Proc. 19th International Workshop on Graph-Theoretic Concepts in Computer Science (J. van Leeuwen, ed.), Springer-Verlag, Berlin
    • H. L. Bodlaender, Dynamic algorithms for graphs with treewidth 2, in Proc. 19th International Workshop on Graph-Theoretic Concepts in Computer Science (J. van Leeuwen, ed.), Lecture Notes in Computer Science, Vol. 790, Springer-Verlag, Berlin, 1994, pp. 112-124.
    • (1994) Lecture Notes in Computer Science , vol.790 , pp. 112-124
    • Bodlaender, H.L.1
  • 9
    • 0001294529 scopus 로고    scopus 로고
    • A linear-time algorithm for finding tree-decompositions of small treewidth
    • H. L. Bodlaender, A linear-time algorithm for finding tree-decompositions of small treewidth, SIAM J. Comput., 25 (1996), 1305-1317.
    • (1996) SIAM J. Comput. , vol.25 , pp. 1305-1317
    • Bodlaender, H.L.1
  • 10
    • 0002981945 scopus 로고    scopus 로고
    • A partial k-arboretum of graphs with bounded treewidth
    • H. L. Bodlaender, A partial k-arboretum of graphs with bounded treewidth, Theoret. Comput. Sci., 209 (1998), 1-45.
    • (1998) Theoret. Comput. Sci. , vol.209 , pp. 1-45
    • Bodlaender, H.L.1
  • 11
    • 0032320906 scopus 로고    scopus 로고
    • Parallel algorithms with optimal speedup for bounded treewidth
    • H. L. Bodlaender and T. Hagerup, Parallel algorithms with optimal speedup for bounded treewidth, SIAM J. Comput., 27 (1998), 1725-1746.
    • (1998) SIAM J. Comput. , vol.27 , pp. 1725-1746
    • Bodlaender, H.L.1    Hagerup, T.2
  • 12
    • 52449145518 scopus 로고
    • Automatic generation of linear-time algorithms from predicate calculus descriptions of problems on recursively constructed graph families
    • R. B. Bone, R. G. Parker, and C. A. Tovey, Automatic generation of linear-time algorithms from predicate calculus descriptions of problems on recursively constructed graph families, Algorithmica, 7 (1992), 555-581.
    • (1992) Algorithmica , vol.7 , pp. 555-581
    • Bone, R.B.1    Parker, R.G.2    Tovey, C.A.3
  • 13
    • 84950995735 scopus 로고
    • Shortest path queries in digraphs of small treewidth
    • Proc. 22nd International Colloquium on Automata, Languages and Programming (Z. Fülöp and F. Gécseg, eds.), Springer-Verlag, Berlin
    • S. Chaudhuri and C. D. Zaroliagis, Shortest path queries in digraphs of small treewidth, in Proc. 22nd International Colloquium on Automata, Languages and Programming (Z. Fülöp and F. Gécseg, eds.), Lecture Notes in Computer Science, Vol. 944, Springer-Verlag, Berlin, 1995, pp. 244-255.
    • (1995) Lecture Notes in Computer Science , vol.944 , pp. 244-255
    • Chaudhuri, S.1    Zaroliagis, C.D.2
  • 14
    • 0012619332 scopus 로고    scopus 로고
    • Shortest paths in digraphs of small treewidth. Part II: Optimal parallel algorithms
    • S. Chaudhuri and C. D. Zaroliagis, Shortest paths in digraphs of small treewidth. Part II: Optimal parallel algorithms, Theoret. Comput. Sci., 203 (1998), 205-223.
    • (1998) Theoret. Comput. Sci. , vol.203 , pp. 205-223
    • Chaudhuri, S.1    Zaroliagis, C.D.2
  • 15
    • 52449148136 scopus 로고
    • Computing on a free tree via complexity-preserving mappings
    • B. Chazelle, Computing on a free tree via complexity-preserving mappings, Algorithmica, 2 (1987), 337-361.
    • (1987) Algorithmica , vol.2 , pp. 337-361
    • Chazelle, B.1
  • 17
    • 0022744154 scopus 로고
    • Deterministic coin tossing with applications to optimal parallel list ranking
    • R. Cole and U. Vishkin, Deterministic coin tossing with applications to optimal parallel list ranking, Inform. and Control, 70 (1986), 32-53.
    • (1986) Inform. and Control , vol.70 , pp. 32-53
    • Cole, R.1    Vishkin, U.2
  • 18
    • 0000809609 scopus 로고
    • Graph rewriting: An algebraic and logic approach
    • (J. van Leeuwen, ed.), Elsevier, Amsterdam and The MIT Press, Cambridge, MA, Chap. 5
    • B. Courcelle, Graph rewriting: an algebraic and logic approach, in Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics (J. van Leeuwen, ed.), Elsevier, Amsterdam and The MIT Press, Cambridge, MA, 1990, Chap. 5, pp. 193-242.
    • (1990) Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics , vol.B , pp. 193-242
    • Courcelle, B.1
  • 19
    • 0025398865 scopus 로고
    • The monadic second-order logic of graphs. I. Recognizable sets of finite graphs
    • B. Courcelle, The monadic second-order logic of graphs. I. Recognizable sets of finite graphs, Inform. and Comput., 85 (1990), 12-75.
    • (1990) Inform. and Comput. , vol.85 , pp. 12-75
    • Courcelle, B.1
  • 20
    • 0027553197 scopus 로고
    • Monadic second-order evaluations on tree-decomposable graphs
    • B. Courcelle and M. Mosbah, Monadic second-order evaluations on tree-decomposable graphs, Theoret. Comput. Sci., 109 (1993), 49-82.
    • (1993) Theoret. Comput. Sci. , vol.109 , pp. 49-82
    • Courcelle, B.1    Mosbah, M.2
  • 22
    • 0346824116 scopus 로고
    • Decidable boundedness problems for sets of graphs generated by hyperedge-replacement
    • A. Habel, H.-J. Kreowski, and W. Vogler, Decidable boundedness problems for sets of graphs generated by hyperedge-replacement, Theoret. Comput. Sci., 89 (1991), 33-62.
    • (1991) Theoret. Comput. Sci. , vol.89 , pp. 33-62
    • Habel, A.1    Kreowski, H.-J.2    Vogler, W.3
  • 23
    • 9644258705 scopus 로고    scopus 로고
    • Parallel preprocessing for path queries without concurrent reading
    • to appear
    • T. Hagerup, Parallel preprocessing for path queries without concurrent reading, Inform. and Comput., to appear.
    • Inform. and Comput.
    • Hagerup, T.1
  • 24
    • 0021426157 scopus 로고
    • Fast algorithms for finding nearest common ancestors
    • D. Harel and R. E. Tarjan, Fast algorithms for finding nearest common ancestors, SIAM J. Comput., 13 (1984), 338-355.
    • (1984) SIAM J. Comput. , vol.13 , pp. 338-355
    • Harel, D.1    Tarjan, R.E.2
  • 27
    • 85029664550 scopus 로고
    • Efficient algorithms for solving systems of linear equations and path problems
    • Proc. 9th Annual Symposium on Theoretical Aspects of Computer Science (A. Finkel and M. Jantzen, eds.), Springer-Verlag, Berlin
    • V. Radhakrishnan, H. B. Hunt III, and R. E. Stearns, Efficient algorithms for solving systems of linear equations and path problems, in Proc. 9th Annual Symposium on Theoretical Aspects of Computer Science (A. Finkel and M. Jantzen, eds.), Lecture Notes in Computer Science, Vol. 577, Springer-Verlag, Berlin, 1992, pp. 109-119.
    • (1992) Lecture Notes in Computer Science , vol.577 , pp. 109-119
    • Radhakrishnan, V.1    Hunt III, H.B.2    Stearns, R.E.3
  • 28
    • 0013277969 scopus 로고
    • List ranking and parallel tree contraction
    • (J. H. Reif, ed.), Morgan Kaufmann, San Mateo, CA, Chap. 3
    • M. Reid-Miller, G. L. Miller, and F. Modugno, List ranking and parallel tree contraction, in Synthesis of Parallel Algorithms (J. H. Reif, ed.), Morgan Kaufmann, San Mateo, CA, 1993, Chap. 3, pp. 115-194.
    • (1993) Synthesis of Parallel Algorithms , pp. 115-194
    • Reid-Miller, M.1    Miller, G.L.2    Modugno, F.3
  • 29
    • 0000673493 scopus 로고
    • Graph Minors. II. Algorithmic aspects of tree-width
    • N. Robertson and P. D. Seymour, Graph Minors. II. Algorithmic aspects of tree-width, J. Algorithms, 7 (1986), 309-322.
    • (1986) J. Algorithms , vol.7 , pp. 309-322
    • Robertson, N.1    Seymour, P.D.2
  • 30
    • 0024144496 scopus 로고
    • On finding lowest common ancestors: Simplification and parallelization
    • B. Schieber and U. Vishkin, On finding lowest common ancestors: simplification and parallelization, SIAM J. Comput., 17 (1988), 1253-1262.
    • (1988) SIAM J. Comput. , vol.17 , pp. 1253-1262
    • Schieber, B.1    Vishkin, U.2
  • 31
    • 0030128035 scopus 로고    scopus 로고
    • An algebraic model for combinatorial problems
    • R. E. Steams and H. B. Hunt III, An algebraic model for combinatorial problems, SIAM J. Comput., 25 (1996), 448-476.
    • (1996) SIAM J. Comput. , vol.25 , pp. 448-476
    • Steams, R.E.1    Hunt III, H.B.2
  • 32
    • 0022162133 scopus 로고
    • An efficient parallel biconnectivity algorithm
    • R. E. Tarjan and U. Vishkin, An efficient parallel biconnectivity algorithm, SIAM J. Comput., 14 (1985), 862-874.
    • (1985) SIAM J. Comput. , vol.14 , pp. 862-874
    • Tarjan, R.E.1    Vishkin, U.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.