活变量分析的迭代次数

Question

我知道，活变量分析算法可以最终终止并给出一个解决方案。但是，我想知道算法的迭代次数是否确定(即我是否可以用某些参数计算算法的迭代次数，我想这些参数可能与要分析的程序有关)。

Answer 1

虽然我仍然不知道如何计算精确的迭代数，但是计算我们需要的最大迭代数是很容易的。它可以用格定理来求解。

在简单性上，假设与分析相对应的网格高度为i，且节点数为k，则最大迭代数为i*k。