AT_abc329_e [ABC329E] Stamp

[problemUrl]: https://atcoder.jp/contests/abc329/tasks/abc329_e 英大文字からなる長さ $ N $ の文字列 $ S $ と、英大文字からなる長さ $ M\ (\leq\ N) $ の文字列 $ T $ が与えられます。 `#` のみからなる長さ $ N $ の文字列 $ X $ があります。 以下の操作を好きな回数行うことで、$ X $ を $ S $ に一致させることができるか判定してください。 - $ X $ の中から連続する $ M $ 文字を選び、$ T $ で置き換える。

入力は以下の形式で標準入力から与えられる。 > $ N $ $ M $ $ S $ $ T $

$ X $ を $ S $ に一致させることができるならば `Yes` を、できないならば `No` を出力せよ。

### 制約 - $ 1\ \leq\ N\ \leq\ 2\times\ 10^5 $ - $ 1\ \leq\ M\ \leq\ \min(N, $ $ 5 $$ ) $ - $ S $ は英大文字からなる長さ $ N $ の文字列 - $ T $ は英大文字からなる長さ $ M $ の文字列 ### Sample Explanation 1 以下、$ X $ の $ l $ 文字目から $ r $ 文字目までの部分を $ X[l:r] $ と表記します。 次のように操作を行うことで、$ X $ を $ S $ に一致させることができます。 1. $ X[3:5] $ を $ T $ で置き換える。$ X= $ `##ABC##` になる。 2. $ X[1:3] $ を $ T $ で置き換える。$ X= $ `ABCBC##` になる。 3. $ X[5:7] $ を $ T $ で置き換える。$ X= $ `ABCBABC` になる。 ### Sample Explanation 2 どのように操作を行っても、$ X $ を $ S $ に一致させることはできません。