ループ不変

【るーぷふへん】

ループ不変

读成： るーぷふへん
中文： 回路不变量、循环不变式、循环不变量