#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
const int N = 5e3 + 20, MOD = (int)1e9+7;
ll binpow(ll a,ll b) {
ll ans = 1,k = a;
while(b) {
if(b % 2)ans *= k;
ans %= MOD;
k *= k;
k %= MOD;
b /= 2ll;
}
return ans;
}
ll ceis(ll n,ll k){
if(k > n) return 0;
ll d = 1;
for(ll i = n - k + 1;i <= n;i++){
d = i % MOD * d % MOD;
}
for(ll i = 2;i <= k;i++){
d = d * binpow(i,MOD-2)%MOD;
}
return d;
}
int n;
array<int,2> a[N];
vector<int> b;
vector<pair<int,int>> o;
ll dp[N][N],pref[N][N],c[N][N];
void test(){
cin >> n;
for(int i = 1;i <= n;i++){
cin >> a[i][0] >> a[i][1];
b.push_back(a[i][0]);
b.push_back(a[i][1]);
}
sort(b.begin(),b.end());
b.resize(unique(b.begin(),b.end()) - b.begin());
for(int i = 1;i < (int)b.size();i++){
o.emplace_back(b[i - 1],b[i]);
}
for(int i = 0;i <= (int)o.size();i++){
pref[0][i] = 1;
}
for(int i = 1;i <= (int)o.size();i++){
int s = (o[i - 1].second - o[i - 1].first) + 1;
for(int j = 1;j <= n;j++){
c[i][j] = ceis(s,j);
}
}
for(int i = 1;i <= n;i++){
vector<int> can;
for(int j = 0;j < (int)o.size();j++){
if(o[j].first >= a[i][0] && o[j].second <= a[i][1])
{
can.push_back(j + 1);
}
dp[i][j + 1] = dp[i - 1][j + 1];
}
for(int j:can){
for(int f = 1;f <= i;f++){
int lst = i - f;
dp[i][j] += pref[lst][j - 1] * 1ll * c[j][f]%MOD;
dp[i][j]%=MOD;
}
}
for(int j = 1;j <= (int)o.size();j++){
pref[i][j] = pref[i][j - 1] + dp[i][j];
pref[i][j]%=MOD;
}
}
cout << pref[n][(int)o.size()];
}
int main() {
ios_base::sync_with_stdio(false);cin.tie(0);
int t = 1;
// cin >> t;
while(t--){
test();
}
}
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Execution timed out |
2047 ms |
8528 KB |
Time limit exceeded |
2 |
Halted |
0 ms |
0 KB |
- |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Execution timed out |
2047 ms |
8528 KB |
Time limit exceeded |
2 |
Halted |
0 ms |
0 KB |
- |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Incorrect |
133 ms |
15192 KB |
Output isn't correct |
2 |
Halted |
0 ms |
0 KB |
- |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Execution timed out |
2047 ms |
8528 KB |
Time limit exceeded |
2 |
Halted |
0 ms |
0 KB |
- |