設問3(1)カ「OutputStringの長さがBlockSortStringの長さより小さい」という答えになっていますが、「OutputStringの長さがBlockSortStringの長さと等しくない」でも正解でしょうか?

OutputStringの長さとBlockSortStringの長さが等しくなったらループを抜けるという部分は同じ、
かつ、OutputStringの長さがBlockSortStringの長さより大きくなる事はないと思われますので、
「OutputStringの長さがBlockSortStringの長さと等しくない」
でもよいかと思います。