atcoder#ARC161D. [ARC161D] Everywhere is Sparser than Whole (Construction)
[ARC161D] Everywhere is Sparser than Whole (Construction)
题目描述
頂点集合が空でない単純無向グラフの密度を と定義します.
正整数 が与えられます. 頂点 辺の単純無向グラフ であって,以下の条件を満たすものが存在するかどうかを判定し,存在するならそのようなグラフを つ求めてください.
条件: の頂点集合を とする. の任意の空でない真部分集合 に対して, による の誘導部分グラフの密度は 未満である.
誘導部分グラフとは
グラフ の頂点部分集合 に対して, による の誘導部分グラフとは,「頂点集合が であり,辺集合が『 の辺であって 内の 頂点を結ぶもの全体』であるグラフ」を指します. 上記の条件では,頂点部分集合として空集合でも全体でもないもののみを考えていることに注意してください.
输入格式
入力は以下の形式で標準入力から与えられる.
输出格式
条件を満たす単純無向グラフが存在するなら Yes
を,存在しないなら No
を出力せよ. さらに,Yes
の場合には,続く 行に条件を満たすグラフを以下の形式で出力せよ. 条件を満たすグラフが複数存在する場合,そのようなグラフのうちどれを出力しても正答と見なされる.
- $ 1\ \leq\ A_i,\ B_i\ \leq\ N\ (1\ \leq\ i\ \leq\ DN) $
- $ \{A_i,\ B_i\}\ \neq\ \{A_j,\ B_j\}\ (1\ \leq\ i\ <\ j\ \leq\ DN) $
- グラフの頂点には から までの番号が付いているものとする.
- 行目の出力は, 番目の辺が頂点 と頂点 を結んでいることを表す.
- 辺の順番(どの辺を何番目に出力するか)や頂点の順番(各辺についてどちらの端点を先に出力するか)は自由である.
题目大意
题目描述:
给出 和 ,表示有一个 个点 条边的图,我们设 为构造图的点非空真集,加入点权之间相连的边,我们设 为这个子图的 。
点的个数边的个数,若存在一个图满足所有的 都小于 ,就输出 Yes,并输出图,否则输出 No。
3 1
Yes
1 2
1 3
2 3
4 2
No
提示
制約
Sample Explanation 1
出力されたグラフの頂点集合は ,辺集合は であり,単純です. 頂点集合の空でない真部分集合 としては $ \{1\},\ \{2\},\ \{3\},\ \{1,\ 2\},\ \{1,\ 3\},\ \{2,\ 3\} $ の 通りが考えられ, - のとき, による誘導部分グラフの辺集合は空集合であり,その密度は , - のとき, による誘導部分グラフの辺集合はそれぞれ であり,いずれも密度は です. 全ての場合に対して誘導部分グラフの密度は 未満であり,このグラフは条件を満たします.
Sample Explanation 2
頂点 辺の単純無向グラフは存在しません.