我 T1~T4 的时间复杂度分别为 $O(\Sigma|S|)$、$O(1)$、$O(n)$、$O(n)$，没有一个对上数据范围的

所以是我乱搞过的还是确实可以做到这个时间复杂度