CLRS (アルゴリズム入門) の問題を解決しようとしていますが、問題 7-1 に問題があります。パート b (今のところ) は次のようになっています。
インデックス i と j は、部分配列 A[p ... r] の外にある A の要素に決してアクセスしないようなものです。
それを証明するにはどうすればいいですか？インデックスが中央に向かって移動しているのがわかりますが... これは本当に私の頭をひねっています。そして、それを説明することは証拠ではありません。誰かがこの問題に光を当てることができれば、とても感謝しています。