This submission is migrated from previous version of oj.uz, which used different machine for grading. This submission may have different result if resubmitted.
#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef pair <int, int> pii;
const int N = 505;
const int M = 1005;
const int MOD = 1e9 + 7;
vector <pii> v;
vector <int> z[M];
int n, m, a[N], b[N];
int x[M], y[M];
ll dp[N][M];
int sz[M], wide[M];
int comb[M][N], inverse[N];
int counter = 1;
int bigMod (int a, int e) {
if (e == -1) e = MOD - 2;
int r = 1; while (e) {
if (e & 1) r = (r * 1ll * a) % MOD;
a = (a * 1ll * a) % MOD;
e >>= 1;
}
return r;
}
// int call (int at, int range) {
// if (at > n or range > m) return 1;
// if (dp[at][range] != -1) return dp[at][range];
// ll ret = call(at, range + 1);
// int start = 0;
// while (start < sz[range] and z[range][start] < at) ++start;
// for (int i = start; i < sz[range]; ++i) {
// ret += comb[range][i - pos] * 1ll * call(z[range][i] + 1, range + 1);
// ret %= MOD;
// }
// return dp[at][range] = ret;
// }
int nCr (int n, int r) {
if (n < r) return 0;
ll res = 1ll;
for (int i = n, j = 1; j <= r; --i, ++j) {
res *= 1ll * i, res %= MOD;
res *= inverse[j], res %= MOD;
}
return res;
}
int main (int argc, char const *argv[]) {
scanf("%d", &n);
for (int i = 1; i <= n; ++i) {
scanf("%d %d", a + i, b + i);
v.push_back({a[i], 0});
v.push_back({b[i], 1});
}
sort(v.begin(), v.end());
for (int i = 1; i < n + n; ++i) {
int one = v[i - 1].second, two = v[i].second;
int l = v[i - 1].first, r = v[i].first;
if (!one and !two) {
--r, ++counter;
if (l <= r) x[++m] = l, y[m] = r;
} else if (!one and two) {
--counter;
if (l <= r) x[++m] = l, y[m] = r;
} else if (one and two) {
++l, --counter;
if (l <= r) x[++m] = l, y[m] = r;
} else {
++l, --r;
if (counter and l <= r) x[++m] = l, y[m] = r;
++counter;
}
}
for (int i = 1; i <= m; ++i) {
for (int j = 1; j <= n; ++j) {
if (a[j] <= x[i] and y[i] <= b[j]) {
z[i].push_back(j);
++sz[i];
}
}
wide[i] = y[i] - x[i] + 1;
}
for (int i = 1; i < N; ++i) {
inverse[i] = bigMod(i, -1);
}
for (int i = 1; i <= m; ++i) {
for (int j = 0; j <= sz[i]; ++j) {
comb[i][j] = nCr(wide[i] + j, j + 1);
}
}
for (int i = 0; i <= n + 1; ++i) {
dp[i][m + 1] = 1;
}
for (int i = 0; i <= m + 1; ++i) {
dp[n + 1][i] = 1;
}
for (int at = n; at; --at) {
for (int range = m; range; --range) {
dp[at][range] = dp[at][range + 1];
int start = 0;
while (start < sz[range] and z[range][start] < at) ++start;
for (int i = start; i < sz[range]; ++i) {
dp[at][range] += comb[range][i - start] * dp[z[range][i] + 1][range + 1];
dp[at][range] %= MOD;
}
}
}
// for (int i = 1; i <= n; ++i) {
// for (int j = 1; j <= m; ++j) {
// cout << "(" << i << ", " << j << ") ---> " << dp[i][j] << endl;
// }
// }
dp[1][1] += MOD - 1, dp[1][1] %= MOD;
printf("%lld\n", dp[1][1]);
return 0;
}
Compilation message (stderr)
boat.cpp: In function 'int main(int, const char**)':
boat.cpp:55:18: warning: ignoring return value of 'int scanf(const char*, ...)', declared with attribute warn_unused_result [-Wunused-result]
scanf("%d", &n);
^
boat.cpp:57:33: warning: ignoring return value of 'int scanf(const char*, ...)', declared with attribute warn_unused_result [-Wunused-result]
scanf("%d %d", a + i, b + i);
^
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |