Codeforces Round 819 (Div. 1 + Div. 2) and Grimoire of Code Annual Contest 2022
B
Mainak and Interesting Sequence
Codeforces
1100
原题
← AC →
翻译中…

Mainak has two positive integers $n$ and $m$.

翻译中…

Mainak finds a sequence $a_1, a_2, \ldots, a_n$ of $n$ positive integers interesting, if for all integers $i$ ($1 \le i \le n$), the bitwise XOR of all elements in $a$ which are strictly less than $a_i$ is $0$. Formally if $p_i$ is the bitwise XOR of all elements in $a$ which are strictly less than $a_i$, then $a$ is an interesting sequence if $p_1 = p_2 = \ldots = p_n = 0$.

翻译中…

For example, sequences $[1,3,2,3,1,2,3]$, $[4,4,4,4]$, $[25]$ are interesting, whereas $[1,2,3,4]$ ($p_2 = 1 \ne 0$), $[4,1,1,2,4]$ ($p_1 = 1 \oplus 1 \oplus 2 = 2 \ne 0$), $[29,30,30]$ ($p_2 = 29 \ne 0$) aren't interesting.

翻译中…

Here $a \oplus b$ denotes bitwise XOR of integers $a$ and $b$.

翻译中…

Find any interesting sequence $a_1, a_2, \ldots, a_n$ (or report that there exists no such sequence) such that the sum of the elements in the sequence $a$ is equal to $m$, i.e. $a_1 + a_2 \ldots + a_n = m$.

翻译中…

As a reminder, the bitwise XOR of an empty sequence is considered to be $0$.

翻译中…

Input

翻译中…

Each test contains multiple test cases. The first line contains a single integer $t$ ($1 \le t \le 10^5$) — the number of test cases. Description of the test cases follows.

翻译中…

The first line and the only line of each test case contains two integers $n$ and $m$ ($1 \le n \le 10^5$, $1 \le m \le 10^9$) — the length of the sequence and the sum of the elements.

翻译中…

It is guaranteed that the sum of $n$ over all test cases does not exceed $10^5$.

翻译中…

Output

翻译中…

For each test case, if there exists some interesting sequence, output "Yes" on the first line, otherwise output "No". You may print each letter in any case (for example, "YES", "Yes", "yes", "yEs" will all be recognized as positive answer).

翻译中…

If the answer is "Yes", output $n$ positive integers $a_1, a_2, \ldots, a_n$ ($a_i \ge 1$), forming an interesting sequence such that $a_1 + a_2 \ldots + a_n = m$. If there are multiple solutions, output any.

翻译中…

Note

翻译中…
  • In the first test case, $[3]$ is the only interesting sequence of length $1$ having sum $3$.
  • In the third test case, there is no sequence of length $2$ having sum of elements equal to $1$, so there is no such interesting sequence.
  • In the fourth test case, $p_1 = p_2 = p_3 = 0$, because bitwise XOR of an empty sequence is $0$.
翻译中…

样例

Input #1
4
1 3
6 12
2 1
3 6
Output #1
Yes
3
Yes
1 3 2 2 3 1
No
Yes
2 2 2
InputCopy OutputCopy
题目信息
题号
1726B
时间限制
1 s
内存限制
256 MB
标签
位运算
构造
数学

题面与样例版权归 Codeforces 及出题人所有;中文翻译由 AI 生成(CI 管线),如有出入请以原文为准。