Abstract
We show how a number of combinatorial problems, such as determining the number of cycles in graphs, can be recast using a graded commutative algebra constructed within a real Grassmann exterior algebra. The computational complexity of this approach is then measured by considering operations at the basis blade level of the algebra. In particular, the worst-case time complexity of counting arbitrary length cycles in simple n-vertex graphs via nilpotent adjacency matrix methods is shown to be , where α≤3 is the exponent representing the complexity of matrix multiplication. The storage complexity of the nilpotent adjacency matrix approach is . A probabilistic model is used to describe a class of graphs in which the average-case time complexity of cycle enumeration is for fixed 0<q<1. For reference, experimental results detailing computation times (in seconds) are compared with algorithms based on the approaches of Bax and Tarjan.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Bax, E.: Algorithms to count paths and cycles. Inf. Process. Lett. 52, 249–252 (1994)
Coppersmith, D., Winograd, S.: Matrix multiplication via arithmetic progressions. J. Symb. Comput. 9, 251–280 (1990)
Karp, R.M.: Reducibility among combinatorial problems. In: Complexity of Computer Computations, pp. 85–103. Plenum, New York (1972)
Karp, R.: Dynamic programming meets the principle of inclusion and exclusion. Oper. Res. Lett. 1, 49–51 (1982)
Schott, R., Staples, G.S.: Computational complexity reductions using Clifford algebras. In: Bayro-Corrochano, E., Scheuermann, G. (eds.) Geometric Algebra Computing for Engineering and Computer Science, pp. 431–453. Springer, Berlin (2010)
Schott, R., Staples, G.S.: Reductions in computational complexity using Clifford algebras. Adv. Appl. Clifford Algebras 20, 121–140 (2010)
Tarjan, R.: Enumeration of the elementary circuits of a directed graph. SIAM J. Comput. 2, 211–216 (1973)
Valiant, L.: The complexity of computing the permanent. Theor. Comput. Sci. 8, 189–201 (1979)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag London Limited
About this chapter
Cite this chapter
Schott, R., Staples, G.S. (2011). On the Complexity of Cycle Enumeration for Simple Graphs. In: Dorst, L., Lasenby, J. (eds) Guide to Geometric Algebra in Practice. Springer, London. https://doi.org/10.1007/978-0-85729-811-9_12
Download citation
DOI: https://doi.org/10.1007/978-0-85729-811-9_12
Publisher Name: Springer, London
Print ISBN: 978-0-85729-810-2
Online ISBN: 978-0-85729-811-9
eBook Packages: Computer ScienceComputer Science (R0)