智乃的跳跃排序

题号：NC287871
时间限制：C/C++/Rust/Pascal 1秒，其他语言2秒
空间限制：C/C++/Rust/Pascal 256 M，其他语言512 M
Special Judge, 64bit IO Format: %lld

题目描述

众所周知，在只交换相邻元素的前提下，可以对一个数组进行完整的排序操作

现在只能交换下标或者值的差值为 $k$ 的元素，即对于 $i,j$ ，如果 $|i-j|=k$ 或者 $|a_i-a_j|=k$ ，则可交换 $a_i,a_j$ 的值

假设交换是连续进行的，你可以无限次的执行交换操作，每一次交换操作建立在之前的基础上，给定一个长度为 $N$ 的数组，数组的值互不相同，问是否能在这个限制条件下实现升序排序

第一行输入两个正整数

接下来一行输入个互不相同的正整数

如果可以，请输出"Yes"，否则输出"No"

示例1

复制

6 5
3 2 11 4 5 1

复制

No

无论如何都不可能排序成功

示例2

复制

6 5
3 2 8 4 5 1

复制

Yes

因为，所以先交换和，数组变为
然后由于交换和，数组变为
符合题目要求

示例3

复制

1 1
1

复制

Yes

只有一个数字时不需要交换，默认就是有序的

示例4

复制

3 2
3 1 2

复制

No

如果先和交换，那么交换后永远可不可能和交换到正确的位置
如果先和交换，那么交换后和永远也不可能交换到正确的位置
故无解