結果
| 問題 |
No.409 ダイエット
|
| コンテスト | |
| ユーザー |
はまやんはまやん
|
| 提出日時 | 2017-03-23 12:08:25 |
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
AC
|
| 実行時間 | 47 ms / 2,000 ms |
| コード長 | 2,186 bytes |
| コンパイル時間 | 1,714 ms |
| コンパイル使用メモリ | 172,876 KB |
| 実行使用メモリ | 10,840 KB |
| 最終ジャッジ日時 | 2024-06-26 10:12:03 |
| 合計ジャッジ時間 | 5,446 ms |
|
ジャッジサーバーID (参考情報) |
judge2 / judge5 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 92 |
ソースコード
#include<bits/stdc++.h>
using namespace std;
#define rep(i,a,b) for(int i=a;i<b;i++)
template<typename T> struct CHT { // by satanic
typedef pair<T, T> pa;
vector<pa> lines; bool mono; function<bool(T l, T r)> comp;
// クエリが単調ならf = true
CHT(bool f = false, function<bool(T l, T r)> co = [](T l, T r) {return l >= r; }) :mono(f), comp(co) { };
bool check(pa l1, pa l2, pa l3) {
if (l1 < l3) std::swap(l1, l3);
return (l3.second - l2.second) * (l2.first - l1.first) >= (l2.second - l1.second) * (l3.first - l2.first);
}
void add(T a, T b) { // y=ax+b
pa line(a, b);
while (lines.size() >= 2 && check(*(lines.end() - 2), lines.back(), line)) lines.pop_back();
lines.emplace_back(line);
}
T f(int i, T x) { return lines[i].first * x + lines[i].second; }
T f(pa line, T x) { return line.first * x + line.second; }
T get(T x) {
if (mono) {
static int head = 0;
while (lines.size() - head >= 2 && comp(f(head, x), f(head + 1, x))) ++head;
return f(head, x);
} else {
int low = -1, high = lines.size() - 1;
while (high - low > 1) {
int mid = (high + low) / 2;
(comp(f(mid, x), f(mid + 1, x)) ? low : high) = mid;
}
return f(high, x);
}
}
};
//-----------------------------------------------------------------------------------
typedef long long ll;
#define INF 1LL<<60
int N, A, B, W;
int D[301010];
//-----------------------------------------------------------------------------------
ll dp[301010];
int main() {
cin >> N >> A >> B >> W;
rep(i, 0, N) scanf("%d", &D[i]);
/* Naive
dp[0] = W;
rep(i, 1, N + 1) {
dp[i] = INF;
rep(j, 0, i) {
ll w = dp[j];
w -= 1LL * A * (i - j - 1);
w += 1LL * (i - j - 1) * (i - j) / 2 * B;
dp[i] = min(dp[i], w);
}
dp[i] += D[i - 1];
}
*/
// Optimized
CHT<ll> cht(true);
dp[0] = W;
cht.add(0, W);
rep(i, 1, N + 1) {
dp[i] = cht.get(i) - 1LL * (i - 1) * A + (1LL * (i - 1) * i) / 2 * B + D[i - 1];
cht.add(-1LL * B * i, dp[i] + 1LL * A * i + (1LL * i * i + i) / 2 * B);
}
ll ans = INF;
rep(i, 0, N + 1) {
ll w = dp[i];
int n = N - i;
w -= 1LL * A * n;
w += 1LL * n * (n + 1) / 2 * B;
ans = min(ans, w);
}
cout << ans << endl;
}
はまやんはまやん