Algorithm 不变量的定义是什么？

我翻阅了过去的论文，我只是想再次检查一下下面的定义

“当我们从一个州移动到另一个州时，不会改变的东西被称为uuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuu？”

我说这将被定义为不变量，对吗

提前感谢。

根据这一点，不变量是

在执行过程中可以信赖为真的条件 程序，或在它的某些部分

---

这基本上意味着“不变量”将是原始帖子中问题的正确答案。

感谢您澄清了我对不变量的理解，这可能是重复的。您如何定义原始帖子中的声明？