迴圈不變量

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