AT_arc155_a [ARC155A] ST and TS Palindrome
Description
[problemUrl]: https://atcoder.jp/contests/arc155/tasks/arc155_a
英小文字からなる長さ $ N $ の文字列 $ S $ と正整数 $ K $ が与えられます。
以下の条件を満たす長さ $ K $ の文字列 $ S' $ が存在するか判定してください。
- $ S,\ S' $ をこの順に結合して得られる文字列は回文である
- $ S',\ S $ をこの順に結合して得られる文字列は回文である
$ T $ 個のテストケースが与えられるのでそれぞれについて判定してください。
Input Format
入力は以下の形式で標準入力から与えられます。
> $ T $ $ \mathrm{case}_1 $ $ \vdots $ $ \mathrm{case}_T $
各ケースは以下の形式で与えられます。
> $ N $ $ K $ $ S $
Output Format
$ T $ 行出力せよ。$ i $ 行目には $ i $ 番目のテストケースについて、条件を満たす文字列 $ S' $ が存在する場合は `Yes` を、存在しない場合は `No` を出力せよ。
Explanation/Hint
### 制約
- $ 1\ \leq\ T\ \leq\ 10^5 $
- $ 1\ \leq\ N\ \leq\ 2\ \times\ 10^5 $
- $ 1\ \leq\ K\ \leq\ 10^{18} $
- $ S $ は英小文字からなる長さ $ N $ の文字列
- 入力される数値はすべて整数
- $ 1 $ つの入力に含まれるテストケースについて、 $ N $ の総和は $ 2\ \times\ 10^5 $ 以下
### Sample Explanation 1
$ 1 $ 番目のテストケースについて、例えば $ S'\ =\ {} $`ba` とすると $ S,S' $ をこの順に結合して得られる文字列 `abbaabba` は回文になっています。また、 $ S',S $ をこの順に結合して得られる文字列 `baabbaab` も回文になっています。以上より $ S'\ =\ {} $`ba` は条件を満たすので答えは `Yes` になります。 $ 2 $ 番目のテストケースについては、条件を満たす $ S' $ が存在しないことが証明できます。