atcoder#ABC240E. [ABC240E] Ranges on Tree
[ABC240E] Ranges on Tree
题目描述
頂点の根付き木が与えられます。頂点 が根です。
について、 番目の辺は頂点 と頂点 を結んでいます。
について、頂点 を根とする部分木に含まれる頂点全体からなる集合を で表します。(各頂点は自身を根とする部分木に含まれます。すなわち、 です。)
また、整数 について、 以上 以下の整数全体からなる集合を で表します。 すなわち、$ [l,\ r]\ =\ \lbrace\ l,\ l+1,\ l+2,\ \ldots,\ r\ \rbrace $ です。
整数の つ組を 個並べた列 $ \big((L_1,\ R_1),\ (L_2,\ R_2),\ \ldots,\ (L_N,\ R_N)\big) $ であって以下の条件を満たすものを考えます。
- を満たすすべての整数 について、
- を満たすすべての整数の組 について次が成り立つ
- ならば、
- ならば、
そのような $ \big((L_1,\ R_1),\ (L_2,\ R_2),\ \ldots,\ (L_N,\ R_N)\big) $ が少なくとも つ存在することが示せます。 それらのうち、登場する整数の最大値 $ \max\ \lbrace\ L_1,\ L_2,\ \ldots,\ L_N,\ R_1,\ R_2,\ \ldots,\ R_N\ \rbrace $ が最小のものを つ出力してください。(複数ある場合はどれを出力しても正解となります。)
输入格式
入力は以下の形式で標準入力から与えられる。
输出格式
下記の形式で 行出力せよ。すなわち、 について、 行目に と を空白区切りで出力せよ。
3
2 1
3 1
1 2
2 2
1 1
5
3 4
5 4
1 2
1 4
1 3
3 3
2 2
1 2
1 1
5
4 5
3 2
5 2
3 1
1 1
1 1
1 1
1 1
1 1
提示
制約
- 入力はすべて整数
- 与えられるグラフは木である
Sample Explanation 1
$ (L_1,\ R_1)\ =\ (1,\ 2),\ (L_2,\ R_2)\ =\ (2,\ 2),\ (L_3,\ R_3)\ =\ (1,\ 1) $ が問題文中の条件を満たします。 実際、$ [L_2,\ R_2]\ \subseteq\ [L_1,\ R_1],\ [L_3,\ R_3]\ \subseteq\ [L_1,\ R_1],\ [L_2,\ R_2]\ \cap\ [L_3,\ R_3]\ =\ \emptyset $ が成り立ちます。 また、$ \max\ \lbrace\ L_1,\ L_2,\ L_3,\ R_1,\ R_2,\ R_3\ \rbrace\ =\ 2 $ であり、これが最小です。