AT_abc352_d [ABC352D] Permutation Subsequence

给定一个由 $1,2,\dots,N$ 组成的排列 $P=(P_1,P_2,\dots,P_N)$。 我们称满足以下两个条件的长度为 $K$ 的正整数序列 $(i_1,i_2,\dots,i_K)$ 为**好下标序列**： - $1\leq i_1 < i_2 < \dots < i_K \leq N$。 - $(P_{i_1},P_{i_2},\dots,P_{i_K})$ 可以通过重新排列某 $K$ 个连续整数得到。 也就是说，存在某个整数 $a$，使得 $\lbrace P_{i_1},P_{i_2},\dots,P_{i_K} \rbrace = \lbrace a,a+1,\dots,a+K-1 \rbrace$。 请你求出所有好下标序列中 $i_K-i_1$ 的最小值。 在本题的限制下，可以保证至少存在一个好下标序列。

输入按以下格式从标准输入读入： > $N$ $K$ $P_1$ $P_2$ $\dots$ $P_N$

输出所有好下标序列中 $i_K-i_1$ 的最小值。

## 限制条件 - $1\leq K \leq N \leq 2\times 10^5$ - $1\leq P_i \leq N$ - 如果 $i\neq j$，则 $P_i\neq P_j$ - 输入均为整数 ## 样例解释 1 好下标序列有 $(1,2),(1,3),(2,4)$ 共 $3$ 个。例如 $(i_1,i_2)=(1,3)$，满足 $1\leq i_1 < i_2 \leq N$，且 $(P_{i_1},P_{i_2})=(2,1)$ 是连续的 $2$ 个整数 $1,2$ 的一种排列，因此是好下标序列。在这些好下标序列中，$i_K-i_1$ 的最小值为 $(1,2)$，此时 $2-1=1$。 ## 样例解释 2 对于任意好下标序列，$i_K-i_1=i_1-i_1=0$。 由 ChatGPT 4.1 翻译