
The computation of finite semigroups using unbounded fan-in circuits is considered. There are constant-depth, polynomial size circuits for semigroup product iff the semigroup does not contain a nontrivial group as a subset. In the case that the semigroup in fact does not contain a group, then for any primitive recursive function f, circuits of size \(O(nf^{-1}(n))\) and constant depth exist for the semigroup product of n elements. The depth depends upon the choice of the primitive recursive function f. The circuits not only compute the semigroup product, but every prefix of the semigroup product. A consequence is that the same bounds apply for circuits computing the sum of two n-bit numbers.
Computer Networks and Communications, Analysis of algorithms and problem complexity, Applied Mathematics, semigroup product, Formal languages and automata, computation of finite semigroups, circuit complexity, Theoretical Computer Science, Algebraic theory of languages and automata, Computational Theory and Mathematics, Semigroups in automata theory, linguistics, etc., Switching theory, application of Boolean algebra; Boolean functions, parallel computation, primitive recursive function
Computer Networks and Communications, Analysis of algorithms and problem complexity, Applied Mathematics, semigroup product, Formal languages and automata, computation of finite semigroups, circuit complexity, Theoretical Computer Science, Algebraic theory of languages and automata, Computational Theory and Mathematics, Semigroups in automata theory, linguistics, etc., Switching theory, application of Boolean algebra; Boolean functions, parallel computation, primitive recursive function
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 53 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
