Аннотация:
Описывается два алгоритма: первый — по заданию произвольной линейной рекуррентной последовательности с алгебраическими членами сообщает задание ее множества нулей, второй — по заданию последовательности с действительными алгебраическими членами сообщает задание
ее множества нулей. Последний алгоритм, в частности, дает решение проблемы появления нуля в целочисленной линейной рекуррентной последовательности порядка не больше четырех. Библиогр. 16 назв.
Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell, “The monadic theory of toric words”, Theoretical Computer Science, 2024, 114959
Edon Kelmendi, Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, 1
Stephen Melczer, Texts & Monographs in Symbolic Computation, Algorithmic and Symbolic Combinatorics, 2021, 21
Min Sha, “Effective results on the Skolem Problem for linear recurrence sequences”, Journal of Number Theory, 197 (2019), 228
Ming Xu, Cheng-Chao Huang, Zhi-Bin Li, Zhenbing Zeng, “Analyzing ultimate positivity for solvable systems”, Theoretical Computer Science, 609 (2016), 395
Ventsislav Chonev, Joël Ouaknine, James Worrell, “On the Complexity of the Orbit Problem”, J. ACM, 63:3 (2016), 1
Joël Ouaknine, James Worrell, Lecture Notes in Computer Science, 8573, Automata, Languages, and Programming, 2014, 330
Joël Ouaknine, James Worrell, Lecture Notes in Computer Science, 8573, Automata, Languages, and Programming, 2014, 318
Ventsislav Chonev, Joël Ouaknine, James Worrell, Proceedings of the forty-fifth annual ACM symposium on Theory of Computing, 2013, 941
Joël Ouaknine, James Worrell, Lecture Notes in Computer Science, 7550, Reachability Problems, 2012, 21
Sergey Tarasov, Mikhail Vyalyi, Lecture Notes in Computer Science, 6651, Computer Science – Theory and Applications, 2011, 305
М. Н. Вялый, С. П. Тарасов, “Орбиты линейных отображений и свойства регулярных языков”, Дискретн. анализ и исслед. опер., 17:6 (2010), 20–49; M. N. Vyalyi, S. P. Tarasov, “Orbits of linear maps and regular languages properties”, J. Appl. Industr. Math., 5:3 (2011), 448–465
Paul C. Bell, Jean-Charles Delvenne, Raphaël M. Jungers, Vincent D. Blondel, “The continuous Skolem-Pisot problem”, Theoretical Computer Science, 411:40-42 (2010), 3625
Jody M. Lockhart, “THE SKOLEM PROBLEM FOR 2×2 MATRICES, ARCTANGENTS AND RECURSIVE SOLVABILITY”, Albanian J. Math., 1:1 (2007)