Abstract
We prove that for any rational number \(\alpha >1\) there exists a semi-Thue system with derivational complexity function belonging to the asymptotic class \(\varTheta (n^{\alpha })\). In particular, we answer a question of Y. Kobayashi, whether there exists a semi-Thue system whose derivational complexity function is in the class \(\varTheta (n^{\alpha })\) with \(\alpha \in (1,2)\).
This work was supported by a research grant from Russian Science Foundation, project no. 16-11-10252.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
After the preliminary version of this paper became partly available to the public, several examples of systems, which do not preserve length, have been constructed. An anonymous referee suggested a construction of a system having complexity \(\varTheta (n \log ^* n)\) and recently Y. Kobayashi announced an example of a system with derivational complexity function from the class \(\varTheta (n \log \log n\)).
References
Adian, S.I.: On a method for proving exact bounds on derivational complexity in Thue systems. Math. Notes 92(1), 3–15 (2012)
Brady, N., Bridson, M.R.: There is only one gap in the isoperimetric spectrum. Geom. Funct. Anal. GAFA 10(5), 1053–1070 (2000)
Birget, J.-C.: Time-complexity of the word problem for semigroups and the Higman embedding theorem Internat. J. Algebra Comput. 8(2), 235–294 (1998)
Sapir, M., Birget, J.-C., Rips, E.: Isoperimetric and isodiametric functions of groups. Ann. Math. 156(2), 345–466 (2002)
Hofbauer, D., Lautemann, C.: Termination proofs and the length of derivations. In: Dershowitz, N. (ed.) RTA 1989. LNCS, vol. 355, pp. 167–177. Springer, Heidelberg (1989). https://doi.org/10.1007/3-540-51081-8_107
Hofbauer, D., Waldmann, J.: Termination of {\(aa \rightarrow bc\), \(bb \rightarrow ac\), \(cc \rightarrow ab\)}. Inform. Process. Lett. 98, 156–158 (2006)
Kobayashi, Y.: Undecidability of the complexity of rewriting systems, Algebraic system, Logic, Language and Computer Science, Kyoto University Research Information Repository 2008, pp. 47–51 (2016). https://repository.kulib.kyoto-u.ac.jp/dspace/handle/2433/231547
Kobayashi, Y.: The derivational complexity of string rewriting systems. Theoret. Comput. Sci. 438, 1–12 (2012)
Olshanskii, A.Y.: Hyperbolicity of groups with subquadratic isoperimetric inequality. Int. J. Algebra Comput. 1(3), 281–289 (1991)
Yu Olshanskii, A.: Polynomially-bounded Dehn functions of groups. J. Comb. Algebra 2(4), 311–433 (2018)
Acknowledgements
The author would like to thank Jean-Camille Birget (Rutgers University at Camden) and Daria Smirnova (Université de Genève) for stimulating discussions. The author is also indebted to several anonymous referees whose comments significantly improved the quality of this paper.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Talambutsa, A. (2020). On Subquadratic Derivational Complexity of Semi-Thue Systems. In: Fernau, H. (eds) Computer Science – Theory and Applications. CSR 2020. Lecture Notes in Computer Science(), vol 12159. Springer, Cham. https://doi.org/10.1007/978-3-030-50026-9_28
Download citation
DOI: https://doi.org/10.1007/978-3-030-50026-9_28
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-50025-2
Online ISBN: 978-3-030-50026-9
eBook Packages: Computer ScienceComputer Science (R0)