#CF2040C. 有序排列

    ID: 6997 传统题 1000ms 256MiB 尝试: 2 已通过: 1 难度: 5 上传者: 标签>贪心组合数学其他构造位运算线性代数组合数学*1600

有序排列

C. 有序排列
每个测试的时间限制:2 秒
内存限制:256 兆字节

考虑一个由 11nn 的整数构成的排列 * p1,p2,,pnp_1, p_2, \dots, p_n。我们可以为它定义如下和 †:

[ S(p) = \sum_{1 \le l \le r \le n} \min(p_l, p_{l+1}, \dots, p_r) ]

现在考虑所有长度为 nnS(p)S(p) 达到最大可能值的排列。输出其中字典序 ‡ 第 kk 小的排列,或者若不足 kk 个则报告。


注释

  • 一个长度为 nn 的排列是由 nn 个从 11nn 的互异整数按任意顺序组成的数组。例如,[2,3,1,5,4][2,3,1,5,4] 是一个排列,但 [1,2,2][1,2,2] 不是(22 出现两次),[1,3,4][1,3,4] 也不是(n=3n=3 但数组中有 44)。

† 例如:

  • 排列 [1,2,3][1,2,3]S(p)S(p) 值等于:
    $\min(1) + \min(1,2) + \min(1,2,3) + \min(2) + \min(2,3) + \min(3) = 1+1+1+2+2+3 = 10$
  • 排列 [2,4,1,3][2,4,1,3]S(p)S(p) 值等于:
    $\min(2) + \min(2,4) + \min(2,4,1) + \min(2,4,1,3) +$
    min(4)+min(4,1)+min(4,1,3)+\min(4) + \min(4,1) + \min(4,1,3) +
    min(1)+min(1,3)+\min(1) + \min(1,3) +
    min(3)=2+2+1+1+4+1+1+1+1+3=17\min(3) = 2+2+1+1+4+1+1+1+1+3 = 17

‡ 数组 aa 字典序小于数组 bb 当且仅当以下之一成立:

  • aabb 的前缀,但 aba \neq b
  • aabb 第一个不同的位置上,aa 的元素小于 bb 的对应元素。

输入

每个测试包含多个测试用例。第一行包含测试用例数 tt1t1041 \le t \le 10^4)。
每个测试用例一行包含两个整数 nnkk1n21051 \le n \le 2 \cdot 10^51k10121 \le k \le 10^{12})—— 排列的长度和所需排列的序号。
保证所有测试用例的 nn 之和不超过 21052 \cdot 10^5


输出

对于每个测试用例,如果符合条件的排列不足 kk 个,输出 1-1
否则,输出第 kk 个符合条件的排列。


示例

输入:

6
3 2
3 3
4 11
4 6
6 39
7 34

输出:

1 3 2 
2 3 1 
-1
2 4 3 1 
-1
2 3 4 5 7 6 1 

注释

我们计算长度为 33 的所有排列的所需和(按字典序排列):

排列 S(p)S(p)
[1,2,3][1,2,3] 10
[1,3,2][1,3,2]
[2,1,3][2,1,3] 9
[2,3,1][2,3,1] 10
[3,1,2][3,1,2] 9
[3,2,1][3,2,1] 10

在第一个测试用例中,需要输出长度为 33 的第二个符合条件的排列。从上表可知是 [1,3,2][1,3,2]
在第二个测试用例中,需要输出第三个符合条件的排列,即 [2,3,1][2,3,1]