#include <bits/stdc++.h>
using namespace std;
#define ll long long
#define ld long double
#define pb push_back
#define all(x) begin(x), end(x)
#define SZ(x) (int)(x).size()
mt19937 rng(chrono::steady_clock::now().time_since_epoch().count());
const int n0 = 1003, mod = 1e9 + 7;
int n, l[n0], r[n0], k;
int bp(int x, int y) {
int res = 1;
while (y) {
if (y & 1)
res = (ll)res * x % mod;
x = (ll)x * x % mod;
y /= 2;
}
return res;
}
struct Mint {
int b = 0;
Mint(int x = 0) {
b = x;
if (b >= mod) b -= mod;
}
void operator += (const Mint & x) {
b += x.b;
if (b >= mod) b -= mod;
}
Mint operator + (const Mint & x) const {
Mint res = * this;
res += x;
return res;
}
Mint operator * (const Mint & x) const {
Mint res;
res.b = (ll)b * x.b % mod;
return res;
}
Mint operator / (const Mint & x) const {
Mint res;
res.b = (ll)b * bp(x.b, mod - 2) % mod;
return res;
}
};
struct Block {
int l = 0, r = 0, t = 0;
Mint add[n0], c[n0], cur, last;
Block() {
c[0] = 1;
}
void upd(Mint x) {
add[t++] = x;
c[t] = c[t - 1] * (r - l + t) / t;
cur = last = 0;
for (int i = 0; i < t; i++) {
cur += c[t - i] * add[i];
last += c[t - i - 1] * add[i];
}
}
};
Block b[n0];
int main() {
ios_base::sync_with_stdio(false), cin.tie(NULL);
cin >> n;
vector <int> crd;
for (int i = 0; i < n; i++) {
cin >> l[i] >> r[i];
r[i]++;
crd.pb(l[i]), crd.pb(r[i]);
}
crd.pb(0), crd.pb(1);
sort(all(crd));
for (int i = 1; i < SZ(crd); i++) {
if (crd[i - 1] < crd[i]) {
b[k].l = crd[i - 1];
b[k++].r = crd[i] - 1;
}
}
b[0].upd(1);
for (int i = 0; i < n; i++) {
Mint cur;
int j = 0;
for (; j < k && b[j].r < l[i]; j++)
cur += b[j].cur;
for (; j < k && b[j].r < r[i]; j++) {
b[j].upd(cur);
cur = b[j].last;
}
}
Mint res;
for (int i = 0; i < k; i++)
res += b[i].cur;
res += (mod - 1);
cout << res.b;
}
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
6 ms |
8320 KB |
Output is correct |
2 |
Correct |
6 ms |
8320 KB |
Output is correct |
3 |
Correct |
6 ms |
8192 KB |
Output is correct |
4 |
Correct |
7 ms |
8320 KB |
Output is correct |
5 |
Correct |
6 ms |
8320 KB |
Output is correct |
6 |
Correct |
6 ms |
8320 KB |
Output is correct |
7 |
Correct |
7 ms |
8192 KB |
Output is correct |
8 |
Correct |
6 ms |
8192 KB |
Output is correct |
9 |
Correct |
7 ms |
8320 KB |
Output is correct |
10 |
Correct |
7 ms |
8320 KB |
Output is correct |
11 |
Correct |
7 ms |
8192 KB |
Output is correct |
12 |
Correct |
7 ms |
8320 KB |
Output is correct |
13 |
Correct |
8 ms |
8320 KB |
Output is correct |
14 |
Correct |
6 ms |
8192 KB |
Output is correct |
15 |
Correct |
6 ms |
8192 KB |
Output is correct |
16 |
Correct |
6 ms |
8320 KB |
Output is correct |
17 |
Correct |
6 ms |
8320 KB |
Output is correct |
18 |
Correct |
6 ms |
8320 KB |
Output is correct |
19 |
Correct |
6 ms |
8320 KB |
Output is correct |
20 |
Correct |
6 ms |
8192 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
6 ms |
8320 KB |
Output is correct |
2 |
Correct |
6 ms |
8320 KB |
Output is correct |
3 |
Correct |
6 ms |
8192 KB |
Output is correct |
4 |
Correct |
7 ms |
8320 KB |
Output is correct |
5 |
Correct |
6 ms |
8320 KB |
Output is correct |
6 |
Correct |
6 ms |
8320 KB |
Output is correct |
7 |
Correct |
7 ms |
8192 KB |
Output is correct |
8 |
Correct |
6 ms |
8192 KB |
Output is correct |
9 |
Correct |
7 ms |
8320 KB |
Output is correct |
10 |
Correct |
7 ms |
8320 KB |
Output is correct |
11 |
Correct |
7 ms |
8192 KB |
Output is correct |
12 |
Correct |
7 ms |
8320 KB |
Output is correct |
13 |
Correct |
8 ms |
8320 KB |
Output is correct |
14 |
Correct |
6 ms |
8192 KB |
Output is correct |
15 |
Correct |
6 ms |
8192 KB |
Output is correct |
16 |
Correct |
6 ms |
8320 KB |
Output is correct |
17 |
Correct |
6 ms |
8320 KB |
Output is correct |
18 |
Correct |
6 ms |
8320 KB |
Output is correct |
19 |
Correct |
6 ms |
8320 KB |
Output is correct |
20 |
Correct |
6 ms |
8192 KB |
Output is correct |
21 |
Correct |
136 ms |
8308 KB |
Output is correct |
22 |
Correct |
132 ms |
8312 KB |
Output is correct |
23 |
Correct |
131 ms |
8192 KB |
Output is correct |
24 |
Correct |
134 ms |
8428 KB |
Output is correct |
25 |
Correct |
140 ms |
8192 KB |
Output is correct |
26 |
Correct |
274 ms |
8192 KB |
Output is correct |
27 |
Correct |
279 ms |
8312 KB |
Output is correct |
28 |
Correct |
272 ms |
8308 KB |
Output is correct |
29 |
Correct |
266 ms |
8192 KB |
Output is correct |
30 |
Correct |
7 ms |
8192 KB |
Output is correct |
31 |
Correct |
8 ms |
8320 KB |
Output is correct |
32 |
Correct |
6 ms |
8320 KB |
Output is correct |
33 |
Correct |
6 ms |
8320 KB |
Output is correct |
34 |
Correct |
6 ms |
8192 KB |
Output is correct |
35 |
Correct |
7 ms |
8320 KB |
Output is correct |
36 |
Correct |
7 ms |
8320 KB |
Output is correct |
37 |
Correct |
7 ms |
8320 KB |
Output is correct |
38 |
Correct |
7 ms |
8448 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
8 ms |
8192 KB |
Output is correct |
2 |
Correct |
8 ms |
8192 KB |
Output is correct |
3 |
Correct |
8 ms |
8192 KB |
Output is correct |
4 |
Correct |
8 ms |
8192 KB |
Output is correct |
5 |
Correct |
8 ms |
8192 KB |
Output is correct |
6 |
Correct |
9 ms |
8192 KB |
Output is correct |
7 |
Correct |
10 ms |
8192 KB |
Output is correct |
8 |
Correct |
9 ms |
8192 KB |
Output is correct |
9 |
Correct |
9 ms |
8192 KB |
Output is correct |
10 |
Correct |
9 ms |
8192 KB |
Output is correct |
11 |
Correct |
8 ms |
8192 KB |
Output is correct |
12 |
Correct |
7 ms |
8192 KB |
Output is correct |
13 |
Correct |
8 ms |
8192 KB |
Output is correct |
14 |
Correct |
7 ms |
8192 KB |
Output is correct |
15 |
Correct |
8 ms |
8192 KB |
Output is correct |
16 |
Correct |
9 ms |
8192 KB |
Output is correct |
17 |
Correct |
8 ms |
8192 KB |
Output is correct |
18 |
Correct |
7 ms |
8192 KB |
Output is correct |
19 |
Correct |
7 ms |
8192 KB |
Output is correct |
20 |
Correct |
7 ms |
8192 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
6 ms |
8320 KB |
Output is correct |
2 |
Correct |
6 ms |
8320 KB |
Output is correct |
3 |
Correct |
6 ms |
8192 KB |
Output is correct |
4 |
Correct |
7 ms |
8320 KB |
Output is correct |
5 |
Correct |
6 ms |
8320 KB |
Output is correct |
6 |
Correct |
6 ms |
8320 KB |
Output is correct |
7 |
Correct |
7 ms |
8192 KB |
Output is correct |
8 |
Correct |
6 ms |
8192 KB |
Output is correct |
9 |
Correct |
7 ms |
8320 KB |
Output is correct |
10 |
Correct |
7 ms |
8320 KB |
Output is correct |
11 |
Correct |
7 ms |
8192 KB |
Output is correct |
12 |
Correct |
7 ms |
8320 KB |
Output is correct |
13 |
Correct |
8 ms |
8320 KB |
Output is correct |
14 |
Correct |
6 ms |
8192 KB |
Output is correct |
15 |
Correct |
6 ms |
8192 KB |
Output is correct |
16 |
Correct |
6 ms |
8320 KB |
Output is correct |
17 |
Correct |
6 ms |
8320 KB |
Output is correct |
18 |
Correct |
6 ms |
8320 KB |
Output is correct |
19 |
Correct |
6 ms |
8320 KB |
Output is correct |
20 |
Correct |
6 ms |
8192 KB |
Output is correct |
21 |
Correct |
136 ms |
8308 KB |
Output is correct |
22 |
Correct |
132 ms |
8312 KB |
Output is correct |
23 |
Correct |
131 ms |
8192 KB |
Output is correct |
24 |
Correct |
134 ms |
8428 KB |
Output is correct |
25 |
Correct |
140 ms |
8192 KB |
Output is correct |
26 |
Correct |
274 ms |
8192 KB |
Output is correct |
27 |
Correct |
279 ms |
8312 KB |
Output is correct |
28 |
Correct |
272 ms |
8308 KB |
Output is correct |
29 |
Correct |
266 ms |
8192 KB |
Output is correct |
30 |
Correct |
7 ms |
8192 KB |
Output is correct |
31 |
Correct |
8 ms |
8320 KB |
Output is correct |
32 |
Correct |
6 ms |
8320 KB |
Output is correct |
33 |
Correct |
6 ms |
8320 KB |
Output is correct |
34 |
Correct |
6 ms |
8192 KB |
Output is correct |
35 |
Correct |
7 ms |
8320 KB |
Output is correct |
36 |
Correct |
7 ms |
8320 KB |
Output is correct |
37 |
Correct |
7 ms |
8320 KB |
Output is correct |
38 |
Correct |
7 ms |
8448 KB |
Output is correct |
39 |
Correct |
8 ms |
8192 KB |
Output is correct |
40 |
Correct |
8 ms |
8192 KB |
Output is correct |
41 |
Correct |
8 ms |
8192 KB |
Output is correct |
42 |
Correct |
8 ms |
8192 KB |
Output is correct |
43 |
Correct |
8 ms |
8192 KB |
Output is correct |
44 |
Correct |
9 ms |
8192 KB |
Output is correct |
45 |
Correct |
10 ms |
8192 KB |
Output is correct |
46 |
Correct |
9 ms |
8192 KB |
Output is correct |
47 |
Correct |
9 ms |
8192 KB |
Output is correct |
48 |
Correct |
9 ms |
8192 KB |
Output is correct |
49 |
Correct |
8 ms |
8192 KB |
Output is correct |
50 |
Correct |
7 ms |
8192 KB |
Output is correct |
51 |
Correct |
8 ms |
8192 KB |
Output is correct |
52 |
Correct |
7 ms |
8192 KB |
Output is correct |
53 |
Correct |
8 ms |
8192 KB |
Output is correct |
54 |
Correct |
9 ms |
8192 KB |
Output is correct |
55 |
Correct |
8 ms |
8192 KB |
Output is correct |
56 |
Correct |
7 ms |
8192 KB |
Output is correct |
57 |
Correct |
7 ms |
8192 KB |
Output is correct |
58 |
Correct |
7 ms |
8192 KB |
Output is correct |
59 |
Correct |
151 ms |
8312 KB |
Output is correct |
60 |
Correct |
142 ms |
8312 KB |
Output is correct |
61 |
Correct |
134 ms |
8352 KB |
Output is correct |
62 |
Correct |
152 ms |
8312 KB |
Output is correct |
63 |
Correct |
141 ms |
8312 KB |
Output is correct |
64 |
Correct |
310 ms |
8308 KB |
Output is correct |
65 |
Correct |
323 ms |
8320 KB |
Output is correct |
66 |
Correct |
305 ms |
8308 KB |
Output is correct |
67 |
Correct |
302 ms |
8312 KB |
Output is correct |
68 |
Correct |
315 ms |
8312 KB |
Output is correct |
69 |
Correct |
126 ms |
8312 KB |
Output is correct |
70 |
Correct |
129 ms |
8316 KB |
Output is correct |
71 |
Correct |
134 ms |
8312 KB |
Output is correct |
72 |
Correct |
135 ms |
8440 KB |
Output is correct |
73 |
Correct |
139 ms |
8192 KB |
Output is correct |
74 |
Correct |
33 ms |
8192 KB |
Output is correct |
75 |
Correct |
32 ms |
8320 KB |
Output is correct |
76 |
Correct |
33 ms |
8192 KB |
Output is correct |
77 |
Correct |
33 ms |
8192 KB |
Output is correct |
78 |
Correct |
39 ms |
8320 KB |
Output is correct |