Codeforces Round 917 (Div. 2)
F
Construct Tree
Codeforces
2500
原题
← E→
翻译中…

You are given an array of integers $l_1, l_2, \dots, l_n$ and an integer $d$. Is it possible to construct a tree satisfying the following three conditions?

翻译中…
  • The tree contains $n + 1$ nodes.
  • The length of the $i$-th edge is equal to $l_i$.
  • The (weighted) diameter of the tree is equal to $d$.
翻译中…

Input

翻译中…

Each test consists of multiple test cases. The first line contains a single integer $t$ ($1 \leq t \leq 250$) — the number of test cases. The description of the test cases follows.

翻译中…

The first line of each test case contains two integers $n$, $d$ ($2 \leq n \leq 2000, 1 \leq d \leq 2000$).

翻译中…

The second line of each test case contains $n$ integers $l_1, l_2, \dots, l_n$ ($1 \leq l_i \leq d$).

翻译中…

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

翻译中…

Output

翻译中…

For each test case, output $\texttt{Yes}$ if it is possible to construct a tree that satisfies all the conditions, and $\texttt{No}$ otherwise.

翻译中…

You can print the letters in any case (upper or lower).

翻译中…

Note

翻译中…

Below, you are given the illustrations of trees for the first and third test cases. One of the diameters is highlighted by coloring its edges in red.

翻译中…

image

翻译中…

样例

Input #1
3
4 10
1 2 3 4
4 7
1 4 3 4
6 18
2 4 3 7 6 7
Output #1
Yes
No
Yes
InputCopy OutputCopy
题目信息
题号
1917F
时间限制
2 s
内存限制
256 MB
标签
位运算
构造
动态规划
树

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