$i$回目には$a_i$番目のSTを取り除く、のようにすると$O(|X|^2)$になりそう。

solution

貪欲な感じで。$O(|X|)$。

最も左側のものを取り除くことを繰り返すので、空文字列から始めて末尾に$X$から$1$文字ずつ付け加えていき消せるか見ればよい。 操作対象は長さ$2$の連続な部分文字列のみなので、見る範囲は追加した部分のみでよい。 $O(|X|)$回の操作ごとに$O(1)$なので全体で$O(|X|)$。

implementation

#!/usr/bin/env python3
x = input()
s = 0
t = 0
for c in x:
    if c == 'S':
        s += 1
    elif c == 'T':
        if s:
            s -= 1
        else:
            t += 1
    else:
        assert False
print(s + t)