AT_arc161_f [ARC161F] Everywhere is Sparser than Whole (Judge)

[problemUrl]: https://atcoder.jp/contests/arc161/tasks/arc161_f 頂点集合が空でない単純無向グラフの**密度**を $ \displaystyle\frac{(辺数)}{(頂点数)} $ と定義します． 正整数 $ N,\ D $ と，$ N $ 頂点 $ DN $ 辺の単純無向グラフ $ G $ が与えられます． $ G $ の頂点には $ 1 $ から $ N $ までの番号が付いており，$ i $ 番目の辺は頂点 $ A_i $ と頂点 $ B_i $ を結んでいます． $ G $ が以下の条件を満たしているかどうかを判定してください． **条件:** $ G $ の頂点集合を $ V $ とする． $ V $ の任意の空でない**真**部分集合 $ X $ に対して，$ X $ による $ G $ の誘導部分グラフの密度は $ D $ **未満**である． $ T $ 個のテストケースが与えられるので，それぞれについて答えてください． 誘導部分グラフとは グラフ $ G $ の頂点部分集合 $ X $ に対して，$ X $ による $ G $ の**誘導部分グラフ**とは，「頂点集合が $ X $ であり，辺集合が『 $ G $ の辺であって $ X $ 内の $ 2 $ 頂点を結ぶもの全体』であるグラフ」を指します． 上記の条件では，頂点部分集合として空集合でも全体でもないもののみを考えていることに注意してください．

入力は以下の形式で標準入力から与えられる． > $ T $ $ \mathrm{case}_1 $ $ \mathrm{case}_2 $ $ \vdots $ $ \mathrm{case}_T $ 各テストケース $ \mathrm{case}_i\ (1\ \leq\ i\ \leq\ T) $ は以下の形式である． > $ N $ $ D $ $ A_1 $ $ B_1 $ $ A_2 $ $ B_2 $ $ \vdots $ $ A_{DN} $ $ B_{DN} $

$ T $ 行出力せよ． $ i $ 行目には，$ i $ 番目のテストケースについて，与えられたグラフ $ G $ が条件を満たすなら `Yes` を，満たさないなら `No` を出力せよ．

### 制約 - $ T\ \geq\ 1 $ - $ N\ \geq\ 1 $ - $ D\ \geq\ 1 $ - $ 1 $ つの入力に含まれるテストケースについて，$ DN $ の総和は $ 5\ \times\ 10^4 $ 以下である． - $ 1\ \leq\ A_i\