AT_arc163_a [ARC163A] Divide String

[problemUrl]: https://atcoder.jp/contests/arc163/tasks/arc163_a 長さ $ N $ の英小文字からなる文字列 $ S $ が与えられます。$ S $ を $ 2 $ 個以上の連続部分文字列に分割し、それらが辞書順で狭義単調増加になるようにすることが出来るか判定してください。 厳密に書くと、以下の条件を全て満たす文字列の列 $ t=(t_1,t_2,\dots,t_k) $ が存在するか判定してください。 - 列の長さ $ k $ は $ 2 $ 以上である。 - $ t_i $ は空でない。($ 1\ \le\ i\ \le\ k $) - $ t_1,t_2,\dots,t_k $ をこの順で連結すると $ S $ と一致する。 - $ 1\ \le\ i\

入力は以下の形式で標準入力から与えられる。 > $ T $ $ \mathrm{case}_1 $ $ \mathrm{case}_2 $ $ \vdots $ $ \mathrm{case}_T $ ここで、$ \mathrm{case}_i $ とは $ i $ 個目のテストケースである。各テストケースは以下の形式で与えられる。 > $ N $ $ S $

$ T $ 行出力せよ。 $ i(1\ \le\ i\ \le\ T) $ 行目には、$ i $ 個目のテストケースにおいて $ S $ を条件を満たすように分割できるならば `Yes` を、そうでないならば `No` を出力せよ。

### 制約 - $ 1\ \le\ T\ \le\ 2000 $ - $ 2\ \le\ N\ \le\ 2000 $ - $ S $ は長さ $ N $ の英小文字からなる文字列 - $ 1 $ 個の入力に含まれるテストケースについて、それらの $ N $ の総和は $ 2000 $ を超えない。 ### Sample Explanation 1 $ 1 $ 個目のテストケースは、$ S $ を `a`,`ba`,`c` と分割すればよいです。 $ 2 $ 個目のテストケースは、$ S $ をどのように分割しても辞書順で狭義単調増加にすることは出来ません。