不变量的定义是什么？

Question

我正在浏览过去的论文，我只是想仔细检查以下内容的定义。

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

我说这将被定义为不变量是否正确？

提前致谢。

Answer 1

根据这个Wikipedia article，一个不变量是

在执行 a 期间可以依赖的条件为真 程序，或在它的某些部分。

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