Abstract
We detail here the sparse variant of the algorithm sketched in [2] for checking if a simplicial complex is a tree. A full worst case complexity analysis is given and several optimizations are discussed. The practical complexity is discussed for some examples.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Caboara, M., Faridi, S., Selinger, P.: Prototype implementation of tree algorithms, available at: http://www.dm.unipi.it/~caboara/Research
Caboara, M., Faridi, S., Selinger, P.: Simplicial cycles and the computation of simplicial trees. Journal of Symbolic Computation (to appear)
CoCoA Team, COCOA: a system for doing Computations in Commutative Algebra, available at: http://cocoa.dima.unige.it/
Faridi, S.: The facet ideal of a simplicial complex. Manuscripta Mathematica 109, 159–174 (2002)
Faridi, S.: Cohen-Macaulay properties of square-free monomial ideals. Journal of Combinatorial Theory, Series A 109(2), 299–329 (2005)
Faridi, S.: Simplicial trees are sequentially Cohen-Macaulay. J. Pure and Applied Algebra 190, 121–136 (2004)
Faridi, S.: Monomial ideals via square-free monomial ideals. Lecture Notes in Pure and Applied Mathematics (to appear)
Simis, A., Vasconcelos, W., Villarreal, R.: On the ideal theory of graphs. J. Algebra 167(2), 389–416 (1994)
Villarreal, R.: Cohen-Macaulay graphs. Manuscripta Math. 66(3), 277–293 (1990)
Zheng, X.: Homological properties of monomial ideals associated to quasi-trees and lattices, Ph.D. thesis, Universität Duisburg-Essen (August 2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Caboara, M., Faridi, S., Selinger, P. (2006). Tree Checking for Sparse Complexes. In: Iglesias, A., Takayama, N. (eds) Mathematical Software - ICMS 2006. ICMS 2006. Lecture Notes in Computer Science, vol 4151. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11832225_10
Download citation
DOI: https://doi.org/10.1007/11832225_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-38084-9
Online ISBN: 978-3-540-38086-3
eBook Packages: Computer ScienceComputer Science (R0)