循环不变式

拼音xún huán bù biàn shì 注音ㄒㄩㄣˊ ㄏㄨㄢˊ ㄅㄨˋ ㄅㄧㄢˋ ㄕˋ 更新2026-07-30 00:59:28
读音信息
拼音字母
xun huan bu bian shi
拼音首字母
xhbbs
注音符号
ㄒㄩㄣ ㄏㄨㄢ ㄅㄨ ㄅㄧㄢ ㄕ
注音首字母
ㄒㄏㄅㄅㄕ
百科释义

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