#P13191. [ARC161F] Everywhere is Sparser than Whole (Judge)

    ID: 12374 传统题 8000ms 1024MiB 尝试: 4 已通过: 1 难度: 9 上传者: 标签>CF2800图论二分图网络流DFS强连通分量构造

[ARC161F] Everywhere is Sparser than Whole (Judge)

题目描述

我们将非空顶点集合的简单无向图的密度定义为 (边数)(顶点数) \displaystyle\frac{(\text{边数})}{(\text{顶点数})}

给定正整数 N, D N,\ D ,以及一个有 N N 个顶点、DN DN 条边的简单无向图 G G G G 的顶点编号为 1 1 N N ,第 i i 条边连接顶点 Ai A_i 和顶点 Bi B_i 。请判断 G G 是否满足以下条件。

条件:G G 的顶点集合为 V V 。对于 V V 的任意非空子集 X X ,由 X X 所诱导的 G G 的子图的密度严格小于 D D

诱导子图的定义如下:

对于图 G G 的顶点子集 X X ,由 X X 所诱导的 G G 子图,是指“顶点集合为 X X ,边集合为『G G 中连接 X X 内任意两点的所有边』的图”。注意,上述条件只考虑既不是空集也不是全集的顶点子集。

输入格式

输入按以下格式从标准输入读入。

T T
case1 \mathrm{case}_1
case2 \mathrm{case}_2
\vdots
caseT \mathrm{case}_T

每个测试用例 casei (1iT) \mathrm{case}_i\ (1\leq i\leq T) 的格式如下:

N D N\ D
A1 B1 A_1\ B_1
A2 B2 A_2\ B_2
\vdots
ADN BDN A_{DN}\ B_{DN}

输出格式

输出 T T 行。对于第 i i 个测试用例,如果给定的图 G G 满足条件,则输出 Yes,否则输出 No

输入输出样例 #1

输入 #1

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

输出 #1

Yes
No

说明/提示

限制条件

  • T1 T\geq 1
  • N1 N\geq 1
  • D1 D\geq 1
  • 所有测试用例中 DN DN 的总和不超过 5×104 5\times 10^4
  • 1Ai<BiN (1iDN) 1\leq A_i < B_i \leq N\ (1\leq i\leq DN)
  • (Ai,Bi)(Aj,Bj) (1i<jDN) (A_i, B_i) \neq (A_j, B_j)\ (1\leq i < j\leq DN)

样例解释 1

  • 第 1 个测试用例与问题 D的输出样例 1 相同,满足条件。
  • 对于第 2 个测试用例,顶点集合 {1,2,3,4} \{1, 2, 3, 4\} 的非空真子集 {1,2,3} \{1, 2, 3\} 所诱导的子图的边集合为 {(1,2),(1,3),(2,3)} \{(1, 2), (1, 3), (2, 3)\} ,其密度为 33=1=D \displaystyle\frac{3}{3}=1=D 。因此,该图不满足条件。