#2505. 排列 (traditional) (1s,512M)

排列 (traditional) (1s,512M)

附加题 排列 (traditional) (1s,512M)

不想看看魔怔法老题面的可以直接看最后的形式化题意。(同时,若有歧义,均以形式化题意为准)


法老们利用行星的引力来加速飞船。假设飞船将依次以 p[0],p[1],,p[n1]p[0], p[1],\dots , p[n - 1] 的轨道速度飞掠 nn 颗行星。飞掠每颗行星时,法老科学家可以选择是否利用它来加速飞船。为了节省能量,当飞船以轨道速度 p[i]p[i] 飞掠一颗行星并完成加速后,它将不能再在以轨道速度 p[j]<p[i]p[j] < p[i] 飞掠行星时进行加速。也就是说,选择用来加速的行星构成 p[0],p[1],,p[n1]p[0], p[1], \dots, p[n - 1] 的一个递增子序列。 pp 的子序列是从 pp 中删除零个或多个元素得到的序列。例如, [0][0][][ ][0,2][0, 2][0,1,2][0, 1, 2][0,1,2][0, 1, 2] 的子序列,但 [2,1][2, 1] 不是。

科学家已经确认,总共有 kk 种方案来选择行星对飞船进行加速,但是他们弄丢了轨道速度的记录信息(甚至包括 nn 的大小)。不过他们记得 (p[0],p[1],,p[n1])(p[0], p[1],\dots , p[n - 1])0,1,,n10, 1,\dots , n - 1 的一个排列。这里的排列是包含从 00n1n - 1 每个整数恰好一次的序列。 你的任务是找出一个长度尽量小且符合要求的排列 (p[0],p[1],,p[n1])(p[0], p[1],\dots , p[n - 1])

你要对 qq 艘不同的飞船来解决该问题。对每艘飞船 ii,你会得到一个整数 kik_i,表示选择行星加速飞船的不同方案数。你的任务是找出长度 nn 足够小的轨道速度序列,使得从中恰好可以选出 kik_i 个轨道速度递增的行星子序列。

但很可惜,法老的飞船又受到了宇宙射线的影响,把 “递增子序列” 改为了 “最长递增子序列”。 一个递增子序列被称为最长的,当且仅当在整个排列中不存在一个包含数的个数严格比其更多的递增子序列。

因此,你的任务为找出长度 nn 足够小的轨道速度序列,使得从中恰好可以选出 kik_i 个最长的轨道速度递增的行星子序列。


形式化题意:qq 次询问,每次给定一个 kik_i ,你需要找出一个长度足够小(并不一定是最小)的 0,1,,n10,1,\ldots, n-1 的排列,满足其不同的最长上升子序列的个数共有 kik_i 个。

例如,[1,0,2,4,3,5][1,0,2,4,3,5] 共有 44 个不同的最长上升子序列,分别为 [1,2,4,5],[0,2,4,5],[1,2,3,5],[0,2,3,5][1,2,4,5],[0,2,4,5],[1,2,3,5],[0,2,3,5]


按以下格式读取输入:

第 1 行: qq

2+i2+i 行( 0iq10≤i≤q−1): kik_i

输出 2q2q 行,每两行表示对于一组 kik_i 你构造的答案。

2i+12i+1 行( 0iq10≤i≤q−1):nin_i ,表示你对 kik_i 构造的排列长度。

2i+22i+2 行( 0iq10≤i≤q−1):nin_i 个整数,表示你构造的排列。


约束条件

1q1001\le q\le 1002ki1092\le k_i\le 10^{9}(对所有 0iq10\le i\le q-1)。

共两个测试点

#1:( 1010 分) 2ki902\le k_i\le 90(对所有 0iq10\le i\le q-1)。如果你给出的所有排列长度至多为 9090 且结果正确,你将获得 1010 分,否则获得 00 分。

#2:( 9090 分)没有额外的约束条件。对该子任务,令 mm 为你在所有场景中给出的排列的最大长度,则你的得分按下表来计算:

条件 得分
m90m\le 90 9090
90<m12090 < m\le 120 90m90390-\dfrac{m-90}{3}
120<m2000120 < m\le 2000 80m1202480-\dfrac{m-120}{24}
m>2000m > 2000 00

样例

file