On polynomial-modular recursive sequences
-
Sergey S. Marchenkov
Abstract
We consider recursive sequences over the set of integers, where as rules of generation we take arbitrary superpositions of polynomial functions and the function |x|; such sequences are referred to as polynomial-modular recursive sequences. We show how evaluations on three-tape Minsky machines can be simulated via polynomial-modular recursive sequences. Based on this result, we formulate algorithmically unsolvable problems related to polynomial-modular recursive sequences. We also consider recursive sequences in which the rules of generation are functions formed by some superpositions of polynomial functions and the function
Originally published in Diskretnaya Matematika (2022) 34, №2, 43–49 (in Russian).
Acknowledgment
The author is grateful to the referee for valuable comments and suggestions.
-
Funding: Supported by the Russian Foundation for Basic Research (grant no. 19-01-00200).
References
[1] Maltsev A. I., Algorithms and recursive functions, M.: Nauka, 1986 (in Russian), 368 pp.Suche in Google Scholar
[2] Marchenkov S. S., “On the complexity of recurring sequences”, Discrete Math. Appl., 13:2 (2003), 167-178.Suche in Google Scholar
[3] Marchenkov S. S., “On the complexity of polynomial recurrence sequences”, Problems of Information Transmission, 54:3 (2018), 258-262.Suche in Google Scholar
[4] Marchenkov S. S., Savitskiy I. V., Machines in the theory of computable functions, M.: MAKS Press, 2018 (in Russian), 88 pp.Suche in Google Scholar
[5] Matiyasevich Yu. V., “Diophantine representation of enumerable predicates”, Izv. AN SSSR. Ser. matem., 35:1 (1971), 3-30 (in Russian).Suche in Google Scholar
[6] Matiyasevich Yu. V., Hilbert’s tenth Problem, M.: Nauka, 1993 (in Russian), 224 pp.Suche in Google Scholar
[7] Nechaev V. I., Elements of cryptography. Fundamentals of information security theory, M.: Vysshaya shkola, 1999 (in Russian), 112 pp.Suche in Google Scholar
[8] Hall M., Combinatorial Theory, Blaisdell Publishing Co. Ginn and Co., Waltham, Mass.-Toronto, Ont.-London, 1967, x+310 pp.Suche in Google Scholar
© 2023 Walter de Gruyter GmbH, Berlin/Boston
Artikel in diesem Heft
- Frontmatter
- On small distance-regular graphs with the intersection arrays {mn − 1, (m − 1)(n + 1), n − m + 1; 1, 1, (m − 1)(n + 1)}
- On algebraicity of lattices of ω-fibred formations of finite groups
- On polynomial-modular recursive sequences
- Classes of piecewise-quasiaffine transformations on the generalized 2-group of quaternions
- Limit theorem for a smoothed version of the spectral test for testing the equiprobability of a binary sequence
- Limit theorem for stationary distribution of a critical controlled branching process with immigration
Artikel in diesem Heft
- Frontmatter
- On small distance-regular graphs with the intersection arrays {mn − 1, (m − 1)(n + 1), n − m + 1; 1, 1, (m − 1)(n + 1)}
- On algebraicity of lattices of ω-fibred formations of finite groups
- On polynomial-modular recursive sequences
- Classes of piecewise-quasiaffine transformations on the generalized 2-group of quaternions
- Limit theorem for a smoothed version of the spectral test for testing the equiprobability of a binary sequence
- Limit theorem for stationary distribution of a critical controlled branching process with immigration
