Hostname: page-component-84b7d79bbc-g7rbq Total loading time: 0 Render date: 2024-07-27T21:12:17.428Z Has data issue: false hasContentIssue false
  • English
  • Français

Sequence Enumeration and the de Bruijn-Van Aardenne Ehrenfest-Smith-Tutte Theorem

Published online by Cambridge University Press:  20 November 2018

D. M. Jackson  and
I. P. Goulden
D. M. Jackson
Affiliation:
University of Waterloo, Waterloo, Ontario
I. P. Goulden
Affiliation:
University of Waterloo, Waterloo, Ontario
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

The de Bruijn—van Aardenne Ehrenfest— Smith—Tutte theorem [1] is a theorem which connects the number of Eulerian dicircuits in a directed graph with the number of rooted spanning arborescences. In this paper we obtain a proof of this theorem by considering sequences over a finite alphabet, and we show that the theorem emerges from the generating function for a certain type of sequence. The generating function for the set of sequences is obtained as the solution of a linear system of equations in Section 2. The power series expansion for the solution of this system is obtained by means of the multivariate form of the Lagrange theorem for implicit functions, and is given in Section 3, together with a restatement of the theorem as a matrix identity.

Type
Research Article
Information
Canadian Journal of Mathematics , Volume 31 , Issue 3 , 01 June 1979 , pp. 488 - 495
Copyright
Copyright © Canadian Mathematical Society 1979

References

1. van Aardenne-Ehrenfest, T. and de Bruijn, N. G., Circuits and trees in oriented linear graphs, Simon Stevin. 28 (1951), 203–217.Google Scholar
2. Brooks, R. L., Smith, C. A. B., Stone, A. H. and Tutte, W. T., The dissection of rectangles into squares, Duke Math. J. 7 (1940), 312–340.Google Scholar
3. Cartier, P. and Foata, D., Problèmes comminatoires de commutation et réarrangements, Lecture Notes in Mathematics, Vol. 85 (Springer-Verlag, Berlin, 1969).Google Scholar
4. Dawson, R. and Good, I. J., Exact Markov probabilities from oriented linear graphs, Ann. Math. Stat. 28 (1957), 946–956.Google Scholar
5. Good, I. J., Generalizations to several variables of La granges’ expansion with applications to stochastic processes, Proc. Cambridge Phil. Soc. 56 (1960), 367–380.Google Scholar
6. Good, I. J., A short proof of MacMahon s “master theorem”, Proc. Cambridge Phil. SoC. 58 (1962), 160.Google Scholar
7. Good, I. J., The generalisation of Lagrange's expansion and the enumeration of trees Proc. Cambridge Phil. Soc. 61 (1965), 499–517. (Correction: Proc. Cambridge Phil. Soc. 61 (1968), 489.)Google Scholar
8. Hutchinson, J. P. and Wilf, H. S., On Eulerian circuits and words with prescribed adjacency patterns, J. Combinatorial Theory (A). 18 (1975), 80–87.Google Scholar
9. Jackson, D. M., The unification of certain enumeration problems for sequences, J. Combinatorial Theory (A). 22 (1977), 92–96.Google Scholar
10. Jacksqn, D. M. and Aleliunas, R., Decomposition based generating functions for sequences, Can. J. Math. 29 (1977), 971–1009.Google Scholar
11. MacMahon, P. A., Combinatory analysis, Vol. 1 (Chelsea, New York, 1960).Google Scholar
12. Marcus, M., Inequalities for matrix functions of combinatorial interest, S.I.A.M.J. Appl. Math. 17 (1969), 1023–1031.Google Scholar
13. Tutte, W. T., The dissection of equilateral triangles into equilateral triangles, Proc. Cambridge Phil. Soc. 44 (1948), 463–482.Google Scholar
14. Tutte, W. T., Qn elementary calculus and the Good formula, J. Combinatorial Theory, (B). 18 (1975), 97–137.Google Scholar
15. Vrba, A., An inversion formula, matrix functions, combinatorial identities and graphs, Casopis pro pëstovâni matematiky. 98 (1973), 292–297.Google Scholar