結果
| 問題 | 
                            No.1008 Bench Craftsman
                             | 
                    
| コンテスト | |
| ユーザー | 
                             | 
                    
| 提出日時 | 2020-03-06 22:10:57 | 
| 言語 | C++14  (gcc 13.3.0 + boost 1.87.0)  | 
                    
| 結果 | 
                             
                                WA
                                 
                             
                            
                         | 
                    
| 実行時間 | - | 
| コード長 | 1,337 bytes | 
| コンパイル時間 | 1,644 ms | 
| コンパイル使用メモリ | 171,320 KB | 
| 実行使用メモリ | 7,308 KB | 
| 最終ジャッジ日時 | 2024-10-14 07:17:44 | 
| 合計ジャッジ時間 | 6,146 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge2 / judge3 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 24 WA * 3 | 
ソースコード
#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) {
      //    -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;
  }
}