#include <stdio.h>
#include <algorithm>
using namespace std;
const long long mod = 1000000007;
int N,M,R,A[255],B[255];
long long ans = 1, prv[255][2], nxt[255][2];
int main()
{
scanf ("%d %d",&N,&M);
for (int i=0;i<N;i++) scanf ("%d %d",&A[i],&B[i]), ans = ans * (B[i] - A[i] + 1) % mod;
scanf ("%d",&R);
for (int k=0;k<=M;k++){
for (int i=0;i<R;i++) prv[i][0] = prv[i][1] = 0; prv[0][0] = 1;
for (int i=0;i<N;i++){
for (int j=0;j<R;j++) nxt[j][0] = nxt[j][1] = 0;
for (int j=0;j<R;j++){
if (A[i] < k){
int len = min(B[i],k-1) - A[i] + 1;
nxt[j][0] += prv[j][0] * len;
nxt[j][1] += prv[j][1] * len;
}
if (A[i] <= k && k <= B[i]){
nxt[j][1] += prv[j][0] + prv[j][1];
}
if (k < B[i]){
int len = B[i] - max(k+1,A[i]) + 1;
nxt[j+1][0] += prv[j][0] * len;
nxt[j+1][1] += prv[j][1] * len;
}
}
for (int j=0;j<R;j++){
prv[j][0] = nxt[j][0] % mod;
prv[j][1] = nxt[j][1] % mod;
}
}
ans = (ans + mod - prv[R-1][1]) % mod;
}
printf ("%lld\n",ans);
return 0;
}
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
0 ms |
1096 KB |
Output is correct |
2 |
Correct |
0 ms |
1096 KB |
Output is correct |
3 |
Correct |
0 ms |
1096 KB |
Output is correct |
4 |
Correct |
0 ms |
1096 KB |
Output is correct |
5 |
Correct |
0 ms |
1096 KB |
Output is correct |
6 |
Correct |
0 ms |
1096 KB |
Output is correct |
7 |
Correct |
0 ms |
1096 KB |
Output is correct |
8 |
Correct |
0 ms |
1096 KB |
Output is correct |
9 |
Correct |
0 ms |
1096 KB |
Output is correct |
10 |
Correct |
0 ms |
1096 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
0 ms |
1096 KB |
Output is correct |
2 |
Correct |
0 ms |
1096 KB |
Output is correct |
3 |
Correct |
0 ms |
1096 KB |
Output is correct |
4 |
Correct |
0 ms |
1096 KB |
Output is correct |
5 |
Correct |
0 ms |
1096 KB |
Output is correct |
6 |
Correct |
0 ms |
1096 KB |
Output is correct |
7 |
Correct |
0 ms |
1096 KB |
Output is correct |
8 |
Correct |
0 ms |
1096 KB |
Output is correct |
9 |
Correct |
0 ms |
1096 KB |
Output is correct |
10 |
Correct |
0 ms |
1096 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
0 ms |
1096 KB |
Output is correct |
2 |
Correct |
0 ms |
1096 KB |
Output is correct |
3 |
Correct |
0 ms |
1096 KB |
Output is correct |
4 |
Correct |
0 ms |
1096 KB |
Output is correct |
5 |
Correct |
0 ms |
1096 KB |
Output is correct |
6 |
Correct |
0 ms |
1096 KB |
Output is correct |
7 |
Correct |
0 ms |
1096 KB |
Output is correct |
8 |
Correct |
0 ms |
1096 KB |
Output is correct |
9 |
Correct |
0 ms |
1096 KB |
Output is correct |
10 |
Correct |
0 ms |
1096 KB |
Output is correct |
11 |
Correct |
0 ms |
1096 KB |
Output is correct |
12 |
Correct |
0 ms |
1096 KB |
Output is correct |
13 |
Correct |
0 ms |
1096 KB |
Output is correct |
14 |
Correct |
0 ms |
1096 KB |
Output is correct |
15 |
Correct |
0 ms |
1096 KB |
Output is correct |
16 |
Correct |
0 ms |
1096 KB |
Output is correct |
17 |
Correct |
0 ms |
1096 KB |
Output is correct |
18 |
Correct |
0 ms |
1096 KB |
Output is correct |
19 |
Correct |
0 ms |
1096 KB |
Output is correct |
20 |
Correct |
0 ms |
1096 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
0 ms |
1096 KB |
Output is correct |
2 |
Correct |
0 ms |
1096 KB |
Output is correct |
3 |
Correct |
0 ms |
1096 KB |
Output is correct |
4 |
Correct |
4 ms |
1096 KB |
Output is correct |
5 |
Correct |
12 ms |
1096 KB |
Output is correct |
6 |
Correct |
16 ms |
1096 KB |
Output is correct |
7 |
Correct |
12 ms |
1096 KB |
Output is correct |
8 |
Correct |
52 ms |
1096 KB |
Output is correct |
9 |
Correct |
0 ms |
1096 KB |
Output is correct |
10 |
Correct |
28 ms |
1096 KB |
Output is correct |
11 |
Correct |
24 ms |
1096 KB |
Output is correct |
12 |
Correct |
8 ms |
1096 KB |
Output is correct |
13 |
Correct |
68 ms |
1096 KB |
Output is correct |
14 |
Correct |
16 ms |
1096 KB |
Output is correct |
15 |
Correct |
76 ms |
1096 KB |
Output is correct |
16 |
Correct |
112 ms |
1096 KB |
Output is correct |
17 |
Correct |
116 ms |
1096 KB |
Output is correct |
18 |
Correct |
4 ms |
1096 KB |
Output is correct |
19 |
Correct |
244 ms |
1096 KB |
Output is correct |
20 |
Correct |
300 ms |
1096 KB |
Output is correct |