Skip to main content
Top
Published in: Theory of Computing Systems 2/2014

01-08-2014

An Extended Tree-Width Notion for Directed Graphs Related to the Computation of Permanents

Author: Klaus Meer

Published in: Theory of Computing Systems | Issue 2/2014

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

It is well known that permanents of matrices of bounded tree-width are efficiently computable. Here, the tree-width of a square matrix M=(m ij ) with entries from a field \(\mathbb{K}\) is the tree-width of the underlying graph G M having an edge (i,j) if and only if the entry m ij ≠0. Though G M is directed this does not influence the tree-width definition. Thus, it does not reflect the lacking symmetry when m ij ≠0 but m ji =0. The latter however might have impact on the computation of the permanent.
In this paper we introduce and study an extended notion of tree-width for directed graphs called triangular tree-width. We give examples where the latter parameter is bounded whereas the former is not. As main result we show that permanents of matrices of bounded triangular tree-width are efficiently computable. This result is shown to hold as well for the Hamiltonian Cycle problem.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Footnotes
1
Note here that if there are several compatible triples involving the same type λ t , then by the compatibility conditions we obtain always the same list of non-active nodes.
 
2
Thanks to P. Golovach for pointing to this paper.
 
Literature
1.
go back to reference Arnborg, S., Corneil, D., Proskurowski, A.: Complexity of finding embeddings in a k-tree. SIAM J. Matrix Anal. Appl. 8(2), 277–284 (1987) MATHMathSciNet Arnborg, S., Corneil, D., Proskurowski, A.: Complexity of finding embeddings in a k-tree. SIAM J. Matrix Anal. Appl. 8(2), 277–284 (1987) MATHMathSciNet
3.
go back to reference Berwanger, D., Dawar, A., Hunter, P., Kreutzer, S.: DAG-width and parity games. In: Proceedings STACS’06. Lecture Notes in Computer Science, vol. 3884, pp. 524–536 (2006) Berwanger, D., Dawar, A., Hunter, P., Kreutzer, S.: DAG-width and parity games. In: Proceedings STACS’06. Lecture Notes in Computer Science, vol. 3884, pp. 524–536 (2006)
4.
go back to reference Berwanger, D., Grädel, E.: Entanglement—a measure for the complexity of directed graphs with applications to logic and games. In: Proc. LPAR 2004. LNCS, vol. 3452, pp. 209–223. Springer, Berlin (2005) Berwanger, D., Grädel, E.: Entanglement—a measure for the complexity of directed graphs with applications to logic and games. In: Proc. LPAR 2004. LNCS, vol. 3452, pp. 209–223. Springer, Berlin (2005)
5.
go back to reference Briquel, I., Koiran, P., Meer, K.: On the expressive power of CNF formulas of bounded tree- and clique-width. Discrete Appl. Math. 159(1), 1–14 (2011) CrossRefMATHMathSciNet Briquel, I., Koiran, P., Meer, K.: On the expressive power of CNF formulas of bounded tree- and clique-width. Discrete Appl. Math. 159(1), 1–14 (2011) CrossRefMATHMathSciNet
6.
go back to reference Bürgisser, P.: Completeness and Reduction in Algebraic Complexity Theory. Algorithms and Computation in Mathematics, vol. 7. Springer, Berlin (2000) MATH Bürgisser, P.: Completeness and Reduction in Algebraic Complexity Theory. Algorithms and Computation in Mathematics, vol. 7. Springer, Berlin (2000) MATH
7.
go back to reference Courcelle, B.: The monadic second order logic for graphs I: recognizable sets of finite graphs. Inf. Comput. 85(1), 12–75 (1990) CrossRefMATHMathSciNet Courcelle, B.: The monadic second order logic for graphs I: recognizable sets of finite graphs. Inf. Comput. 85(1), 12–75 (1990) CrossRefMATHMathSciNet
8.
go back to reference Courcelle, B., Makowsky, J.A., Rotics, U.: On the fixed parameter complexity of graph enumeration problems definable in monadic second-order logic. Discrete Appl. Math. 108(1–2), 23–52 (2001) CrossRefMATHMathSciNet Courcelle, B., Makowsky, J.A., Rotics, U.: On the fixed parameter complexity of graph enumeration problems definable in monadic second-order logic. Discrete Appl. Math. 108(1–2), 23–52 (2001) CrossRefMATHMathSciNet
9.
go back to reference Fischer, E., Makowsky, J., Ravve, E.V.: Counting truth assignments of formulas of bounded tree-width or clique-width. Discrete Appl. Math. 156, 511–529 (2008) CrossRefMATHMathSciNet Fischer, E., Makowsky, J., Ravve, E.V.: Counting truth assignments of formulas of bounded tree-width or clique-width. Discrete Appl. Math. 156, 511–529 (2008) CrossRefMATHMathSciNet
10.
go back to reference Flarup, U., Koiran, P., Lyaudet, L.: On the expressive power of planar perfect matching and permanents of bounded tree-width matrices. In: Proc. 18th International Symposium ISAAC. Lecture Notes in Computer Science, vol. 4835, pp. 124–136. Springer, Berlin (2007) Flarup, U., Koiran, P., Lyaudet, L.: On the expressive power of planar perfect matching and permanents of bounded tree-width matrices. In: Proc. 18th International Symposium ISAAC. Lecture Notes in Computer Science, vol. 4835, pp. 124–136. Springer, Berlin (2007)
11.
go back to reference Ganian, R., Hlinĕný, P., Kneis, J., Meister, D., Obdrz̆álek, J., Rossmanith, P., Sikdar, S.: Are there any good digraph width measures? In: Proceedings of the International Symposium on Parameterized and Exact Computation IPEC 2010. Lecture Notes in Computer Science, vol. 6478, pp. 135–146. Springer, Berlin (2010) Ganian, R., Hlinĕný, P., Kneis, J., Meister, D., Obdrz̆álek, J., Rossmanith, P., Sikdar, S.: Are there any good digraph width measures? In: Proceedings of the International Symposium on Parameterized and Exact Computation IPEC 2010. Lecture Notes in Computer Science, vol. 6478, pp. 135–146. Springer, Berlin (2010)
12.
go back to reference Hunter, P., Kreutzer, S.: Digraph measures: Kelly decompositions, games, and orderings. Theor. Comput. Sci. 399(3), 206–219 (2008) CrossRefMATHMathSciNet Hunter, P., Kreutzer, S.: Digraph measures: Kelly decompositions, games, and orderings. Theor. Comput. Sci. 399(3), 206–219 (2008) CrossRefMATHMathSciNet
13.
14.
go back to reference Kloks, T.: Treewidth, Computations and Approximations. Lecture Notes in Computer Science, vol. 842. Springer, Berlin (1994) MATH Kloks, T.: Treewidth, Computations and Approximations. Lecture Notes in Computer Science, vol. 842. Springer, Berlin (1994) MATH
15.
go back to reference Obdrz̆álek, J.: DAG-width—connectivity measure for directed graphs. In: Proc. SODA’06, ACM-SIAM, pp. 814–821 (2006) Obdrz̆álek, J.: DAG-width—connectivity measure for directed graphs. In: Proc. SODA’06, ACM-SIAM, pp. 814–821 (2006)
16.
go back to reference Thomassen, C.: Embeddings and minors. In: Grötschel, M., Lovász, L., Graham, R.L. (eds.) Handbook of Combinatoris, pp. 302–349. North-Holland, Amsterdam (1995). Chapter 5 Thomassen, C.: Embeddings and minors. In: Grötschel, M., Lovász, L., Graham, R.L. (eds.) Handbook of Combinatoris, pp. 302–349. North-Holland, Amsterdam (1995). Chapter 5
18.
go back to reference Valiant, L.G.: Completeness classes in algebra. In: Proc. 11th ACM Symposium on Theory of Computing 1979, pp. 249–261. ACM, New York (1979) Valiant, L.G.: Completeness classes in algebra. In: Proc. 11th ACM Symposium on Theory of Computing 1979, pp. 249–261. ACM, New York (1979)
Metadata
Title
An Extended Tree-Width Notion for Directed Graphs Related to the Computation of Permanents
Author
Klaus Meer
Publication date
01-08-2014
Publisher
Springer US
Published in
Theory of Computing Systems / Issue 2/2014
Print ISSN: 1432-4350
Electronic ISSN: 1433-0490
DOI
https://doi.org/10.1007/s00224-013-9490-z

Other articles of this Issue 2/2014

Theory of Computing Systems 2/2014 Go to the issue

Premium Partner