Illinois Journal of Mathematics
- Illinois J. Math.
- Volume 54, Number 1 (2010), 187-197.
Sublinear time algorithms in the theory of groups and semigroups
Sublinear time algorithms represent a new paradigm in computing, where an algorithm must give some sort of an answer after inspecting only a small portion of the input. The most typical situation where sublinear time algorithms are considered is property testing. There are several interesting contexts where one can test properties in sublinear time. A canonical example is graph colorability. To tell that a given graph is not k-colorable, it is often sufficient to inspect just one vertex with incident edges: if the degree of a vertex is greater than k, then the graph is not k-colorable.
It is a challenging and interesting task to find algebraic properties that could be tested in sublinear time. In this paper, we address several algorithmic problems in the theory of groups and semigroups that may admit sublinear time solution, at least for “most” inputs.
Illinois J. Math. Volume 54, Number 1 (2010), 187-197.
First available in Project Euclid: 9 March 2011
Permanent link to this document
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Primary: 20F10: Word problems, other decision problems, connections with logic and automata [See also 03B25, 03D05, 03D40, 06B25, 08A50, 20M05, 68Q70] 68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) [See also 68Q15]
Secondary: 20M05: Free semigroups, generators and relations, word problems [See also 03D40, 08A50, 20F10] 68W30: Symbolic computation and algebraic computation [See also 11Yxx, 12Y05, 13Pxx, 14Qxx, 16Z05, 17-08, 33F10]
Shpilrain, Vladimir. Sublinear time algorithms in the theory of groups and semigroups. Illinois J. Math. 54 (2010), no. 1, 187--197. http://projecteuclid.org/euclid.ijm/1299679745.