#include using namespace std; template struct imos_linear{ int N; vector imos1, imos0; imos_linear(int N) : N(N){ init(); } void init(){ imos1.resize(N + 1); imos0.resize(N + 1); } // [l, r) に wX + v を加算 // imos[l] += v, imos[l + 1] += v + w, ... void add(int l, int r, T v, T w){ l = clamp(l, 0, N), r = clamp(r, 0, N); imos1[l] += w; imos1[r] -= w; imos0[l] += v - w; imos0[r] -= v + w * (r - l - 1); } void build(){ for(int i = 0; i < N; i++){ imos1[i + 1] += imos1[i]; imos0[i] += imos1[i]; imos0[i + 1] += imos0[i]; } } T & operator [](int i){ return imos0[i]; } }; int main(){ ios::sync_with_stdio(false); cin.tie(nullptr); int n, m; cin >> n >> m; vector a(n); for(int i = 0; i < n; i++){ cin >> a[i]; } vector x(m), w(m); for(int i = 0; i < m; i++){ cin >> x[i] >> w[i]; x[i]--; } long long ok = 1LL << 20, ng = -1; while(abs(ok - ng) > 1){ long long mid = (ok + ng) / 2; imos_linear imos(n); for(int i = 0; i < m; i++){ { long long ok2 = x[i], ng2 = n; while(abs(ok2 - ng2) > 1){ long long mid2 = (ok2 + ng2) / 2; if((mid2 - x[i]) * mid <= w[i]){ ok2 = mid2; }else{ ng2 = mid2; } } imos.add(x[i], ok2 + 1, w[i], -mid); } { long long ok2 = x[i], ng2 = -1; while(abs(ok2 - ng2) > 1){ long long mid2 = (ok2 + ng2) / 2; if((x[i] - mid2) * mid <= w[i]){ ok2 = mid2; }else{ ng2 = mid2; } } imos.add(ok2, x[i], w[i] - (x[i] - ok2) * mid, mid); } } imos.build(); int is_ok = 1; for(int i = 0; i < n; i++){ if(imos[i] >= a[i]) is_ok = 0; } if(is_ok) ok = mid; else ng = mid; } if(ok == 1LL << 20) cout << -1 << "\n"; else cout << ok << "\n"; }