atcoder#ABC251F. [ABC251F] Two Spanning Trees
[ABC251F] Two Spanning Trees
配点 : 点
問題文
頂点 辺の無向グラフ が与えられます。 は単純(自己ループおよび多重辺を持たない)かつ連結です。
について、 番目の辺は頂点 と頂点 を結ぶ無向辺 です。
下記の つの条件をともに満たすような の つの全域木 を 組構成してください。( と は異なる全域木である必要はありません。)
-
は下記を満たす。
を頂点 を根とする根付き木とみなしたとき、 の辺のうち に含まれないすべての辺 について、 と は において祖先と子孫の関係にある。
を頂点 を根とする根付き木とみなしたとき、 の辺のうち に含まれないすべての辺 について、 と は において祖先と子孫の関係にある。
-
は下記を満たす。
を頂点 を根とする根付き木とみなしたとき、 の辺のうち に含まれない辺 であって、 と が において祖先と子孫の関係にあるようなものは存在しない。
を頂点 を根とする根付き木とみなしたとき、 の辺のうち に含まれない辺 であって、 と が において祖先と子孫の関係にあるようなものは存在しない。
ここで、「根付き木 において頂点 と頂点 が祖先と子孫の関係にある」とは、「 において が の祖先である」と「 において が の祖先である」のうちどちらかが成り立つことをいいます。
本問題の制約下において上記の条件を満たす と は必ず存在することが示せます。
制約
- $N-1 \leq M \leq \min\lbrace 2 \times 10^5, N(N-1)/2 \rbrace$
- 入力はすべて整数
- 与えられるグラフは単純かつ連結
入力
入力は以下の形式で標準入力から与えられます。
出力
と を下記の形式にしたがって、 行にわたって出力してください。すなわち、
- 行目から 行目には、 に含まれる 本の無向辺 $\lbrace x_1, y_1\rbrace, \lbrace x_2, y_2\rbrace, \ldots, \lbrace x_{N-1}, y_{N-1}\rbrace$ を、各行に 本ずつ出力してください。
- 行目から 行目には、 に含まれる 本の無向辺 $\lbrace z_1, w_1\rbrace, \lbrace z_2, w_2\rbrace, \ldots, \lbrace z_{N-1}, w_{N-1}\rbrace$ を、各行に 本ずつ出力してください。
各全域木を構成する辺をどのような順番で出力するかや、各辺の出力においてどちらの端点を先に出力するかは任意です。
6 8
5 1
4 3
1 4
3 5
1 2
2 6
1 6
4 2
1 4
4 3
5 3
4 2
6 2
1 5
5 3
1 4
2 1
1 6
上記の出力例において、 は 本の辺 $\lbrace 1, 4 \rbrace, \lbrace 4, 3 \rbrace, \lbrace 5, 3 \rbrace, \lbrace 4, 2 \rbrace, \lbrace 6, 2 \rbrace$ を持つ の全域木です。この は問題文中の条件を満たします。実際、 の辺のうち に含まれない各辺に関して、
- 辺 について、頂点 は頂点 の祖先であり、
- 辺 について、頂点 は頂点 の祖先であり、
- 辺 について、頂点 は頂点 の祖先です。
また、 は 本の辺 $\lbrace 1, 5 \rbrace, \lbrace 5, 3 \rbrace, \lbrace 1, 4 \rbrace, \lbrace 2, 1 \rbrace, \lbrace 1, 6 \rbrace$ を持つ の全域木です。この は問題文中の条件を満たします。実際、 の辺のうち に含まれない各辺に関して、
- 辺 について、頂点 と頂点 は祖先と子孫の関係になく、
- 辺 について、頂点 と頂点 は祖先と子孫の関係になく、
- 辺 について、頂点 と頂点 は祖先と子孫の関係にありません。
4 3
3 1
1 2
1 4
1 2
1 3
1 4
1 4
1 3
1 2
本の辺 $\lbrace 1, 2\rbrace, \lbrace 1, 3 \rbrace, \lbrace 1, 4 \rbrace$ を持つ木 が の唯一の全域木です。 の辺のうちこの木 に含まれない辺は存在しないので、明らかに、 は の条件と の条件をともに満たします。