跳去內容

迴圈不變量

出自維基百科,自由嘅百科全書

迴圈不變量loop invariant)係一個數值理應唔會隨程式迴圈迭代改變嘅變數,都係整嚟監察個迴圈運作係咪如常嘅。