15 ループインバリアントとは何ですか？ CLRSの「Introduction to Algorithm」を読んでいます。第2章では、著者は「ループ不変量」に言及しています。ループインバリアントとは何ですか？ 268 algorithm terminology definition clrs loop-invariant