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' $ が存在しないことが証明できます。