atcoder#ABC123C. [ABC123C] Five Transportations
[ABC123C] Five Transportations
配点: 点
問題文
AtCoder 社は成長し、2028 年になってついに つの都市 (都市 ) からなる AtCoder 帝国を作りました!
AtCoder 帝国には つの交通機関があります。
- 電車:都市 から まで 分で移動する。 つの電車には 人まで乗ることができる。
- バス:都市 から まで 分で移動する。 つのバスには 人まで乗ることができる。
- タクシー:都市 から まで 分で移動する。 つのタクシーには 人まで乗ることができる。
- 飛行機:都市 から まで 分で移動する。 つの飛行機には 人まで乗ることができる。
- 船:都市 から までを 分で移動する。 つの船には 人まで乗ることができる。
それぞれの交通機関は、各整数時刻 () に、都市から出発します。 いま、 人のグループが都市 におり、全員都市 まで移動したいです。全員が都市 に到着するまでに最短で何分かかるでしょうか? なお、乗り継ぎにかかる時間を考える必要はありません。
制約
- 入力中の値はすべて整数である。
入力
入力は以下の形式で標準入力から与えられる。
出力
全員が都市 に移動するのに必要な最小の時間を分単位で出力せよ。
5
3
2
4
3
5
7
例えば、次のような移動方法が考えられます。 はじめ、次の画像のように、 人が都市 にいます。
分後までに、 人が都市 から都市 に電車で移動します。ここで、電車は一度に 人までしか運べないことに注意してください。
分後までに、残り 人が都市 から都市 に電車で移動し、都市 にいた 人のうち 人がバスで都市 に移動します。ここで、バスは一度に 人までしか運べないことに注意してください。
分後までに、 人が都市 から都市 にバスで移動し、 人が都市 から都市 にタクシーで移動します。
それ以降は、まだ都市 に到着していない人が止まらずに移動し続けると、全員が 分で都市 に着くことができます。 また、 分以内で全員が都市 に着く方法はありません。
10
123
123
123
123
123
5
どの交通機関も 人を 回で運ぶことができます。 したがって、全員が止まらずに移動し続ければ 分で都市 に着くことができます。
10000000007
2
3
5
7
11
5000000008
入力・出力が ビット整数型に収まらない可能性があることに注意してください。