计算线性马勒方程的解
摘要：Mahler方程将同一函数$f$在变量的迭代$b$次幂处的评估联系起来。它们特别出现在自动序列的研究和分治算法的复杂性分析中。最近，解决以闭形式的Mahler方程的问题与数论问题有关。在处理Mahler方程时的一个困难是在将Mahler算子应用于多项式时，度数会指数级增加。在这项工作中，我们提出了一种解决线性Mahler方程的算法，适用于级数、多项式和有理函数，并在温和的假设下获得了多项式时间复杂度。顺便提一下，我们还开发了一种计算一族线性Mahler算子的最大公因式的算法。
作者：Fr''ed''eric Chyzak, Thomas Dreyfus, Philippe Dumas and Marc Mezzarobba
论文ID：1612.05518
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2020-11-10