Year: 2008
Type: preprint
Abstract: The paper presents two algorithms for finding irreducible decomposition of monomial ideals. The first one is recursive, derived from staircase structures of monomial ideals. This algorithm has a good performance for highly non-generic monomial ideals. The second one is an incremental algorithm, which computes decompositions of ideals by adding one generator at a time. Our analysis shows that the second algorithm is more efficient than the first one for generic monomial ideals. Furthermore, the time complexity of the second algorithm is at most $O(n^2p\ell)$ where $n$ is the number of variables, $p$ is the number of minimal generators and $\ell$ is the number of irreducible components. Another novelty of the second algorithm is that, for generic monomial ideals, the intermediate storage is always bounded by the final output size which may be exponential in the input size.
Source: arXiv (Cornell University)
Authors: Gao, Shuhong, Zhu, Mingfu
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W2145174382