AT_abc478_c.Sort Subarray

You are given a length-$N$ integer sequence $A=(A _ 1,A _ 2,\ldots,A _ N)$.

You will perform the following operation on $A$ exactly once.

• Choose an integer $i$ between $1$ and $N-K+1$, inclusive. Sort $A _ i,A _ {i+1},\ldots,A _ {i+K-1}$ in ascending order. More formally, let $B _ 1,B _ 2,\ldots,B _ K$ be $A _ i,A _ {i+1},\ldots,A _ {i+K-1}$ arranged in increasing order, and simultaneously replace $A _ {i+j-1}$ with $B _ j$ for $1\le j\le K$.

Determine whether it is possible that, after this operation, $A$ is in ascending order, that is, $A _ i\le A _ {i+1}$ holds for all $1\le i\lt N$.

给你一个长度为 $N$ 的整数序列 $A=(A _ 1,A _ 2,\ldots,A _ N)$。

你将对 $A$ 恰好执行一次如下操作：

• 选择一个整数 $i$，满足 $1 \le i \le N-K+1$。将子数组 $A _ i,A _ {i+1},\ldots,A _ {i+K-1}$ 按升序排序。更准确地说，设 $B _ 1,B _ 2,\ldots,B _ K$ 是 $A _ i,A _ {i+1},\ldots,A _ {i+K-1}$ 按升序排列后的结果，并同时将每个 $A _ {i+j-1}$ 替换为 $B _ j$（其中 $1 \le j \le K$）。

判断：在执行该操作后，是否可能使 $A$ 成为升序序列，即对所有 $1 \le i < N$ 均满足 $A _ i \le A _ {i+1}$。

The input is given from Standard Input in the following format:

$N$ $K$
$A _ 1$ $A _ 2$ $\ldots$ $A _ N$

输入从标准输入中按以下格式给出：

$N$ $K$
$A _ 1$ $A _ 2$ $\ldots$ $A _ N$

If $A$ can be sorted in ascending order by performing the operation once, output Yes; otherwise, output No.

如果通过对 $A$ 执行一次该操作即可将其按升序排序，则输出 Yes；否则，输出 No。

Sample 1 Explanation:
For example, if you choose $2$ as $i$, then $(A _ 2,A _ 3,A _ 4,A _ 5,A _ 6,A _ 7)=(4,1,4,2,1,3)$ is replaced with $(1,1,2,3,4,4)$. After the operation, $A$ is $(1,1,1,2,3,4,4,5,6)$, which satisfies the condition.

Thus, output Yes.

Sample 2 Explanation:
$K=1$, so $A$ does not change regardless of which $i$ the operation is performed on. Thus, output No.

Constraints

• $1\le K\lt N\le2\times10 ^ 5$
• $1\le A _ i\le N\ (1\le i\le N)$
• All input values are integers.

样例 1 解释：
例如，若选择 $2$ 作为 $i$，则 $(A _ 2,A _ 3,A _ 4,A _ 5,A _ 6,A _ 7)=(4,1,4,2,1,3)$ 将被替换为 $(1,1,2,3,4,4)$。操作后，数组 $A$ 变为 $(1,1,1,2,3,4,4,5,6)$，满足题目条件。

因此，输出 Yes。

样例 2 解释：
$K=1$，因此无论对哪个 $i$ 执行该操作，$A$ 均不发生变化。故输出 No。

约束条件

• $1\le K\lt N\le2\times10 ^ 5$
• $1\le A _ i\le N\ (1\le i\le N)$
• 所有输入值均为整数。