関連ワード:  loop invariant analysis    loop invariants analysis classification and examples    loop invariant in design and analysis of algorithms    loop invariant examples    loop invariant explained    what is loop invariant    loop invariant method