#include <bits/stdc++.h>
using namespace std;
#define REP(i, n) for (int i = 0; i < (n); ++i)
#define SIZE(a) ((int)(a).size())
#define ALL(a) (a).begin(), (a).end()
using ll = long long;
using K = long double;
const int inf = 1000*1000*1000 + 7;
const int mod = 1000*1000*1000 + 7;
const int N = 1005;
int power(int a, int n) {
int result = 1;
while (n > 0) {
if (n % 2) {
result = (1LL*result*a) % mod;
}
a = (1LL*a*a) % mod;
n /= 2;
}
return result;
}
int inv(int a) {
return power(a, mod-2);
}
void add(int &x, int y) {
x += y;
if (x >= mod) x -= mod;
}
int n, m, l[N], r[N];
vector<int> d;
int f[N][N], g[N][N];
int inside(int id, int piece) {
return l[id] <= d[piece] && r[id] >= d[piece+1];
}
int iv[N];
int c[N][N];
int main() {
ios::sync_with_stdio(false);
cin.tie(nullptr);
cin >> n;
REP(i, n) {
cin >> l[i] >> r[i];
++r[i];
d.push_back(l[i]);
d.push_back(r[i]);
}
sort(d.begin(), d.end());
d.erase(unique(d.begin(), d.end()), d.end());
m = SIZE(d)-1;
f[0][0] = 1;
for (int i = 1; i <= n; ++i) {
iv[i] = inv(i);
}
REP(i, N) {
c[i][0] = c[i][i] = 1;
for (int j = 1; j < i; ++j) {
add(c[i][j], c[i-1][j-1]);
add(c[i][j], c[i-1][j]);
}
}
for (int i = 0; i <= n; ++i) REP(w, m) {
int len = d[w+1]-d[w];
int first = len;
for (int j = 0; j <= i; ++j) {
first = 1LL*first*(len-j-1) % mod;
first = 1LL*first*iv[j+2] % mod;
add(g[i][w], 1LL*first*c[i][j] % mod);
}
}
REP(i, n) {
REP(j, m+1) add(f[i+1][j], f[i][j]);
REP(j, m) {
add(f[i][j+1], f[i][j]);
if (!inside(i, j)) continue;
add(f[i+1][j+1], 1LL*f[i][j]*(d[j+1]-d[j]) % mod);
int cnt = -1;
for (int nxt = i+1; nxt < n; ++nxt) {
if (!inside(nxt, j)) continue;
++cnt;
add(f[nxt+1][j+1], 1LL*f[i][j]*g[cnt][j] % mod);
}
}
}
int result = mod-1;
REP(i, m+1) add(result, f[n][i]);
cout << result << '\n';
}
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
1791 ms |
8448 KB |
Output is correct |
2 |
Correct |
1741 ms |
8448 KB |
Output is correct |
3 |
Correct |
1785 ms |
8448 KB |
Output is correct |
4 |
Correct |
1753 ms |
8556 KB |
Output is correct |
5 |
Correct |
1712 ms |
8556 KB |
Output is correct |
6 |
Correct |
1769 ms |
8580 KB |
Output is correct |
7 |
Correct |
1746 ms |
8580 KB |
Output is correct |
8 |
Correct |
1755 ms |
8580 KB |
Output is correct |
9 |
Correct |
1770 ms |
8608 KB |
Output is correct |
10 |
Correct |
1774 ms |
8624 KB |
Output is correct |
11 |
Correct |
1726 ms |
8624 KB |
Output is correct |
12 |
Correct |
1747 ms |
8624 KB |
Output is correct |
13 |
Correct |
1759 ms |
8624 KB |
Output is correct |
14 |
Correct |
1770 ms |
8624 KB |
Output is correct |
15 |
Correct |
1780 ms |
8624 KB |
Output is correct |
16 |
Correct |
310 ms |
8624 KB |
Output is correct |
17 |
Correct |
335 ms |
8624 KB |
Output is correct |
18 |
Correct |
325 ms |
8624 KB |
Output is correct |
19 |
Correct |
333 ms |
8624 KB |
Output is correct |
20 |
Correct |
354 ms |
8624 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
1791 ms |
8448 KB |
Output is correct |
2 |
Correct |
1741 ms |
8448 KB |
Output is correct |
3 |
Correct |
1785 ms |
8448 KB |
Output is correct |
4 |
Correct |
1753 ms |
8556 KB |
Output is correct |
5 |
Correct |
1712 ms |
8556 KB |
Output is correct |
6 |
Correct |
1769 ms |
8580 KB |
Output is correct |
7 |
Correct |
1746 ms |
8580 KB |
Output is correct |
8 |
Correct |
1755 ms |
8580 KB |
Output is correct |
9 |
Correct |
1770 ms |
8608 KB |
Output is correct |
10 |
Correct |
1774 ms |
8624 KB |
Output is correct |
11 |
Correct |
1726 ms |
8624 KB |
Output is correct |
12 |
Correct |
1747 ms |
8624 KB |
Output is correct |
13 |
Correct |
1759 ms |
8624 KB |
Output is correct |
14 |
Correct |
1770 ms |
8624 KB |
Output is correct |
15 |
Correct |
1780 ms |
8624 KB |
Output is correct |
16 |
Correct |
310 ms |
8624 KB |
Output is correct |
17 |
Correct |
335 ms |
8624 KB |
Output is correct |
18 |
Correct |
325 ms |
8624 KB |
Output is correct |
19 |
Correct |
333 ms |
8624 KB |
Output is correct |
20 |
Correct |
354 ms |
8624 KB |
Output is correct |
21 |
Correct |
1697 ms |
8728 KB |
Output is correct |
22 |
Correct |
1734 ms |
8728 KB |
Output is correct |
23 |
Correct |
1724 ms |
8728 KB |
Output is correct |
24 |
Correct |
1752 ms |
8728 KB |
Output is correct |
25 |
Correct |
1722 ms |
8728 KB |
Output is correct |
26 |
Correct |
1759 ms |
8828 KB |
Output is correct |
27 |
Correct |
1792 ms |
8828 KB |
Output is correct |
28 |
Correct |
1747 ms |
8828 KB |
Output is correct |
29 |
Correct |
1785 ms |
8828 KB |
Output is correct |
30 |
Correct |
1726 ms |
8828 KB |
Output is correct |
31 |
Correct |
1715 ms |
8828 KB |
Output is correct |
32 |
Correct |
1699 ms |
8828 KB |
Output is correct |
33 |
Correct |
1776 ms |
8828 KB |
Output is correct |
34 |
Correct |
1749 ms |
8828 KB |
Output is correct |
35 |
Correct |
1759 ms |
8828 KB |
Output is correct |
36 |
Correct |
1756 ms |
8828 KB |
Output is correct |
37 |
Correct |
1789 ms |
8828 KB |
Output is correct |
38 |
Correct |
1762 ms |
8828 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
22 ms |
8828 KB |
Output is correct |
2 |
Correct |
21 ms |
8828 KB |
Output is correct |
3 |
Correct |
22 ms |
8828 KB |
Output is correct |
4 |
Correct |
21 ms |
8828 KB |
Output is correct |
5 |
Correct |
21 ms |
8828 KB |
Output is correct |
6 |
Correct |
22 ms |
8828 KB |
Output is correct |
7 |
Correct |
22 ms |
8828 KB |
Output is correct |
8 |
Correct |
22 ms |
8828 KB |
Output is correct |
9 |
Correct |
44 ms |
8828 KB |
Output is correct |
10 |
Correct |
23 ms |
8828 KB |
Output is correct |
11 |
Correct |
22 ms |
8828 KB |
Output is correct |
12 |
Correct |
22 ms |
8828 KB |
Output is correct |
13 |
Correct |
23 ms |
8828 KB |
Output is correct |
14 |
Correct |
22 ms |
8828 KB |
Output is correct |
15 |
Correct |
21 ms |
8828 KB |
Output is correct |
16 |
Correct |
18 ms |
8828 KB |
Output is correct |
17 |
Correct |
17 ms |
8828 KB |
Output is correct |
18 |
Correct |
16 ms |
8828 KB |
Output is correct |
19 |
Correct |
15 ms |
8828 KB |
Output is correct |
20 |
Correct |
14 ms |
8828 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
1791 ms |
8448 KB |
Output is correct |
2 |
Correct |
1741 ms |
8448 KB |
Output is correct |
3 |
Correct |
1785 ms |
8448 KB |
Output is correct |
4 |
Correct |
1753 ms |
8556 KB |
Output is correct |
5 |
Correct |
1712 ms |
8556 KB |
Output is correct |
6 |
Correct |
1769 ms |
8580 KB |
Output is correct |
7 |
Correct |
1746 ms |
8580 KB |
Output is correct |
8 |
Correct |
1755 ms |
8580 KB |
Output is correct |
9 |
Correct |
1770 ms |
8608 KB |
Output is correct |
10 |
Correct |
1774 ms |
8624 KB |
Output is correct |
11 |
Correct |
1726 ms |
8624 KB |
Output is correct |
12 |
Correct |
1747 ms |
8624 KB |
Output is correct |
13 |
Correct |
1759 ms |
8624 KB |
Output is correct |
14 |
Correct |
1770 ms |
8624 KB |
Output is correct |
15 |
Correct |
1780 ms |
8624 KB |
Output is correct |
16 |
Correct |
310 ms |
8624 KB |
Output is correct |
17 |
Correct |
335 ms |
8624 KB |
Output is correct |
18 |
Correct |
325 ms |
8624 KB |
Output is correct |
19 |
Correct |
333 ms |
8624 KB |
Output is correct |
20 |
Correct |
354 ms |
8624 KB |
Output is correct |
21 |
Correct |
1697 ms |
8728 KB |
Output is correct |
22 |
Correct |
1734 ms |
8728 KB |
Output is correct |
23 |
Correct |
1724 ms |
8728 KB |
Output is correct |
24 |
Correct |
1752 ms |
8728 KB |
Output is correct |
25 |
Correct |
1722 ms |
8728 KB |
Output is correct |
26 |
Correct |
1759 ms |
8828 KB |
Output is correct |
27 |
Correct |
1792 ms |
8828 KB |
Output is correct |
28 |
Correct |
1747 ms |
8828 KB |
Output is correct |
29 |
Correct |
1785 ms |
8828 KB |
Output is correct |
30 |
Correct |
1726 ms |
8828 KB |
Output is correct |
31 |
Correct |
1715 ms |
8828 KB |
Output is correct |
32 |
Correct |
1699 ms |
8828 KB |
Output is correct |
33 |
Correct |
1776 ms |
8828 KB |
Output is correct |
34 |
Correct |
1749 ms |
8828 KB |
Output is correct |
35 |
Correct |
1759 ms |
8828 KB |
Output is correct |
36 |
Correct |
1756 ms |
8828 KB |
Output is correct |
37 |
Correct |
1789 ms |
8828 KB |
Output is correct |
38 |
Correct |
1762 ms |
8828 KB |
Output is correct |
39 |
Correct |
22 ms |
8828 KB |
Output is correct |
40 |
Correct |
21 ms |
8828 KB |
Output is correct |
41 |
Correct |
22 ms |
8828 KB |
Output is correct |
42 |
Correct |
21 ms |
8828 KB |
Output is correct |
43 |
Correct |
21 ms |
8828 KB |
Output is correct |
44 |
Correct |
22 ms |
8828 KB |
Output is correct |
45 |
Correct |
22 ms |
8828 KB |
Output is correct |
46 |
Correct |
22 ms |
8828 KB |
Output is correct |
47 |
Correct |
44 ms |
8828 KB |
Output is correct |
48 |
Correct |
23 ms |
8828 KB |
Output is correct |
49 |
Correct |
22 ms |
8828 KB |
Output is correct |
50 |
Correct |
22 ms |
8828 KB |
Output is correct |
51 |
Correct |
23 ms |
8828 KB |
Output is correct |
52 |
Correct |
22 ms |
8828 KB |
Output is correct |
53 |
Correct |
21 ms |
8828 KB |
Output is correct |
54 |
Correct |
18 ms |
8828 KB |
Output is correct |
55 |
Correct |
17 ms |
8828 KB |
Output is correct |
56 |
Correct |
16 ms |
8828 KB |
Output is correct |
57 |
Correct |
15 ms |
8828 KB |
Output is correct |
58 |
Correct |
14 ms |
8828 KB |
Output is correct |
59 |
Correct |
1899 ms |
8828 KB |
Output is correct |
60 |
Correct |
1920 ms |
8828 KB |
Output is correct |
61 |
Correct |
1833 ms |
8828 KB |
Output is correct |
62 |
Correct |
1861 ms |
8852 KB |
Output is correct |
63 |
Correct |
1881 ms |
8852 KB |
Output is correct |
64 |
Execution timed out |
2052 ms |
8852 KB |
Time limit exceeded |
65 |
Halted |
0 ms |
0 KB |
- |