AT_maximum_2013_j ALPHAのならび
题目描述
给定一个长度为 $ n $ 的数列 $ \alpha = (a_1, a_2, \ldots, a_n) $，需要判断这个数列是否是 k-有序的。具体来说，对于所有满足 $ 1 \leq i < j \leq n $ 并且 $ |i - j| \leq k $ 的整数对 $(i, j)$，我们要求有 $ a_i \leq a_j $。
若 0-有序，则相当于数列已经完全排序。
输入包含多个数据集，输入的结束由两个以空格分隔的 `-1` 标记。每个数据集包含两行数据：
1. 第一行包含两个整数 $ n $ 和 $ k $，分别表示数列的长度和 k-有序的 k 值。
2. 第二行包含 $ n $ 个整数 $ a_1, a_2, \ldots, a_n $，分别代表数列的元素。
当数列是 k-有序时，输出 `Yes`；否则，输出 `No`。
### 示例输入
```
3 0
1 2 3
3 0
2 1 3
3 1
2 1 3
3 1
3 1 2
3 2
3 1 2
1 1
1
1 0
1
0 0
-1 -1
```
### 示例输出
```
Yes
No
Yes
No
Yes
Yes
Yes
Yes
```
输入格式
每个数据集由两行组成：
- 第一个数字行包含两个整数 $ n $ 和 $ k $。
- 第二个数字行包含 $ n $ 个整数，这些整数表示数列的元素。
输入结束标志是两个 `-1`，各个数据集之间用换行分隔。
输出格式
对于每个数据集，判断数列是否 k-有序，输出一行，若是则输出 `Yes`，否则输出 `No`。
说明/提示
- $ 0 \leq n \leq 50,000 $
- $ 0 \leq k \leq n $
- 每个数列元素 $ a_i $ 满足 $ 0 \leq a_i $
**本翻译由 AI 自动生成**