https://www.ap-siken.com/kakomon/27_haru/pm03.html

設問3カの解答は「OutputStringの長さがBlockSortStringの長さより小さい」となっていますが、

「OutputStringの長さがBlockSortStringと等しくない」では不正解になってしまうのでしょか。

※以下、あくまで個人的見解※

結論から言えば、“高確率で〇”だと思います。
OutputString（以下ＯＳ）もBlockSortString（以下ＢＳ）も
【１】長さは小数ではなく整数で
【２】ＢＳの長さも１ずつしか増えないため
【３】ＯＳ＜ＢＳな状態からＯＳ＝ＢＳな状態をとばしてＯＳ＞ＢＳな状態になることがない
ので正しい処理結果も得られると思います。

何らかのミスとかで万一【３】のような状態が発生したときの無限ループ発生確率を下げるための工夫か何かでしょうかね・・・？

※以上、あくまで個人的見解（再掲）※

――No.2の訂正――
【２】ＢＳの長さも１ずつしか増えないため
  →ＯＳの長さ

おそらく〇になるということで安心しました。
他の問題もそうですが、別解があるなら載せてほしいものです。

ご回答ありがとうございました。