Introduction to Algorithms

って当たり前のことをループ不変とかを使って説明しているよね。

はっきりいってくどい。