问题标签 [fixed-point-iteration]

这是定点迭代的数学代码。

如果我要证明所有初始猜测都收敛，我会使用相同的代码并用它的导数替换函数吗？

我正在尝试使用仅接受一个输入（数组）的函数在数组中找到一个固定点。问题是，我试图避免构建该函数可以调用的另一个函数。如果我能做到这一点，这种情况就迎刃而解了。这些数组将包含一个排序整数列表供我迭代。我试图通过使用二进制搜索来保持其运行时间较低。我已经尝试了 100 种不同的方法，但都没有什么效果。

如果没有找到固定点，此函数将返回 -1。

该函数也通过了为此构建的 10000 次测试，但由于某种原因找不到“5”是数组的不动点：[-10, -5, -2, 2, 3, 5, 7, 10, 15, 25 , 35, 78, 129]

很好奇人们可能会发现此代码有什么问题。

我试图弄清楚如何为定点迭代创建一个函数。但是我现在已经坚持了一个小时，我终于屈服了。

那么我做错了什么？

我会怀疑我更新错误，但我不太确定。

所有帮助将不胜感激！

我用以下方法调用该函数：

当我删除i<iteration测试时，该功能起作用。但是我不明白为什么省略它会使它起作用？

所以我有一个学校任务，我需要计算一堆汽车在道路上相互跟随的位置（AKA 排成一列，所以如果 10 号车 [排在第一个的车] 刹车，那么 9 号车刹车当 9 号车刹车时，8 号车必须刹车等）。

每辆车都遵循“三秒规则”（除了排在最前面的那辆车，他可以随心所欲地行驶，其他所有排队的车都相应地调整速度）。每辆汽车的速度由以下表达式表示：

其中“i”是汽车的索引，“t”是时间点（索引最高的汽车是排在第一位的汽车），函数“f”由以下代码表示：

最前面的汽车只有一个恒定的速度“g”：

无论如何，既然您知道了任务的上下文，那么让我们真正进入任务本身。这个学校任务包括多个步骤，第一步是使用前向/显式欧拉计算每辆车的位置，我已经完成了。这是代码：

然而问题（我被卡住了）是第二步，我现在需要在第一步中修改我的代码以通过定点迭代使用向后/隐式欧拉。我写了一个函数来进行定点迭代，但除此之外我真的不知道该怎么做。这是我的定点迭代代码：

任何帮助表示赞赏。对不起，很长的文字。我帖子的上半部分主要是对任务背后背景的“简短”总结。这不是绝对必要的（也不是这里的重点），但我还是添加了它，所以你们知道我的代码中发生了什么。

谢谢！

我有一个用于查找固定点的 OCaml 函数：

问题是，我不明白输入时它是如何工作的：

在我的理解中，fix cubed 2会陷入无限循环fix cubed 2*2*2，fix cubed (2*2*2)*(2*2*2)*(2*2*2)以此类推。这个函数如何正确找到不动点0？

我有一个具有以下签名的函数：

我想编写一个方法，如果 simCon 返回Just [Constraint]，我想将它们反馈回 simCon 并重新运行该方法，并继续这样做，直到输入与输出相同。

如果没有，我想终止算法。

如果输入和输出都是相同的类型，我有一些可以工作的东西

但这行不通，因为我现在返回一个 Maybe 。有人可以建议一种编写类似函数但返回类型为 Maybe 的方法吗？

我的目标是使用定点迭代方法求解一维数组 x，并在每个解决方案收敛在 0.0001 容差误差内时插入一个断点。不幸的是，当第一个元素达到所需的收敛误差限制时，它会中断循环，而其他解决方案尚未达到。

在这种情况下，有没有更好的方法来实现中断？如果我不包括 break 并且解决方案如下所示（请注意我已将参数 C 设置为相同的值，以便更好地看到这个问题的症结所在）。

我刚刚开始深入研究 Z3 的定点求解器，并且编写了一个示例，该示例在使用乘法时挂起，但在将乘法定义为一系列加法时完成。由于我是使用 Horn 子句的新手，因此可能有些东西我没有在这里理解。“本机”乘法如此缓慢，而定义为一系列加法的乘法在合理的时间范围内产生令人满意的结果是否有原因？谢谢！

如何解决这个方程非线性，并在 Python 中使用定点迭代法？

我不确定我是否遇到了一个技巧问题，但我正在编写一个定点递归来找到给定方程的根。对我来说，似乎我马上就有了答案，但我仍在尝试确定如何操纵方程以使其适用于我的算法。

方程是 f(x) = sqrt(x) - 1.1 我想我应该操纵来隔离一个 x，但这只是给了我答案。是否有另一种方法来操纵它以使其适用于算法？

这是我的代码：