Unforgivable Curse (hard version)
Contest: Codeforces Round 855 (Div. 3)
Difficulty rating: 1500
Tags: brute force, constructive algorithms, dfs and similar, dsu, graphs, greedy, strings

This is a complex version of the problem. This version has no additional restrictions on the number $$$k$$$.

The chief wizard of the Wizengamot once caught the evil wizard Drahyrt, but the evil wizard has returned and wants revenge on the chief wizard. So he stole spell $$$s$$$ from his student Harry.

The spell — is a $$$n$$$-length string of lowercase Latin letters.

Drahyrt wants to replace spell with an unforgivable curse — string $$$t$$$.

Dragirt, using ancient magic, can swap letters at a distance $$$k$$$ or $$$k+1$$$ in spell as many times as he wants. In other words, Drahyrt can change letters in positions $$$i$$$ and $$$j$$$ in spell $$$s$$$ if $$$|i-j|=k$$$ or $$$|i-j|=k+1$$$.

For example, if $$$k = 3, s = $$$ "talant" and $$$t = $$$ "atltna", Drahyrt can act as follows:

- swap the letters at positions $$$1$$$ and $$$4$$$ to get spell "aaltnt".
- swap the letters at positions $$$2$$$ and $$$6$$$ to get spell "atltna".

You are given spells $$$s$$$ and $$$t$$$. Can Drahyrt change spell $$$s$$$ to $$$t$$$?

Input format:
The first line of input gives a single integer $$$T$$$ ($$$1 \le T \le 10^4$$$) — the number of test cases in the test.

Descriptions of the test cases are follow.

The first line contains two integers $$$n, k$$$ ($$$1 \le n \le 2 \cdot 10^5$$$, $$$1 \le k \le 2 \cdot 10^5$$$) — the length spells and the number $$$k$$$ such that Drahyrt can change letters in a spell at a distance $$$k$$$ or $$$k+1$$$.

The second line gives spell $$$s$$$ — a string of length $$$n$$$ consisting of lowercase Latin letters.

The third line gives spell $$$t$$$ — a string of length $$$n$$$ consisting of lowercase Latin letters.

It is guaranteed that the sum of $$$n$$$ values over all test cases does not exceed $$$2 \cdot 10^5$$$. Note that there is no limit on the sum of $$$k$$$ values over all test cases.

Output format:
For each test case, output on a separate line "YES" if Drahyrt can change spell $$$s$$$ to $$$t$$$ and "NO" otherwise.

You can output the answer in any case (for example, lines "yEs", "yes", "Yes" and "YES" will be recognized as positive answer).

Constraints:
Time limit: 1.0 s
Memory limit: 256.0 MB

Note:
The first case is explained in the condition.

In the second case, we can swap adjacent letters, so we can sort the string using bubble sorting, for example.

In the third case, we can show that from the string $$$s$$$ we cannot get the string $$$t$$$ by swapping letters at a distance of $$$6$$$ or $$$7$$$.

In the fourth case, for example, the following sequence of transformations is appropriate:

- "accio" $$$\rightarrow$$$ "aocic" $$$\rightarrow$$$ "cocia" $$$\rightarrow$$$ "iocca" $$$\rightarrow$$$ "aocci" $$$\rightarrow$$$ "aicco" $$$\rightarrow$$$ "cicao"

In the fifth case, we can show that it is impossible to get the string $$$s$$$ from the string $$$t$$$.

In the sixth example, it is enough to swap the two outermost letters.

Example input:
7
6 3
talant
atltna
7 1
abacaba
aaaabbc
12 6
abracadabraa
avadakedavra
5 3
accio
cicao
5 4
lumos
molus
4 3
uwjt
twju
4 3
kvpx
vxpk

Example output:
YES
YES
NO
YES
NO
YES
NO

Editorial:
The solution of the problem $$$E1$$$ hints to us that with the help of such operations, it is possible to move the symbol in the right direction by $$$1$$$ using two operations. Then we can show that among the symbols that we can swap with at least one other symbol, we can get any permutation.
For example, you can apply such a greedy solution: we will build an answer from the boundaries of the string $$$t$$$ to the middle. Since we can move the symbol by a distance of $$$1$$$, we can move it to the border and thus we can build any string $$$t$$$.
Thus, it is enough to check that the sets of characters that can be swapped with some other match. And for the rest of the characters, check that they just match.