Dijkstra 算法通过迭代地选择已知距离最小的未访问节点,将其标记为已访问,并松弛其出边来更新距离。在松弛过程中,算法检查通过当前节点到达邻居的路径是否比先前已知的路径更短,如果是,则更新邻居的距离。此过程要求图的边权为非负值,并使用优先队列来跟踪未访问节点及其当前最短距离。
适用条件:需要一个优先队列或列表来跟踪未访问节点及其当前最短距离。;图必须具有非负边权(伪代码中为正)。
找到答案,看到讲解发生的那一刻,再顺着概念继续探索。
Dijkstra 算法通过迭代地选择已知距离最小的未访问节点,将其标记为已访问,并松弛其出边来更新距离。在松弛过程中,算法检查通过当前节点到达邻居的路径是否比先前已知的路径更短,如果是,则更新邻居的距离。此过程要求图的边权为非负值,并使用优先队列来跟踪未访问节点及其当前最短距离。
适用条件:需要一个优先队列或列表来跟踪未访问节点及其当前最短距离。;图必须具有非负边权(伪代码中为正)。
表达式 10 mod 3 的意思是 10 除以 3 的余数,它的值是 1。
适用条件:取模运算符给出除法后的余数。;被除数是 10,除数是 3。
离散化误差,也称为数值误差,是多边形近似的周长(单元长度之和)与原始连续圆的真实周长之间的差值。它代表了当光滑物体被有限元替换时引入的不可避免的差距。
适用条件:当连续几何形状或场被有限个元素的集合替换时发生。;在示例中,比较是在近似的圆和原始的圆之间进行的。
如果一个逻辑系统永远不会同时证明一个陈述及其反面,那么它就是一致的。一致性确保没有矛盾,这对于可靠的结论至关重要。
适用条件:适用于逻辑系统。;涉及陈述及其反面的可证性。
三机器生产问题的总成本目标函数通过将可变生产成本和固定设置成本相加来构建。可变成本通过将每台机器的单位可变成本乘以其连续生产数量()来计算,而固定成本通过将每台机器的固定设置成本乘以其二元激活指示符()来计算。最终目标是使总和最小化:Min 。例如,当可变成本为 2.39、1.99、2.99 且固定成本为 300、250、400 时,目标函数为 Min 。
适用条件:有多台具有不同可变成本和固定成本的机器。; 表示机器 上的连续生产数量。; 表示机器 的二元激活状态。;目标是最小化成本。
非零共线向量张成一条直线,因为它们的线性组合只能到达那条共享直线上的点。全零集只张成原点,因为零向量的任何线性组合结果都是零向量。
适用条件:第一种情况,向量是非零且共线的。;第二种情况,集合中的所有向量都是零向量。
简化后的函数在目标点附近与原表达式一致,因为代数操作(因式分解、乘以共轭、清除分数)是等价变换,对于定义域内除目标点本身以外的所有 都有效。极限描述的是输入趋近于某个值时函数的行为,而不是函数在该点的值。
适用条件:目标点被排除在原表达式的定义域之外。;代数简化对目标点附近的所有 ( 目标点)有效。;简化函数的极限存在。