Busy Beaver слишком ленив, чтобы придумывать интересную историю для этой задачи, поэтому он просто дал вам формальное описание.
Определим $M$-последовательность как последовательность положительных целых чисел, каждое из которых находится в диапазоне от $1$ до $M$ включительно.
$M$-последовательность называется $K$-хорошей, если абсолютная разность между любой парой соседних элементов не превышает $K$. Например, $[1, 2, 3, 5, 5, 3, 2, 1]$ является $2$-хорошей и $2024$-хорошей, но не $1$-хорошей. Мы также считаем $M$-последовательности длины $0$ или $1$ $K$-хорошими.
Даны положительные целые числа $N$, $M$, $K$, $L$ и $M$-последовательность $a_1, \dots, a_N$ длины $N$. Найдите максимально возможное количество элементов в $M$-последовательности $b$, такой что:
- $b$ имеет $a$ в качестве префикса; и
- Любая $K$-хорошая подпоследовательность $b$ имеет не более $L$ элементов.
Напомним, что подпоследовательность последовательности получается путем удаления некоторых элементов (возможно, всех или ни одного) из последовательности без изменения порядка оставшихся элементов.
Входные данные
Имеется несколько тестовых случаев. Первая строка содержит положительное целое число $T$ ($1 \le T \le 2 \cdot 10^5$), количество тестовых случаев.
Первая строка каждого тестового случая содержит четыре целых числа $N$, $M$, $K$, $L$ ($0 \le N \le 2 \cdot 10^5$, $1 \le M \le 10^9$, $0 \le K \le 10^9$, $1 \le L \le 10^9$).
Вторая строка тестового случая содержит $a_1, \dots, a_N$ ($1 \le a_i \le M$). Если $N = 0$, то эта строка пропускается.
Гарантируется, что любая $K$-хорошая подпоследовательность $a$ имеет не более $L$ элементов. Кроме того, сумма $N$ по всем тестовым случаям не превышает $4 \cdot 10^5$.
Выходные данные
Для каждого тестового случая выведите одну строку с максимальным количеством элементов в $b$. Можно показать, что при заданных ограничениях максимум всегда существует и не превышает $9 \cdot 10^{18}$.
Подзадачи
- ($5$ баллов) $M \le K + 1$.
- ($5$ баллов) $K = 0$.
- ($10$ баллов) $N = 0$.
- ($15$ баллов) $N = 1$.
- ($30$ баллов) Сумма каждого из $N$, $M$, $K$ и $L$ по всем тестовым случаям не превышает $3000$.
- ($35$ баллов) Без дополнительных ограничений.
Примеры
Входные данные 1
3 3 3 1 3 1 3 2 0 5 2 3 7 7 2 3 1 4 2 7 7 1 6
Выходные данные 1
5 6 7
Примечание
В первом примере одна из возможных $M$-последовательностей $b$ — это $[1, 3, 2, 3, 1]$, чьи $1$-хорошие подпоследовательности, такие как $[3, 2, 3]$ и $[3, 2, 1]$, имеют длину не более $L = 3$.
Во втором примере одна из возможных $M$-последовательностей $b$ — это $[1, 1, 5, 4, 2, 5]$, чьи $2$-хорошие подпоследовательности, такие как $[5, 4, 2]$ и $[1, 1, 2]$, имеют длину не более $L = 3$.
В третьем примере можно показать, что единственно возможная $b$ — это $b = a$.