AT_arc144_c [ARC144C] K Derangement

给定正整数 $N,\ K$。请你从 $1$ 到 $N$ 的整数中构造一个排列 $A = (A_1, A_2, \ldots, A_N)$，使其满足以下条件，并输出字典序最小的一个。 - 对于任意 $i$（$1 \leq i \leq N$），都有 $|A_i - i| \geq K$。 如果不存在满足条件的排列，请输出 `-1`。 **什么是数列的字典序？** 判断两个不同数列 $S$ 和 $T$ 的大小的方法如下： 记 $S$ 的第 $i$ 个元素为 $S_i$。若 $S$ 字典序小于 $T$，记作 $S < T$，大于则记作 $S > T$。 1. 取 $S$ 和 $T$ 中较短的那个数列的长度为 $L$，依次比较 $i=1,2,\dots,L$ 时 $S_i$ 和 $T_i$ 是否相等。 2. 如果存在 $S_i \neq T_i$ 的 $i$，取最小的这样的 $i$ 为 $j$，比较 $S_j$ 和 $T_j$，若 $S_j < T_j$，则 $S < T$，否则 $S > T$，算法结束。 3. 如果所有 $i$ 都有 $S_i = T_i$，则比较 $S$ 和 $T$ 的长度，若 $S$ 更短，则 $S < T$，否则 $S > T$，算法结束。

输入为一行，包含两个整数： > $N$ $K$

输出满足条件的排列 $A$ 中字典序最小的一个，格式如下： > $A_1$ $A_2$ $\ldots$ $A_N$ 如果不存在这样的排列，输出 `-1`。

### 数据范围 - $2 \leq N \leq 3 \times 10^5$ - $1 \leq K \leq N - 1$ ### 样例解释 1 满足条件的排列有 $(2, 3, 1)$ 和 $(3, 1, 2)$ 两个。例如 $(2, 3, 1)$ 满足： - $|A_1 - 1| = 1 \geq K$ - $|A_2 - 2| = 1 \geq K$ - $|A_3 - 3| = 2 \geq K$ 因此满足条件。 由 ChatGPT 4.1 翻译