invariance

• 1. 不变式: invariant
• 2. 循环不变式: loop invariant
• 3. 半不变式: semi invariant | half invariant

更多释义

• 1.清单2循环中包含不变式。
  Listing 2. Loop containing invariant.
  dict.yoduao.com
• 2.该变量没有包含在具有其他变量的不变式中。
  The variable does not participate in invariants with other variables.
  dict.yoduao.com
• 3.如何寻找循环不变式和证明的正确性？
  How to find the loop invariant and prove correctness?
  dict.yoduao.com

©2026 网易公司