"S_5 could not be equal to T, because if we take S_5 = abdbc as T, ..."
shouldn't it be S_5 = abbac?

"S_5 = abbac" is correct. We fixed the statement. / 入出力例1の $S_5$ に関する説明が間違っていたため修正しました。