#discovery2016finale. [discovery_2016_final_e]アメージングな二分探索木は、きみが作る!
[discovery_2016_final_e]アメージングな二分探索木は、きみが作る!
問題文
あなたはDISCO社の面接を受けています。面接前に 個のノードからなる二分探索木 をあなたは与えられました。
あなたは面接官から以下の 個のクエリを与えられた順序で処理しなさいというお題を与えられました。あなたは、 個のクエリを高速に処理して面接官を驚かせることにしました。
クエリの種類を以下に示します。
1 v
: に値が であるようなノードを適切な位置に挿入せよ。2 v
: に含まれる値が であるようなノード の左部分木 と右部分木 について、高さの差 を出力せよ。3 v
: に含まれる値が であるようなノード に左の子ノードが存在したならば、 を右回転せよ。左の子ノードが存在しなかったならば-1
を出力せよ。4 v
: に含まれる値が であるようなノード に右の子ノードが存在したならば、 を左回転せよ。右の子ノードが存在しなかったならば-1
を出力せよ。
上記の種類 のクエリにおいて、値が であるようなノードが に存在しないことが保証されます。 上記の種類 のクエリにおいて、値が であるようなノードが に存在することが保証されます。
-
ここで、二分探索木 の高さは以下のように定義される。
- あるノード を根とする二分探索木の高さ は の左部分木 と の右部分木 としたとき、 で表される。
- ここで、 に左部分木 が存在しないときは として扱う。
- 同様に、 に右部分木 が存在しないときは として扱う。
-
二分探索木 へノード を挿入する操作は以下のようにして行われる。なお、この操作の結果は と が与えられたとき一意に定まることが保証されている。
-
が 個のノードからなるとき、 を を根とする二分探索木にし処理を終了する。
-
が 個以上のノードからなるとき、以下の条件を満たすように をあるノードの子にし、処理を終了する。
- あるノード が持つ直接の子の数は最大でもたかだか つである(これはそれぞれ左の子、右の子と呼ばれる)。
- あるノード の左の子孫であるようなノードが持つ値はどれも の値未満である。
- あるノード の右の子孫であるようなノードが持つ値はどれも の値以上である。
-
-
二分探索木 に含まれるノード の右回転は以下のようにして行われる。この操作は に左の子が存在しないとき行うことはできない。
- の左の子を とする。
- と をつなぐ辺を削除する。また、 に親 が存在するとき、 と をつなぐ辺を削除し、 を の親となるように接続する。
- に右の子 が存在するならば、 と をつなぐ辺を削除し、 を の左の子となるように接続する。
- を の右の子となるように接続する。
-
二分探索木 に含まれるノード の左回転は以下のようにして行われる。この操作は に右の子が存在しないとき行うことはできない。
- の右の子を とする。
- と をつなぐ辺を削除する。また、 に親 が存在するとき、 と をつなぐ辺を削除し、 を の親となるように接続する。
- に左の子 が存在するならば、 と をつなぐ辺を削除し、 を の右の子となるように接続する。
- を の左の子となるように接続する。
入力
入力は以下の形式で標準入力から与えられる。
- 行目に 行にクエリの数を表す整数 が与えられる。
- 続く 行のち 行目では 番目のクエリの種類と、ノードの値を表す整数 が空白区切りで与えられる。
- 種類 のクエリにおいて、値が であるようなノードが 中に存在しないことが保証される。
- 種類 のクエリにおいて、値が であるようなノードが 中に存在することが保証される。
出力
各クエリの結果を与えられた順に 行ごとに出力せよ。出力する場合は以下の 種類であることに注意せよ。
- 種類 のクエリ
- 種類 のクエリにおいて、値が であるようなノード に左の子が存在しなかった場合
- 種類 のクエリにおいて、値が であるようなノード に右の子が存在しなかった場合
部分点
この問題には部分点が設定されている。
- を満たすようなデータセットに正解した場合 点が与えられる。
- を満たすようなデータセットに正解した場合上記の部分点とは別に 点が与えられる。
- 追加制約のないデータセットに正解した場合さらに 点が得られ合計 点が得られる。
入力例 1
13
1 4
1 2
1 1
1 3
1 6
1 5
1 7
1 8
2 1
2 2
2 4
2 6
2 7
出力例 1
0
0
-1
-1
-1
- 番目から 番目までのクエリにおいて にノードをクエリで与えられた順序に従って挿入します。挿入の際、回転操作は行われないことに注意してください。
- 以下の図に 番目のクエリが行われた後の を示します。
- ノード内に書かれた値は、ノードが持つ値を、ノードの横に書かれた値はそのノードを根とする部分木の高さを示します。
- 与えられたクエリによって の形状は一意に定まることが保証されます。
- 番目のクエリにおいて、値が であるようなノードの左部分木の高さ と右部分木の高さ はともに なので は です。
- 番目のクエリにおいて、 と はともに なので は です。
- 番目のクエリにおいて、 は 、 は なので は です。
- 番目のクエリにおいて、 は 、 は なので は です。
- 番目のクエリにおいて、 は 、 は なので は です。
- 子が存在しないような部分木の高さは となることに注意してください。
- このケースは つの部分点制約の両方の部分点制約を満たします。
図 : 番目のクエリ終了時点での の様子
入力例 2
14
1 4
1 2
1 1
1 3
1 6
1 5
1 7
1 8
3 4
2 2
2 4
2 6
2 7
3 7
出力例 2
-3
-2
-1
-1
-1
- 以下の図に 番目のクエリにより右回転が行われる前の を左に、回転後の を右に示します。
- ノード同士の位置関係の変化に注意してください。
- 番目のクエリにおいて、 値が であるようなノードに左の子は存在しないため、
-1
を出力してください。 - 与えられたクエリによって の形状は一意に定まることが保証されます。
- このケースは つ目の部分点制約を満たします。
図 : 番目のクエリによる の変形の様子
入力例 3
14
1 4
1 2
1 1
1 3
1 6
1 5
1 7
1 8
4 6
2 2
2 4
2 6
2 7
4 6
出力例 3
0
-1
1
1
-1
- 以下の図に 番目のクエリにより左回転が行われる前の を左に、回転後の を右に示します。
- ノード同士の位置関係の変化に注意してください。
- 番目のクエリにおいて、 値が であるようなノードに右の子は存在しないため、
-1
を出力してください。 - 与えられたクエリによって の形状は一意に定まることが保証されます。
- このケースは つ目の部分点制約を満たします。
図 : 番目のクエリによる の変形の様子