#P15794. [2026作业]冷门配对计划

[2026作业]冷门配对计划

题目描述

研究员 Nika 手里有两个关于 nn 个位置的排列:

p1,p2,,pnp_1,p_2,\ldots,p_n

q1,q2,,qn.q_1,q_2,\ldots,q_n.

她想构造两个整数数组

a1,a2,,ana_1,a_2,\ldots,a_n

b1,b2,,bn,b_1,b_2,\ldots,b_n,

使它们满足一些单调性约束,同时恰好产生 kk 个“冷门配对”。

数组元素必须满足:

nai,bin.-n\le a_i,b_i\le n.

排列 ppqq 分别给出了两个数组的非降顺序要求:

ap1ap2apn,a_{p_1}\le a_{p_2}\le \cdots\le a_{p_n}, bq1bq2bqn.b_{q_1}\le b_{q_2}\le \cdots\le b_{q_n}.

对于一对下标 (i,j)(i,j),若满足

i<ji<j

ai+bj<0,a_i+b_j<0,

则称 (i,j)(i,j) 是一个冷门配对。

请你判断是否能构造出数组 a,ba,b,使冷门配对数量恰好为 kk。如果可以,请输出任意一种构造。

输入格式

第一行包含两个整数 n,kn,k,分别表示元素个数和需要的冷门配对数量。

第二行包含 nn 个整数 p1,p2,,pnp_1,p_2,\ldots,p_n,表示一个排列。

第三行包含 nn 个整数 q1,q2,,qnq_1,q_2,\ldots,q_n,表示一个排列。

输出格式

如果不存在满足条件的数组,输出一行:

No

否则,第一行输出:

Yes

第二行输出 nn 个整数 a1,a2,,ana_1,a_2,\ldots,a_n

第三行输出 nn 个整数 b1,b2,,bnb_1,b_2,\ldots,b_n

数组元素需要满足题目中的范围和单调性要求,并且冷门配对数量必须恰好为 kk

数据范围

  • 1n3000001\le n\le 300000
  • 0kn(n1)20\le k\le \dfrac{n(n-1)}2
  • ppqq 均为 11nn 的排列。

样例

输入

5 3
3 5 1 2 4
1 2 3 4 5

输出

Yes
2 3 -1 5 1
-5 -3 -2 -2 0