結果
| 問題 |
No.1008 Bench Craftsman
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2020-03-06 22:13:41 |
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
AC
|
| 実行時間 | 197 ms / 2,000 ms |
| コード長 | 1,358 bytes |
| コンパイル時間 | 1,633 ms |
| コンパイル使用メモリ | 170,576 KB |
| 実行使用メモリ | 7,296 KB |
| 最終ジャッジ日時 | 2024-10-14 07:26:05 |
| 合計ジャッジ時間 | 5,985 ms |
|
ジャッジサーバーID (参考情報) |
judge4 / judge2 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 27 |
ソースコード
#include <bits/stdc++.h>
using namespace std;
using ll = long long;
#define rep(i, n) for (int i = 0; i < (n); i++)
#define repr(i, n) for (int i = (n) - 1; i >= 0; i--)
#define range(a) a.begin(), a.end()
int main() {
ll N, M; cin >> N >> M;
vector<ll> A(N); rep(i, N) cin >> A[i];
vector<ll> X(M), W(M); rep(i, M) cin >> X[i] >> W[i], X[i]--;
ll total = 0;
rep(i, M) total += W[i];
if (*min_element(range(A)) > total) {
cout << 0 << endl;
return 0;
}
ll l = 0;
ll r = 1e9;
while (r - l > 1) {
ll c = (l + r) / 2;
vector<ll> sa(N + 1);
vector<ll> sb(N + 1);
auto linear = [&](ll l, ll r, ll a, ll b) {
// ax + b
sa[l] += a;
sa[r] -= a;
sb[l] += b;
sb[r] -= b;
};
rep(j, M) {
// t <= w[j] / c
// -w[j] / c <= di <= w[j]/c
ll L = max(0LL, X[j] - W[j] / c);
ll R = min(N - 1, X[j] + W[j] / c);
// 左側では W[j] + (i - X[j]) * C
// 右側では W[j] - (i - X[j]) * C
linear(L, X[j], c, W[j] - X[j] * c);
linear(X[j], R + 1, -c, W[j] + X[j] * c);
}
bool ok = true;
rep(i, N) {
sa[i + 1] += sa[i];
sb[i + 1] += sb[i];
}
rep(i, N) {
ok &= sa[i] * i + sb[i] < A[i];
}
if (ok) r = c; else l = c;
}
if (r == 1e9) {
cout << -1 << endl;
} else {
cout << r << endl;
}
}