Affiliation:
1. Institut für Mathematik, Universität Potsdam, Am Neuen Palais, Potsdam 14415, Germany
2. Department of Mathematics and Computer Science, University of Lethbridge, Alberta, Lethbridge, Canada T1K 3M4
Abstract
We consider four useful measures of the complexity of a term: the maximum depth (usually called the depth), the minimum depth, the variable count, and the operation count. For each of these, we produce a formula for the complexity of the compositionSmn(s,t1,…,tn)in terms of the complexity of the inputss,t1,…,tn. As a corollary, we also obtain formulas for the complexity ofσˆ[t]in terms of the complexity oftwhentis a compound term andσis a hypersubstitution. We then apply these formulas to the theory ofM-solid varieties, examining thek-normalization chains of a variety with respect to the four complexity measures.
Funder
Natural Sciences and Engineering Research Council of Canada
Subject
Mathematics (miscellaneous)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The partial clone of completely expanded terms;Asian-European Journal of Mathematics;2024-06-29
2. Partial Menger algebras and their weakly isomorphic representation;Mathematics Open;2022-01
3. Partial Menger algebras of terms;Asian-European Journal of Mathematics;2020-08-28
4. Semigroup properties of linear terms;Asian-European Journal of Mathematics;2017-03
5. The Order of Hypersubstitutions of Type (2,1);International Journal of Mathematics and Mathematical Sciences;2011