#include <bits/stdc++.h> using namespace std; const int MOD = 1000000007; inline pair<int, int> mm(pair<int, int> a, pair<int, int> b) { return make_pair(min(a.first, b.first), max(a.second, b.second)); } struct Drzewo { vector <pair<int, int>> T; int L; Drzewo(const vector<pair<int, int>> &V ) { int n=V.size(); L=1; while (L<=n) L*=2; T.resize(2*L); for (int i=0; i<n; i++) T[L+i]=V[i]; for (int i=n; i<L; i++) T[L+i]=make_pair(i, i); for (int i=L-1; i>0; i--){ T[i]=mm(T[2*i], T[2*i+1]); } } void update(int k, pair<int, int> x) { k+=L; while(k>0) { T[k]=mm(T[k], x); k/=2; } } pair<int, int> query(int p, int q) { p+=L; q+=L; pair<int, int> res=T[p]; while (p<q-1) { if (!(p&1)) res=mm(res, T[p^1]); if ((q&1)) res=mm(res, T[q^1]); p/=2; q/=2; } return res; } pair<int, int> val(int k) { return T[L+k]; } }; int main() { ios::sync_with_stdio(0); cin.tie(0); int n; cin >> n; vector<long long> A(n); vector<long long> R(n); for (int i=0; i<n; i++) { cin >> A[i] >> R[i]; } vector<pair<int, int>> Z(n); for (int i=0; i<n; i++) { Z[i]=make_pair(lower_bound(A.begin(), A.end(), A[i]-R[i])-A.begin(), upper_bound(A.begin(), A.end(), A[i]+R[i])-A.begin()); } Drzewo D(Z); while (true) { bool ok=true; for (int i=0; i<n; i++){ auto x=D.val(i); auto y=D.query(x. first, x.second); if (x!=y) { D.update(i, y); ok=false; } } for (int i=n-1; i>=0; i--){ auto x=D.val(i); auto y=D.query(x. first, x.second); if (x!=y) { D.update(i, y); ok=false; } } if (ok) break; } for (int i=0; i<n; i++){ Z[i]=D.val(i); Z[i].first--; Z[i].second--; } vector<pair<int, int>> Res(n, {-1, -1}); function<pair<int, int>(int, int)> f = [&](int i, int k) { if (i<0 || Z[i].second>k) return make_pair(i, 0); auto r = f(Z[i].first, k); Z[i].first=r.first; (Res[i].first+=r.second)%=MOD; return make_pair(Z[i].first, Res[i].first); }; int res=1; for (int i=0; i<n; i++) { Res[i].second=res; Res[i].first=(Z[i].first<0?1:Res[Z[i].first].second); (res+=f(i, i).second)%=MOD; } cout << res << endl; return 0; }
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 | #include <bits/stdc++.h> using namespace std; const int MOD = 1000000007; inline pair<int, int> mm(pair<int, int> a, pair<int, int> b) { return make_pair(min(a.first, b.first), max(a.second, b.second)); } struct Drzewo { vector <pair<int, int>> T; int L; Drzewo(const vector<pair<int, int>> &V ) { int n=V.size(); L=1; while (L<=n) L*=2; T.resize(2*L); for (int i=0; i<n; i++) T[L+i]=V[i]; for (int i=n; i<L; i++) T[L+i]=make_pair(i, i); for (int i=L-1; i>0; i--){ T[i]=mm(T[2*i], T[2*i+1]); } } void update(int k, pair<int, int> x) { k+=L; while(k>0) { T[k]=mm(T[k], x); k/=2; } } pair<int, int> query(int p, int q) { p+=L; q+=L; pair<int, int> res=T[p]; while (p<q-1) { if (!(p&1)) res=mm(res, T[p^1]); if ((q&1)) res=mm(res, T[q^1]); p/=2; q/=2; } return res; } pair<int, int> val(int k) { return T[L+k]; } }; int main() { ios::sync_with_stdio(0); cin.tie(0); int n; cin >> n; vector<long long> A(n); vector<long long> R(n); for (int i=0; i<n; i++) { cin >> A[i] >> R[i]; } vector<pair<int, int>> Z(n); for (int i=0; i<n; i++) { Z[i]=make_pair(lower_bound(A.begin(), A.end(), A[i]-R[i])-A.begin(), upper_bound(A.begin(), A.end(), A[i]+R[i])-A.begin()); } Drzewo D(Z); while (true) { bool ok=true; for (int i=0; i<n; i++){ auto x=D.val(i); auto y=D.query(x. first, x.second); if (x!=y) { D.update(i, y); ok=false; } } for (int i=n-1; i>=0; i--){ auto x=D.val(i); auto y=D.query(x. first, x.second); if (x!=y) { D.update(i, y); ok=false; } } if (ok) break; } for (int i=0; i<n; i++){ Z[i]=D.val(i); Z[i].first--; Z[i].second--; } vector<pair<int, int>> Res(n, {-1, -1}); function<pair<int, int>(int, int)> f = [&](int i, int k) { if (i<0 || Z[i].second>k) return make_pair(i, 0); auto r = f(Z[i].first, k); Z[i].first=r.first; (Res[i].first+=r.second)%=MOD; return make_pair(Z[i].first, Res[i].first); }; int res=1; for (int i=0; i<n; i++) { Res[i].second=res; Res[i].first=(Z[i].first<0?1:Res[Z[i].first].second); (res+=f(i, i).second)%=MOD; } cout << res << endl; return 0; } |