#include <bits/stdc++.h>
using namespace std;
// macros
typedef long long ll;
typedef long double ld;
typedef pair<int, int> ii;
typedef pair<ll, ll> lll;
typedef tuple<int, int, int> iii;
typedef vector<int> vi;
typedef vector<ii> vii;
typedef vector<iii> viii;
typedef vector<ll> vll;
typedef vector<lll> vlll;
#define REP(a,b,c) for(int a=int(b); a<int(c); a++)
#define RE(a,c) REP(a,0,c)
#define RE1(a,c) REP(a,1,c+1)
#define REI(a,b,c) REP(a,b,c+1)
#define REV(a,b,c) for(int a=int(c-1); a>=int(b); a--)
#define FOR(a,b) for(auto& a : b)
#define all(a) a.begin(), a.end()
#define INF 1e18
#define EPS 1e-9
#define pb push_back
#define popb pop_back
#define fi first
#define se second
#define sz size()
mt19937_64 rng(chrono::steady_clock::now().time_since_epoch().count());
// input
template<class T> void IN(T& x) {cin >> x;}
template<class H, class... T> void IN(H& h, T&... t) {IN(h); IN(t...); }
// output
template<class T1, class T2> void OUT(const pair<T1,T2>& x);
template<class T> void OUT(const vector<T>& x);
template<class T> void OUT(const T& x) {cout << x;}
template<class H, class... T> void OUT(const H& h, const T&... t) {OUT(h); OUT(t...); }
template<class T1, class T2> void OUT(const pair<T1,T2>& x) {OUT(x.fi,' ',x.se);}
template<class T> void OUT(const vector<T>& x) {RE(i,x.size()) OUT(i==0?"":" ",x[i]);}
template<class... T> void OUTL(const T&... t) {OUT(t..., "\n"); }
template<class H> void OUTLS(const H& h) {OUTL(h); }
template<class H, class... T> void OUTLS(const H& h, const T&... t) {OUT(h,' '); OUTLS(t...); }
//===================//
// Added libraries //
//===================//
// mod library
ll MOD=1e9+7;
inline ll mod(ll x_) {
return (x_)%MOD;
}
ll modpow(ll x_, ll N_) {
if(N_ == 0) return 1;
ll a = modpow(x_,N_/2);
a = (a*a)%MOD;
if(N_%2) a = (a*x_)%MOD;
return a;
}
ll inv(ll x_) {
return modpow(x_, MOD-2);
}
class mi {
public:
mi(ll v=0) {value = v;}
mi operator+ (ll rs) {return value+rs;}
mi operator- (ll rs) {return mod(value-rs+MOD);}
mi operator* (ll rs) {return mod(value*rs);}
mi operator/ (ll rs) {return mod(value*inv(rs));}
mi& operator+=(ll rs) {*this = (*this)+rs; return *this;}
mi& operator-=(ll rs) {*this = (*this)-rs; return *this;}
mi& operator*=(ll rs) {*this = (*this)*rs; return *this;}
mi& operator/=(ll rs) {*this = (*this)/rs; return *this;}
operator ll&() {return value;}
ll value;
};
typedef vector<mi> vmi;
//===================//
//end added libraries//
//===================//
void program();
int main() {
ios_base::sync_with_stdio(false);
cin.tie(NULL);
cout.tie(NULL);
program();
}
//===================//
// begin program //
//===================//
const int MX = 1010;
int n, m;
int a[MX], b[MX];
mi FACT[MX];
mi RFACT[MX];
mi RFACT2[MX];
mi ways[MX][MX];
mi ways2[MX][MX];
mi dp[MX][MX];
vi cc;
ll len[MX];
mi fact(int i) {
if(i < 0) return 0;
return FACT[i];
}
mi rfact(int i) {
if(i < 0) return 0;
return RFACT[i];
}
mi rfact2(int i) {
if(i < 0) return 0;
return RFACT2[i];
}
mi get(int i, int j) {
if(i < 0) return 1;
if(j < 0) return 0;
return dp[i][j];
}
mi getW(int i, int j) {
if(ways[i][j] != -1) return ways[i][j];
mi res = 0;
mi cFact = 1; ll factNumb = len[i];
RE1(i,j) {
cFact *= factNumb; factNumb--;
res += cFact*rfact2(i)*rfact(j-i);
}
res %= MOD;
return ways[i][j] = res*fact(j);
}
mi getWays(int i, int j) {
if(ways2[i][j] != -1) return ways2[i][j];
return ways2[i][j] = getW(i,j)-getW(i,j-1);
}
void program() {
IN(n);
RE(i,n) IN(a[i], b[i]);
RE(i,n) b[i]++;
FACT[0]=1;
REP(i,1,MX) FACT[i] = FACT[i-1]*mi(i);
REP(i,0,MX) RFACT[i] = mi(1)/FACT[i];
REP(i,0,MX) RFACT2[i] = RFACT[i]*RFACT[i];
// coördinate compression
RE(i,n) cc.pb(a[i]), cc.pb(b[i]);
sort(all(cc));
cc.erase(unique(all(cc)),cc.end());
RE(i,n) a[i] = lower_bound(all(cc),a[i])-cc.begin();
RE(i,n) b[i] = lower_bound(all(cc),b[i])-cc.begin();
m = cc.size();
RE(i,m-1) len[i] = cc[i+1]-cc[i];
RE(i,m-1) RE(j,n+1) ways[i][j] = ways2[i][j] = -1;
RE(i,n) RE(j,m) {
dp[i][j] = get(i,j-1);
if(a[i] <= j && j < b[i]) {
int inRange = 0;
REV(k,0,i+1) {
if(a[k] <= j && j < b[k]) inRange++;
mi w = getWays(j,inRange);
dp[i][j] += get(k-1,j-1)*w;
}
dp[i][j] %= MOD;
}
}
mi ans = 0;
RE(i,n) ans += dp[i][m-1];
ans %= MOD;
OUTL((ll)ans);
}
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
19 ms |
24320 KB |
Output is correct |
2 |
Correct |
19 ms |
24320 KB |
Output is correct |
3 |
Correct |
19 ms |
24320 KB |
Output is correct |
4 |
Correct |
19 ms |
24448 KB |
Output is correct |
5 |
Correct |
19 ms |
24320 KB |
Output is correct |
6 |
Correct |
18 ms |
24320 KB |
Output is correct |
7 |
Correct |
20 ms |
24320 KB |
Output is correct |
8 |
Correct |
18 ms |
24320 KB |
Output is correct |
9 |
Correct |
18 ms |
24320 KB |
Output is correct |
10 |
Correct |
18 ms |
24320 KB |
Output is correct |
11 |
Correct |
19 ms |
24320 KB |
Output is correct |
12 |
Correct |
20 ms |
24320 KB |
Output is correct |
13 |
Correct |
18 ms |
24320 KB |
Output is correct |
14 |
Correct |
18 ms |
24320 KB |
Output is correct |
15 |
Correct |
18 ms |
24320 KB |
Output is correct |
16 |
Correct |
16 ms |
24320 KB |
Output is correct |
17 |
Correct |
16 ms |
24320 KB |
Output is correct |
18 |
Correct |
16 ms |
24320 KB |
Output is correct |
19 |
Correct |
16 ms |
24320 KB |
Output is correct |
20 |
Correct |
17 ms |
24320 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
19 ms |
24320 KB |
Output is correct |
2 |
Correct |
19 ms |
24320 KB |
Output is correct |
3 |
Correct |
19 ms |
24320 KB |
Output is correct |
4 |
Correct |
19 ms |
24448 KB |
Output is correct |
5 |
Correct |
19 ms |
24320 KB |
Output is correct |
6 |
Correct |
18 ms |
24320 KB |
Output is correct |
7 |
Correct |
20 ms |
24320 KB |
Output is correct |
8 |
Correct |
18 ms |
24320 KB |
Output is correct |
9 |
Correct |
18 ms |
24320 KB |
Output is correct |
10 |
Correct |
18 ms |
24320 KB |
Output is correct |
11 |
Correct |
19 ms |
24320 KB |
Output is correct |
12 |
Correct |
20 ms |
24320 KB |
Output is correct |
13 |
Correct |
18 ms |
24320 KB |
Output is correct |
14 |
Correct |
18 ms |
24320 KB |
Output is correct |
15 |
Correct |
18 ms |
24320 KB |
Output is correct |
16 |
Correct |
16 ms |
24320 KB |
Output is correct |
17 |
Correct |
16 ms |
24320 KB |
Output is correct |
18 |
Correct |
16 ms |
24320 KB |
Output is correct |
19 |
Correct |
16 ms |
24320 KB |
Output is correct |
20 |
Correct |
17 ms |
24320 KB |
Output is correct |
21 |
Correct |
620 ms |
24440 KB |
Output is correct |
22 |
Correct |
592 ms |
24320 KB |
Output is correct |
23 |
Correct |
528 ms |
24384 KB |
Output is correct |
24 |
Correct |
587 ms |
24568 KB |
Output is correct |
25 |
Correct |
586 ms |
24440 KB |
Output is correct |
26 |
Correct |
1046 ms |
24440 KB |
Output is correct |
27 |
Correct |
1080 ms |
24384 KB |
Output is correct |
28 |
Correct |
1071 ms |
24392 KB |
Output is correct |
29 |
Correct |
1050 ms |
24384 KB |
Output is correct |
30 |
Correct |
21 ms |
24320 KB |
Output is correct |
31 |
Correct |
20 ms |
24320 KB |
Output is correct |
32 |
Correct |
21 ms |
24448 KB |
Output is correct |
33 |
Correct |
21 ms |
24448 KB |
Output is correct |
34 |
Correct |
21 ms |
24320 KB |
Output is correct |
35 |
Correct |
20 ms |
24320 KB |
Output is correct |
36 |
Correct |
21 ms |
24320 KB |
Output is correct |
37 |
Correct |
20 ms |
24320 KB |
Output is correct |
38 |
Correct |
21 ms |
24320 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
23 ms |
24320 KB |
Output is correct |
2 |
Correct |
20 ms |
24320 KB |
Output is correct |
3 |
Correct |
23 ms |
24320 KB |
Output is correct |
4 |
Correct |
22 ms |
24320 KB |
Output is correct |
5 |
Correct |
23 ms |
24320 KB |
Output is correct |
6 |
Correct |
30 ms |
24320 KB |
Output is correct |
7 |
Correct |
29 ms |
24320 KB |
Output is correct |
8 |
Correct |
30 ms |
24448 KB |
Output is correct |
9 |
Correct |
30 ms |
24320 KB |
Output is correct |
10 |
Correct |
29 ms |
24320 KB |
Output is correct |
11 |
Correct |
23 ms |
24320 KB |
Output is correct |
12 |
Correct |
21 ms |
24320 KB |
Output is correct |
13 |
Correct |
22 ms |
24320 KB |
Output is correct |
14 |
Correct |
22 ms |
24320 KB |
Output is correct |
15 |
Correct |
22 ms |
24320 KB |
Output is correct |
16 |
Correct |
20 ms |
24320 KB |
Output is correct |
17 |
Correct |
18 ms |
24320 KB |
Output is correct |
18 |
Correct |
19 ms |
24320 KB |
Output is correct |
19 |
Correct |
18 ms |
24320 KB |
Output is correct |
20 |
Correct |
19 ms |
24320 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
19 ms |
24320 KB |
Output is correct |
2 |
Correct |
19 ms |
24320 KB |
Output is correct |
3 |
Correct |
19 ms |
24320 KB |
Output is correct |
4 |
Correct |
19 ms |
24448 KB |
Output is correct |
5 |
Correct |
19 ms |
24320 KB |
Output is correct |
6 |
Correct |
18 ms |
24320 KB |
Output is correct |
7 |
Correct |
20 ms |
24320 KB |
Output is correct |
8 |
Correct |
18 ms |
24320 KB |
Output is correct |
9 |
Correct |
18 ms |
24320 KB |
Output is correct |
10 |
Correct |
18 ms |
24320 KB |
Output is correct |
11 |
Correct |
19 ms |
24320 KB |
Output is correct |
12 |
Correct |
20 ms |
24320 KB |
Output is correct |
13 |
Correct |
18 ms |
24320 KB |
Output is correct |
14 |
Correct |
18 ms |
24320 KB |
Output is correct |
15 |
Correct |
18 ms |
24320 KB |
Output is correct |
16 |
Correct |
16 ms |
24320 KB |
Output is correct |
17 |
Correct |
16 ms |
24320 KB |
Output is correct |
18 |
Correct |
16 ms |
24320 KB |
Output is correct |
19 |
Correct |
16 ms |
24320 KB |
Output is correct |
20 |
Correct |
17 ms |
24320 KB |
Output is correct |
21 |
Correct |
620 ms |
24440 KB |
Output is correct |
22 |
Correct |
592 ms |
24320 KB |
Output is correct |
23 |
Correct |
528 ms |
24384 KB |
Output is correct |
24 |
Correct |
587 ms |
24568 KB |
Output is correct |
25 |
Correct |
586 ms |
24440 KB |
Output is correct |
26 |
Correct |
1046 ms |
24440 KB |
Output is correct |
27 |
Correct |
1080 ms |
24384 KB |
Output is correct |
28 |
Correct |
1071 ms |
24392 KB |
Output is correct |
29 |
Correct |
1050 ms |
24384 KB |
Output is correct |
30 |
Correct |
21 ms |
24320 KB |
Output is correct |
31 |
Correct |
20 ms |
24320 KB |
Output is correct |
32 |
Correct |
21 ms |
24448 KB |
Output is correct |
33 |
Correct |
21 ms |
24448 KB |
Output is correct |
34 |
Correct |
21 ms |
24320 KB |
Output is correct |
35 |
Correct |
20 ms |
24320 KB |
Output is correct |
36 |
Correct |
21 ms |
24320 KB |
Output is correct |
37 |
Correct |
20 ms |
24320 KB |
Output is correct |
38 |
Correct |
21 ms |
24320 KB |
Output is correct |
39 |
Correct |
23 ms |
24320 KB |
Output is correct |
40 |
Correct |
20 ms |
24320 KB |
Output is correct |
41 |
Correct |
23 ms |
24320 KB |
Output is correct |
42 |
Correct |
22 ms |
24320 KB |
Output is correct |
43 |
Correct |
23 ms |
24320 KB |
Output is correct |
44 |
Correct |
30 ms |
24320 KB |
Output is correct |
45 |
Correct |
29 ms |
24320 KB |
Output is correct |
46 |
Correct |
30 ms |
24448 KB |
Output is correct |
47 |
Correct |
30 ms |
24320 KB |
Output is correct |
48 |
Correct |
29 ms |
24320 KB |
Output is correct |
49 |
Correct |
23 ms |
24320 KB |
Output is correct |
50 |
Correct |
21 ms |
24320 KB |
Output is correct |
51 |
Correct |
22 ms |
24320 KB |
Output is correct |
52 |
Correct |
22 ms |
24320 KB |
Output is correct |
53 |
Correct |
22 ms |
24320 KB |
Output is correct |
54 |
Correct |
20 ms |
24320 KB |
Output is correct |
55 |
Correct |
18 ms |
24320 KB |
Output is correct |
56 |
Correct |
19 ms |
24320 KB |
Output is correct |
57 |
Correct |
18 ms |
24320 KB |
Output is correct |
58 |
Correct |
19 ms |
24320 KB |
Output is correct |
59 |
Correct |
956 ms |
24440 KB |
Output is correct |
60 |
Correct |
877 ms |
24388 KB |
Output is correct |
61 |
Correct |
831 ms |
24440 KB |
Output is correct |
62 |
Correct |
974 ms |
24440 KB |
Output is correct |
63 |
Correct |
927 ms |
24440 KB |
Output is correct |
64 |
Correct |
1932 ms |
24384 KB |
Output is correct |
65 |
Correct |
1952 ms |
24320 KB |
Output is correct |
66 |
Correct |
1932 ms |
24400 KB |
Output is correct |
67 |
Correct |
1912 ms |
24320 KB |
Output is correct |
68 |
Correct |
1901 ms |
24320 KB |
Output is correct |
69 |
Correct |
808 ms |
24320 KB |
Output is correct |
70 |
Correct |
812 ms |
24320 KB |
Output is correct |
71 |
Correct |
818 ms |
24440 KB |
Output is correct |
72 |
Correct |
864 ms |
24400 KB |
Output is correct |
73 |
Correct |
873 ms |
24440 KB |
Output is correct |
74 |
Correct |
162 ms |
24320 KB |
Output is correct |
75 |
Correct |
180 ms |
24320 KB |
Output is correct |
76 |
Correct |
160 ms |
24320 KB |
Output is correct |
77 |
Correct |
161 ms |
24320 KB |
Output is correct |
78 |
Correct |
164 ms |
24440 KB |
Output is correct |