连续Skolem-Pisot问题：关于线性常微分方程可达性的复杂性
动力系统
2009-04-23 v2
摘要
我们研究与Skolem-Pisot问题的连续类比相关的可判定性和复杂性问题，该问题涉及线性递归序列的零点和非负性。特别地，我们证明了非负性问题的连续版本在一般情况下是NP难的，并且我们证明了在若干子情形下（包括深度为2或更小的实例）零点的存在性是可判定的，尽管一般情况下的可判定性仍未解决。这些问题也可以表述为与指数多项式的实零点或线性微分方程初值问题解相关的可达性问题，这些问题本身也很有趣。
引用
@article{arxiv.0809.2189,
title = {The Continuous Skolem-Pisot Problem: On the Complexity of Reachability for Linear Ordinary Differential Equations},
author = {Paul Bell and Jean-Charles Delvenne and Raphael Jungers and Vincent D. Blondel},
journal= {arXiv preprint arXiv:0809.2189},
year = {2009}
}
备注
14 pages, no figure