#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
#define ALL(v) (v).begin(), (v).end()
#define MASK(i) (1LL << (i))
#define GETBIT(mask, i) (((mask) >> (i)) & 1)
// mt19937_64 rng(chrono::steady_clock::now().time_since_epoch().count());
mt19937_64 rng(1);
ll rngesus(ll l, ll r){return ((ull) rng()) % (r - l + 1) + l;}
ll max(ll a, ll b){return (a > b) ? a : b;}
ll min(ll a, ll b){return (a < b) ? a : b;}
ll LASTBIT(ll mask){return mask & (-mask);}
ll pop_cnt(ll mask){return __builtin_popcountll(mask);}
ll ctz(ll mask){return __builtin_ctzll(mask);}
ll clz(ll mask){return __builtin_clzll(mask);}
ll logOf(ll mask){return 63 - clz(mask);}
template <class T1, class T2>
bool minimize(T1 &a, T2 b){
if (a > b){a = b; return true;}
return false;
}
template <class T1, class T2>
bool maximize(T1 &a, T2 b){
if (a < b){a = b; return true;}
return false;
}
template <class T>
void printArr(T& a, string separator = " ", string finish = "\n", ostream& out = cout){
for(auto i: a) out << i << separator;
out << finish;
}
template <class T>
void remove_dup(vector<T> &a){
sort(ALL(a));
a.resize(unique(ALL(a)) - a.begin());
}
const long MOD = 1e9 + 7;
ll fast_pow(ll a, ll b){
ll ans = 1;
while(b > 0){
if (b & 1) ans = ans * a % MOD;
a = a * a % MOD;
b /= 2;
}
return ans;
}
ll inverse(ll a){return fast_pow(a, MOD - 2);}
const long N = 505;
ll fact[N], ifact[N];
void prepare(){
fact[0] = 1;
for(long i = 1; i<N; ++i) fact[i] = fact[i-1] * i % MOD;
ifact[N-1]= inverse(fact[N-1]);
for(long i = N-1; i>=1; --i) ifact[i-1] = ifact[i] * i % MOD;
}
ll C(long n, long k){
if (k < 0 || k > n) return 0;
return fact[n] * ifact[k] % MOD * ifact[n - k] % MOD;
}
ll eulerCandy(long s, long k){
return C(s + k - 1, k - 1);
}
ll normie(ll a){
a %= MOD;
if (a < 0) a += MOD;
return a;
}
void add(int &a, int b){
a += b;
if (a >= MOD) a -= MOD;
}
void sub(int &a, int b){
a -= b;
if (a < 0) a += MOD;
}
int dp[N * 2][N], s[N * 2][N];
int main(void){
ios::sync_with_stdio(0); cin.tie(0); cout.tie(0);
prepare();
int n; cin >> n;
vector<pair<int, int>> a(n);
for(int i= 0; i<n; ++i) cin >> a[i].first >> a[i].second;
vector<int> b;
for(pair<int, int> i: a){
b.push_back(i.first - 1);
b.push_back(i.second);
}
remove_dup(b);
vector<pair<int, int>> range;
range.push_back({0, 0});
for(int i= 1; i<(int)b.size(); ++i) range.push_back({b[i-1] + 1, b[i]});
a.insert(a.begin(), {0, 0});
dp[0][0] = 1;
for(int i= 0; i <= n; ++i) s[0][i] = 1;
for(int i= 0; i<range.size(); ++i) s[i][0] = 1;
for(int layer = 1; layer < (int)range.size(); ++layer){
int len = range[layer].second - range[layer].first + 1;
vector<int> fuck(min(n, len) + 1, 1);
for(int i = 1; i<(int)fuck.size(); ++i)
fuck[i] = 1LL * fuck[i-1] * (len - i + 1) % MOD;
for(int i = 1; i<(int)fuck.size(); ++i)
fuck[i] = 1LL * fuck[i] * ifact[i] % MOD;
vector<int> love(n+1);
love[1] = len;
for(int i = 2; i<=n; ++i){
for(int t = 2; t <= min(fuck.size() - 1, i); ++t){
add(love[i], 1LL * fuck[t] * C(i - 2, t - 2) % MOD);
}
}
for(int i = 1; i<=n; ++i){
if (a[i].first > range[layer].first || range[layer].second > a[i].second) continue;
int sum = s[layer - 1][i - 1];
int cnt = 0;
for(int j = i; j<=n; ++j){
if (a[j].first > range[layer].first || range[layer].second > a[j].second) continue;
cnt++;
add(dp[layer][j], 1LL * sum * love[cnt] % MOD);
}
}
for(int i = 1; i<=n; ++i){
s[layer][i] = dp[layer][i];
add(s[layer][i], s[layer-1][i]);
add(s[layer][i], s[layer][i-1]);
sub(s[layer][i], s[layer-1][i-1]);
}
}
int ans = s[range.size() - 1][n];
sub(ans, 1);
cout << ans << "\n";
return 0;
}
Compilation message
boat.cpp: In function 'int main()':
boat.cpp:120:20: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<std::pair<int, int> >::size_type' {aka 'long unsigned int'} [-Wsign-compare]
120 | for(int i= 0; i<range.size(); ++i) s[i][0] = 1;
| ~^~~~~~~~~~~~~
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
389 ms |
4320 KB |
Output is correct |
2 |
Correct |
369 ms |
4244 KB |
Output is correct |
3 |
Correct |
371 ms |
4512 KB |
Output is correct |
4 |
Correct |
374 ms |
4180 KB |
Output is correct |
5 |
Correct |
381 ms |
4396 KB |
Output is correct |
6 |
Correct |
368 ms |
4420 KB |
Output is correct |
7 |
Correct |
373 ms |
4408 KB |
Output is correct |
8 |
Correct |
368 ms |
4436 KB |
Output is correct |
9 |
Correct |
382 ms |
4256 KB |
Output is correct |
10 |
Correct |
368 ms |
4228 KB |
Output is correct |
11 |
Correct |
378 ms |
4500 KB |
Output is correct |
12 |
Correct |
396 ms |
4244 KB |
Output is correct |
13 |
Correct |
370 ms |
4296 KB |
Output is correct |
14 |
Correct |
369 ms |
4356 KB |
Output is correct |
15 |
Correct |
374 ms |
4692 KB |
Output is correct |
16 |
Correct |
65 ms |
2696 KB |
Output is correct |
17 |
Correct |
74 ms |
2772 KB |
Output is correct |
18 |
Correct |
71 ms |
2708 KB |
Output is correct |
19 |
Correct |
71 ms |
2716 KB |
Output is correct |
20 |
Correct |
68 ms |
2712 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
389 ms |
4320 KB |
Output is correct |
2 |
Correct |
369 ms |
4244 KB |
Output is correct |
3 |
Correct |
371 ms |
4512 KB |
Output is correct |
4 |
Correct |
374 ms |
4180 KB |
Output is correct |
5 |
Correct |
381 ms |
4396 KB |
Output is correct |
6 |
Correct |
368 ms |
4420 KB |
Output is correct |
7 |
Correct |
373 ms |
4408 KB |
Output is correct |
8 |
Correct |
368 ms |
4436 KB |
Output is correct |
9 |
Correct |
382 ms |
4256 KB |
Output is correct |
10 |
Correct |
368 ms |
4228 KB |
Output is correct |
11 |
Correct |
378 ms |
4500 KB |
Output is correct |
12 |
Correct |
396 ms |
4244 KB |
Output is correct |
13 |
Correct |
370 ms |
4296 KB |
Output is correct |
14 |
Correct |
369 ms |
4356 KB |
Output is correct |
15 |
Correct |
374 ms |
4692 KB |
Output is correct |
16 |
Correct |
65 ms |
2696 KB |
Output is correct |
17 |
Correct |
74 ms |
2772 KB |
Output is correct |
18 |
Correct |
71 ms |
2708 KB |
Output is correct |
19 |
Correct |
71 ms |
2716 KB |
Output is correct |
20 |
Correct |
68 ms |
2712 KB |
Output is correct |
21 |
Correct |
77 ms |
4180 KB |
Output is correct |
22 |
Correct |
96 ms |
4156 KB |
Output is correct |
23 |
Correct |
73 ms |
4128 KB |
Output is correct |
24 |
Correct |
77 ms |
4156 KB |
Output is correct |
25 |
Correct |
83 ms |
4176 KB |
Output is correct |
26 |
Correct |
131 ms |
4100 KB |
Output is correct |
27 |
Correct |
130 ms |
4176 KB |
Output is correct |
28 |
Correct |
126 ms |
4152 KB |
Output is correct |
29 |
Correct |
127 ms |
4180 KB |
Output is correct |
30 |
Correct |
375 ms |
4436 KB |
Output is correct |
31 |
Correct |
355 ms |
4252 KB |
Output is correct |
32 |
Correct |
357 ms |
4436 KB |
Output is correct |
33 |
Correct |
361 ms |
4388 KB |
Output is correct |
34 |
Correct |
350 ms |
4284 KB |
Output is correct |
35 |
Correct |
365 ms |
4608 KB |
Output is correct |
36 |
Correct |
366 ms |
4432 KB |
Output is correct |
37 |
Correct |
358 ms |
4540 KB |
Output is correct |
38 |
Correct |
350 ms |
4444 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
8 ms |
2652 KB |
Output is correct |
2 |
Correct |
8 ms |
2652 KB |
Output is correct |
3 |
Correct |
8 ms |
2784 KB |
Output is correct |
4 |
Correct |
10 ms |
2652 KB |
Output is correct |
5 |
Correct |
8 ms |
2648 KB |
Output is correct |
6 |
Correct |
9 ms |
2648 KB |
Output is correct |
7 |
Correct |
9 ms |
2652 KB |
Output is correct |
8 |
Correct |
8 ms |
2700 KB |
Output is correct |
9 |
Correct |
8 ms |
2652 KB |
Output is correct |
10 |
Correct |
8 ms |
2652 KB |
Output is correct |
11 |
Correct |
7 ms |
2648 KB |
Output is correct |
12 |
Correct |
8 ms |
2652 KB |
Output is correct |
13 |
Correct |
9 ms |
2652 KB |
Output is correct |
14 |
Correct |
8 ms |
2652 KB |
Output is correct |
15 |
Correct |
7 ms |
2704 KB |
Output is correct |
16 |
Correct |
4 ms |
2652 KB |
Output is correct |
17 |
Correct |
4 ms |
2652 KB |
Output is correct |
18 |
Correct |
4 ms |
2652 KB |
Output is correct |
19 |
Correct |
4 ms |
2652 KB |
Output is correct |
20 |
Correct |
4 ms |
2652 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
389 ms |
4320 KB |
Output is correct |
2 |
Correct |
369 ms |
4244 KB |
Output is correct |
3 |
Correct |
371 ms |
4512 KB |
Output is correct |
4 |
Correct |
374 ms |
4180 KB |
Output is correct |
5 |
Correct |
381 ms |
4396 KB |
Output is correct |
6 |
Correct |
368 ms |
4420 KB |
Output is correct |
7 |
Correct |
373 ms |
4408 KB |
Output is correct |
8 |
Correct |
368 ms |
4436 KB |
Output is correct |
9 |
Correct |
382 ms |
4256 KB |
Output is correct |
10 |
Correct |
368 ms |
4228 KB |
Output is correct |
11 |
Correct |
378 ms |
4500 KB |
Output is correct |
12 |
Correct |
396 ms |
4244 KB |
Output is correct |
13 |
Correct |
370 ms |
4296 KB |
Output is correct |
14 |
Correct |
369 ms |
4356 KB |
Output is correct |
15 |
Correct |
374 ms |
4692 KB |
Output is correct |
16 |
Correct |
65 ms |
2696 KB |
Output is correct |
17 |
Correct |
74 ms |
2772 KB |
Output is correct |
18 |
Correct |
71 ms |
2708 KB |
Output is correct |
19 |
Correct |
71 ms |
2716 KB |
Output is correct |
20 |
Correct |
68 ms |
2712 KB |
Output is correct |
21 |
Correct |
77 ms |
4180 KB |
Output is correct |
22 |
Correct |
96 ms |
4156 KB |
Output is correct |
23 |
Correct |
73 ms |
4128 KB |
Output is correct |
24 |
Correct |
77 ms |
4156 KB |
Output is correct |
25 |
Correct |
83 ms |
4176 KB |
Output is correct |
26 |
Correct |
131 ms |
4100 KB |
Output is correct |
27 |
Correct |
130 ms |
4176 KB |
Output is correct |
28 |
Correct |
126 ms |
4152 KB |
Output is correct |
29 |
Correct |
127 ms |
4180 KB |
Output is correct |
30 |
Correct |
375 ms |
4436 KB |
Output is correct |
31 |
Correct |
355 ms |
4252 KB |
Output is correct |
32 |
Correct |
357 ms |
4436 KB |
Output is correct |
33 |
Correct |
361 ms |
4388 KB |
Output is correct |
34 |
Correct |
350 ms |
4284 KB |
Output is correct |
35 |
Correct |
365 ms |
4608 KB |
Output is correct |
36 |
Correct |
366 ms |
4432 KB |
Output is correct |
37 |
Correct |
358 ms |
4540 KB |
Output is correct |
38 |
Correct |
350 ms |
4444 KB |
Output is correct |
39 |
Correct |
8 ms |
2652 KB |
Output is correct |
40 |
Correct |
8 ms |
2652 KB |
Output is correct |
41 |
Correct |
8 ms |
2784 KB |
Output is correct |
42 |
Correct |
10 ms |
2652 KB |
Output is correct |
43 |
Correct |
8 ms |
2648 KB |
Output is correct |
44 |
Correct |
9 ms |
2648 KB |
Output is correct |
45 |
Correct |
9 ms |
2652 KB |
Output is correct |
46 |
Correct |
8 ms |
2700 KB |
Output is correct |
47 |
Correct |
8 ms |
2652 KB |
Output is correct |
48 |
Correct |
8 ms |
2652 KB |
Output is correct |
49 |
Correct |
7 ms |
2648 KB |
Output is correct |
50 |
Correct |
8 ms |
2652 KB |
Output is correct |
51 |
Correct |
9 ms |
2652 KB |
Output is correct |
52 |
Correct |
8 ms |
2652 KB |
Output is correct |
53 |
Correct |
7 ms |
2704 KB |
Output is correct |
54 |
Correct |
4 ms |
2652 KB |
Output is correct |
55 |
Correct |
4 ms |
2652 KB |
Output is correct |
56 |
Correct |
4 ms |
2652 KB |
Output is correct |
57 |
Correct |
4 ms |
2652 KB |
Output is correct |
58 |
Correct |
4 ms |
2652 KB |
Output is correct |
59 |
Correct |
841 ms |
4400 KB |
Output is correct |
60 |
Correct |
800 ms |
4584 KB |
Output is correct |
61 |
Correct |
795 ms |
4688 KB |
Output is correct |
62 |
Correct |
847 ms |
4556 KB |
Output is correct |
63 |
Correct |
808 ms |
4436 KB |
Output is correct |
64 |
Correct |
872 ms |
4432 KB |
Output is correct |
65 |
Correct |
876 ms |
4412 KB |
Output is correct |
66 |
Correct |
859 ms |
4772 KB |
Output is correct |
67 |
Correct |
864 ms |
4524 KB |
Output is correct |
68 |
Correct |
864 ms |
4400 KB |
Output is correct |
69 |
Correct |
807 ms |
4856 KB |
Output is correct |
70 |
Correct |
815 ms |
4472 KB |
Output is correct |
71 |
Correct |
815 ms |
4692 KB |
Output is correct |
72 |
Correct |
807 ms |
4432 KB |
Output is correct |
73 |
Correct |
800 ms |
4432 KB |
Output is correct |
74 |
Correct |
88 ms |
2648 KB |
Output is correct |
75 |
Correct |
88 ms |
2648 KB |
Output is correct |
76 |
Correct |
88 ms |
2652 KB |
Output is correct |
77 |
Correct |
89 ms |
2652 KB |
Output is correct |
78 |
Correct |
88 ms |
2708 KB |
Output is correct |