我正在使用求解器来解决递归约束。求解器的工作原理就是这样，例如给定一个递归定义为a(n) = a(n-1)*2 + 2的序列。然后解算器将根据a(n)找到代表n的确切公式。您可以在wolfram alpha中查看此example以获得更多理解
在编程中。计算序列的程序是这样的：
a[0] = 1;
for (i = 1; i <= n; i = i+1)
a[i] = 2*a[i-1]+2;
然后，通过使用我们的求解器，我可以通过a[n]表示n并将此要素添加到约束中。
但是，我有点找到包含递归序列或线性递归关系的现实世界的例子。你知道任何可以作为我的测试台的代码吗？