問題
個の町が数直線上に並んでおり、 番目の町は座標 に位置している。 個の町は数直線上に昇順に並んでいるため、 である。
このとき、2つの町 の距離は である。 町 に対して、最も近い町を とするとき、 である に対して が成立する。
ここで、あなたは町 から町 に移動しようとしている。 このとき移動に際して、以下の行動を行うことができる。
- 他の町 に対して、 枚のコインを支払って移動する。
- 町 に最も近い町に、 枚のコインを支払って移動する。
この状況下で、 個のクエリが与えられる。 各クエリに対して2つの町 が与えられるので、町 から町 に移動するのに必要な最小のコインの枚数を求めよ。
入力
まず最初の1行目に、テストケースの個数を表す整数 が与えられる。
その後、 個のテストケースのそれぞれに対して、以下のように入力が与えられる。
- 最初の1行目には整数 が与えられる。
- 次の1行には 個の整数 が順に与えられる。
- 次の1行には整数 が与えられる。
- 次の 行のうち 行目には、 個目のクエリを表す整数 が与えられる。
条件
- 実行時間制限: 2s
- メモリ制限: 256MB
-
- すべてのテストケースにおける の値の合計は を超えない。
-
- すべてのテストケースにおける の値の合計は を超えない。
-
- ただし、 である。
出力
各テストケースに対して、 行に渡り、 行には 番目のクエリでの払うコインの最小枚数を出力すること。
解法
まず、町 から町 へと進む際に、 であれば「町 → 町 → … → 町 」と進むことが最小コストとなりますし、 であれば「町 → 町 → … → 町 」と進むことが最小コストとなります。
これは例えば の場合、仮に町 を経由した場合では、「町 → 町 → 町 → 町 → … → 町 」というルートになり、最初の「町 → 町 → 町 」の部分が余分なものとなってしまうからです。 ( の場合についても同様です。)
ここで、 を町 から町 まで進むときの最小コスト、 を町 から町 まで進むときの最小コストとして定めます。 ただし、 とします。
まず、 の値について考えます。
町 は必ず町 が最も近い町となることから、 が成立します。
その上で、 とするとき、 の値は、町 の最も近い町が町 になる場合には となり、そうでない場合は となります。 すなわち、 \begin{align} \mathrm{cost 0}_{i} = \left\{ \begin{aligned} & 1 & & (|{a}_{i + 1} - {a}_{i}| \leq |{a}_{i + 1} - {a}_{i + 2}| \, \text{のとき}) \\ & | {a}_{i} - {a}_{i + 1} | & & (\text{otherwise}) \end{aligned} \right. \end{align} が成立します。
以上から、 の値が に対して導けます。
次に、 の値について考えます。
町 は必ず町 が最も近い町となることから、 が成立します。
その上で、 とするとき、 の値は、町 の最も近い町が町 になる場合には となり、そうでない場合は となります。 すなわち、 \begin{align} \mathrm{cost 1}_{i} = \left\{ \begin{aligned} & 1 & & (|{a}_{i - 1} - {a}_{i}| \leq |{a}_{i - 1} - {a}_{i - 2}| \, \text{のとき}) \\ & | {a}_{i} - {a}_{i - 1} | & & (\text{otherwise}) \end{aligned} \right. \end{align} が成立します。
以上から、 の値が に対して導けます。
このようにして求まった を用いて、町 から町 までの最小コストを求めます。
の場合は、町 から町 への移動を繰り返し行うことから、 \begin{align} \mathrm{cost 0}_{x - 1} + \mathrm{cost 0}_{x - 2} + \cdots + \mathrm{cost 0}_{y} \end{align} によって最小コストが求まります。
また、 の場合は、町 から町 への移動を繰り返し行うことから、 \begin{align} \mathrm{cost 1}_{x + 1} + \mathrm{cost 1}_{x + 2} + \cdots + \mathrm{cost 1}_{y} \end{align} によって最小コストが求まります。
これらを毎回足していくことで導出すると、 程度の計算量が1回につき必要になり、全体で [O(nm)] の計算量が必要になるため、これでは実行時間制限に間に合いません。
従って、値 を、 \begin{align} \mathrm{sum 0}_{i} & = \mathrm{cost 0}_{n} + \mathrm{cost 0}_{n - 1} + \cdots + \mathrm{cost 0}_{i} \\ \mathrm{sum 1}_{i} & = \mathrm{cost 1}_{1} + \mathrm{cost 1}_{2} + \cdots + \mathrm{cost 1}_{i} \end{align} としてそれぞれ定めます。
この値を用いることによって、 の場合の最小コストは、 \begin{align} \mathrm{cost 0}_{x - 1} + \cdots + \mathrm{cost 0}_{y} = \mathrm{sum 0}_{y} - \mathrm{sum 0}_{x} \end{align} で導出することができ、 の場合の最小コストは、 \begin{align} \mathrm{cost 1}_{x + 1} + \cdots + \mathrm{cost 1}_{y} = \mathrm{sum 1}_{y} - \mathrm{sum 1}_{x} \end{align} で導出することができます。
の値はそれぞれ で求めることができ、その上で1つのクエリに対しては で求めることができるので、この方法では全体で の計算量で求めることができます。 従って、この方法によって実行時間制限に十分間に合うと言えます。
ソースコード
各テストケースに対して、 個のクエリの答えを出力する関数 solve()
を以下のように実装しました。
int n, m, a[int(1e5 + 5)]; int cost[int(1e5 + 5)][2], sum[int(1e5 + 5)][2]; // cost[i][0] が cost0 の値を表す。 sum についても同様 void solve() { // 値の入力 cin >> n; for (int i = 1; i <= n; i++) { cin >> a[i]; } // cost0 の値を求める for (int i = 1; i <= n - 2; i++) { if (abs(a[i + 1] - a[i]) <= abs(a[i + 1] - a[i + 2])) { cost[i][0] = 1; } else { cost[i][0] = abs(a[i] - a[i + 1]); } } cost[n - 1][0] = 1; // cost1 の値を求める cost[2][1] = 1; for (int i = 3; i <= n; i++) { if (abs(a[i - 1] - a[i]) <= abs(a[i - 1] - a[i - 2])) { cost[i][1] = 1; } else { cost[i][1] = abs(a[i] - a[i - 1]); } } // 求めた cost0, cost1 の値から、 sum0, sum1 の値を求める for (int i = 1; i <= n; i++) { sum[i][1] = sum[i - 1][1] + cost[i][1]; } for (int i = n; i >= 1; i--) { sum[i][0] = sum[i + 1][0] + cost[i][0]; } // クエリへの回答 cin >> m; for (int i = 0; i < m; i++) { int x, y; cin >> x >> y; if (x <= y) { // x <= y のときは、 sum1 の値を用いる cout << sum[y][1] - sum[x][1] << endl; } else { // x > y のときは、 sum0 の値を用いる cout << sum[y][0] - sum[x][0] << endl; } } return; }
感想
それぞれの道順に対して、 の値がどのときにどうなるのか、ということを考えるのが少し複雑になりました。
記事を書くときのように整理できていると実装もしやすくなるのですが、いざコンテスト本番でこの方針で行うとなると、正解なのかどうかやや不安になりそうです。