线性动力系统在一个紧致半代数集上的逃逸时间界限
摘要：离散时间线性动力系统在紧致半代数集上的逃逸问题研究。我们建立了一个统一的上界，用于描述理性矩阵的每个轨道离开由有理数据定义的紧致半代数集所需的迭代次数。我们的上界双指数依赖于环境维度，指数依赖于用于定义半代数集的多项式的次数，以及多项式系数和矩阵元素的位数。通过给出匹配的下界，我们证明了我们的上界的紧致性。
作者：Julian D'Costa, Engel Lefaucheux, Eike Neumann, Jo"el Ouaknine, James Worrell
论文ID：2207.01550
分类：Computational Complexity
分类简称：cs.CC
提交时间：2022-08-08