ループ不変条件

ループ不変条件（英: Loop invariant）とは、計算機科学において、ループの不変条件のことである。ループ不変条件とは、ループの実行開始前および各反復の前後において常に成立する論理的条件のことであり、アサーションを用いてコード中に明示されることもある。