循环不变式

xún huán bù biàn shì · ㄒㄩㄣˊ ㄏㄨㄢˊ ㄅㄨˋ ㄅㄧㄢˋ ㄕˋ

修撰于 2026-07-01 00:16:20

拼音xún huán bù biàn shì
字母xun huan bu bian shi
首字母xhbbs
注音ㄒㄩㄣˊ ㄏㄨㄢˊ ㄅㄨˋ ㄅㄧㄢˋ ㄕˋ
注音符号ㄒㄩㄣ ㄏㄨㄢ ㄅㄨ ㄅㄧㄢ ㄕ

广

循环不变式是在循环体的每次执行前后均为真的谓词。循环不变式体现了循环程序中循环变量的变化规律。