// --------------------------------------------------<TEMPLATE>--------------------------------------------------
// --------------------<optimizations>--------------------
/*
#pragma GCC optimize("Ofast,unroll-loops")
#pragma GCC target("avx,avx2,fma")
*/
// -------------------</optimizations>--------------------
// ---------------<Headers and namespaces>----------------
#include <bits/stdc++.h>
using namespace std;
/*
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>
using namespace __gnu_pbds;
*/
// ---------------</Headers and namespaces>---------------
// -----------------<Defines and typedefs>----------------
// typedef tree<int,null_type,less<int>,rb_tree_tag,
// tree_order_statistics_node_update> indexed_set; // use less_equal for multiset
// order_of_key (val): returns the no. of values less than val
// find_by_order (k): returns the iterator to kth largest element.(0-based)
typedef long double LD;
typedef long long ll;
#define int ll
#define pb push_back
#define mp make_pair
#define REP(i,n) for (int i = 0; i < n; i++)
#define FOR(i,a,b) for (int i = a; i < b; i++)
#define REPD(i,n) for (int i = n-1; i >= 0; i--)
#define FORD(i,a,b) for (int i = a; i >= b; i--)
#define remax(a,b) a = max(a,b)
#define remin(a,b) a = min(a,b)
#define all(v) v.begin(),v.end()
typedef map<int,int> mii;
typedef vector<int> vi;
typedef vector<vi> vvi;
typedef pair<int,int> pii;
typedef vector<pii> vpii;
#define F first
#define S second
#define PQ(type) priority_queue<type>
#define PQD(type) priority_queue<type,vector<type>,greater<type> >
#define WL(t) while(t --)
#define SZ(x) ((int)(x).size())
#define runtime() ((double)clock() / CLOCKS_PER_SEC)
#define inrange(i,a,b) ((i>=min(a,b)) && (i<=max(a,b)))
/*
// -----<SCANF>-----
#define sfi(x) scanf("%d",&x);
#define sfi2(x,y) scanf("%d%d",&x,&y);
#define sfi3(x,y,z) scanf("%d%d%d",&x,&y,&z);
#define sfl(x) scanf("%lld",&x);
#define sfl2(x,y) scanf("%lld%lld",&x,&y);
#define sfl3(x,y,z) scanf("%lld%lld%lld",&x,&y,&z);
#define sfl4(x,y,z,x1) scanf("%lld%lld%lld%lld",&x,&y,&z,&x1);
#define sfl5(x,y,z,x1,y1) scanf("%lld%lld%lld%lld%lld",&x,&y,&z,&x1,&y1);
#define sfl6(x,y,z,x1,y1,z1) scanf("%lld%lld%lld%lld%lld%lld",&x,&y,&z,&x1,&y1,&z1);
#define sfs(x) scanf("%s",x);
#define sfs2(x,y) scanf("%s%s",x,y);
#define sfs3(x,y,z) scanf("%s%s%s",x,y,z);
// ----</SCANF>-----
// ----<PRINTF>-----
#define pfi(x) printf("%d\n",x);
#define pfi2(x,y) printf("%d %d\n",x,y);
#define pfi3(x,y,z) printf("%d %d %d\n",x,y,z);
#define pfl(x) printf("%lld\n",x);
#define pfl2(x,y) printf("%lld %lld\n",x,y);
#define pfl3(x,y,z) printf("%lld %lld %lld\n",x,y,z);
#define pfs(x) printf("%s\n",x);
#define pfs2(x,y) printf("%s %s\n",x,y);
#define pfs3(x,y,z) printf("%s %s %s\n",x,y,z);
#define pwe(x) printf("%lld ",x); // print without end
// ----</PRINTF>----
*/
#define FLSH fflush(stdout)
#define fileIO(name) \
freopen(name".in", "r", stdin); \
freopen(name".out", "w", stdout);
#define PRECISION(x) cout << fixed << setprecision(x);
#define FAST_IO ios::sync_with_stdio(0); cin.tie(0); cout.tie(0);
// ----------------</Defines and typedefs>----------------
// -------------------<Debugging stuff>-------------------
#ifdef TRACE
#define trace(...) __f(#__VA_ARGS__, __VA_ARGS__)
template <typename Arg1>
void __f(const char* name, Arg1&& arg1){
cout << name << " : " << arg1 << std::endl;
}
template <typename Arg1, typename... Args>
void __f(const char* names, Arg1&& arg1, Args&&... args){
const char* comma = strchr(names + 1, ',');cout.write(names, comma - names) << " : " << arg1<<" | ";__f(comma+1, args...);
}
#else
#define trace(...)
#endif
// ------------------</Debugging stuff>-------------------
// ------------------------<Consts>-----------------------
const int MAXN = 1000005;
const int SQRTN = 1003;
const int LOGN = 22;
const double PI=acos(-1);
#ifdef int
const int INF=1e16;
#else
const int INF=1e9;
#endif
const int MOD = 1000000007;
const int FMOD = 998244353;
const double eps = 1e-9;
// -----------------------</Consts>-----------------------
// -------------------------<RNG>-------------------------
mt19937 RNG(chrono::steady_clock::now().time_since_epoch().count());
#define SHUF(v) shuffle(all(v), RNG);
// Use mt19937_64 for 64 bit random numbers.
// ------------------------</RNG>-------------------------
// ----------------------<MATH>---------------------------
template<typename T> T gcd(T a, T b){return(b?__gcd(a,b):a);}
template<typename T> T lcm(T a, T b){return(a*(b/gcd(a,b)));}
int add(int a, int b, int c = MOD){int res=a+b;return(res>=c?res-c:res);}
int mod_neg(int a, int b, int c = MOD){int res;if(abs(a-b)<c)res=a-b;else res=(a-b)%c;return(res<0?res+c:res);}
int mul(int a, int b, int c = MOD){ll res=(ll)a*b;return(res>=c?res%c:res);}
int muln(int a, int b, int c = MOD){ll res=(ll)a*b;return ((res%c)+c)%c;}
ll mulmod(ll a,ll b, ll m = MOD){ll q = (ll)(((LD)a*(LD)b)/(LD)m);ll r=a*b-q*m;if(r>m)r%=m;if(r<0)r+=m;return r;}
template<typename T>T expo(T e, T n){T x=1,p=e;while(n){if(n&1)x=x*p;p=p*p;n>>=1;}return x;}
template<typename T>T power(T e, T n, T m = MOD){T x=1,p=e;while(n){if(n&1)x=mul(x,p,m);p=mul(p,p,m);n>>=1;}return x;}
template<typename T>T extended_euclid(T a, T b, T &x, T &y){T xx=0,yy=1;y=0;x=1;while(b){T q=a/b,t=b;b=a%b;a=t;\
t=xx;xx=x-q*xx;x=t;t=yy;yy=y-q*yy;y=t;}return a;}
template<typename T>T mod_inverse(T a, T n = MOD){T x,y,z=0;T d=extended_euclid(a,n,x,y);return(d>1?-1:mod_neg(x,z,n));}
const int FACSZ = 1; // Make sure to change this
int fact[FACSZ],ifact[FACSZ];
void precom(int c = MOD){
fact[0] = 1;
FOR(i,1,FACSZ) fact[i] = mul(fact[i-1],i,c);
ifact[FACSZ-1] = mod_inverse(fact[FACSZ-1],c);
REPD(i,FACSZ-1){
ifact[i] = mul(i+1,ifact[i+1],c);
}
}
int ncr(int n,int r,int c = MOD){
return mul(mul(ifact[r],ifact[n-r],c),fact[n],c);
}
// ----------------------</MATH>--------------------------
// --------------------------------------------------</TEMPLATE>--------------------------------------------------
void solvethetestcase();
signed main(){
// comment when using scanf,printf
FAST_IO
int t = 1;
// (UNCOMMENT FOR MULTIPLE TEST CASES)
// cin >> t;
FOR(testcase,1,t+1){
// (UNCOMMENT FOR CODEJAM)
// printf("Case #%lld: ",testcase);
solvethetestcase();
}
}
int n;
pii a[505];
vi v;
int dp[505][1005],pref[505][1005];
int mi[505];
void solvethetestcase(){
cin >> n;
v.pb(0);
FOR(i,1,n+1){
cin >> a[i].F >> a[i].S;
v.pb(a[i].F);
v.pb(a[i].S+1);
mi[i] = mod_inverse(i);
}
sort(all(v));
dp[0][0] = 1;
REP(i,2*n+1) pref[0][i] = 1;
FOR(i,1,n+1){
FOR(j,1,2*n){
dp[i][j] = 0;
int cnt = 0,cur = 1;
FORD(k,i,1){
if(a[k].F <= v[j] and v[j] <= a[k].S){
cur = mul(cur,v[j+1]-v[j]+cnt);
cnt++;
cur = mul(cur,mi[cnt]);
dp[i][j] = add(dp[i][j],mul(cur,pref[k-1][j-1]));
}
}
}
pref[i][0] = 1;
FOR(j,1,2*n) pref[i][j] = (dp[i][j]+pref[i][j-1])%MOD;
}
cout << pref[n][2*n-1]-1 << endl;
}
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
277 ms |
8184 KB |
Output is correct |
2 |
Correct |
275 ms |
8316 KB |
Output is correct |
3 |
Correct |
258 ms |
8268 KB |
Output is correct |
4 |
Correct |
251 ms |
8184 KB |
Output is correct |
5 |
Correct |
253 ms |
8244 KB |
Output is correct |
6 |
Correct |
166 ms |
8184 KB |
Output is correct |
7 |
Correct |
161 ms |
8184 KB |
Output is correct |
8 |
Correct |
166 ms |
8184 KB |
Output is correct |
9 |
Correct |
171 ms |
8184 KB |
Output is correct |
10 |
Correct |
163 ms |
8184 KB |
Output is correct |
11 |
Correct |
183 ms |
8312 KB |
Output is correct |
12 |
Correct |
169 ms |
8312 KB |
Output is correct |
13 |
Correct |
162 ms |
8184 KB |
Output is correct |
14 |
Correct |
175 ms |
8312 KB |
Output is correct |
15 |
Correct |
191 ms |
8232 KB |
Output is correct |
16 |
Correct |
279 ms |
8184 KB |
Output is correct |
17 |
Correct |
270 ms |
8440 KB |
Output is correct |
18 |
Correct |
274 ms |
8184 KB |
Output is correct |
19 |
Correct |
284 ms |
8184 KB |
Output is correct |
20 |
Correct |
280 ms |
8232 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
277 ms |
8184 KB |
Output is correct |
2 |
Correct |
275 ms |
8316 KB |
Output is correct |
3 |
Correct |
258 ms |
8268 KB |
Output is correct |
4 |
Correct |
251 ms |
8184 KB |
Output is correct |
5 |
Correct |
253 ms |
8244 KB |
Output is correct |
6 |
Correct |
166 ms |
8184 KB |
Output is correct |
7 |
Correct |
161 ms |
8184 KB |
Output is correct |
8 |
Correct |
166 ms |
8184 KB |
Output is correct |
9 |
Correct |
171 ms |
8184 KB |
Output is correct |
10 |
Correct |
163 ms |
8184 KB |
Output is correct |
11 |
Correct |
183 ms |
8312 KB |
Output is correct |
12 |
Correct |
169 ms |
8312 KB |
Output is correct |
13 |
Correct |
162 ms |
8184 KB |
Output is correct |
14 |
Correct |
175 ms |
8312 KB |
Output is correct |
15 |
Correct |
191 ms |
8232 KB |
Output is correct |
16 |
Correct |
279 ms |
8184 KB |
Output is correct |
17 |
Correct |
270 ms |
8440 KB |
Output is correct |
18 |
Correct |
274 ms |
8184 KB |
Output is correct |
19 |
Correct |
284 ms |
8184 KB |
Output is correct |
20 |
Correct |
280 ms |
8232 KB |
Output is correct |
21 |
Correct |
649 ms |
8336 KB |
Output is correct |
22 |
Correct |
648 ms |
8312 KB |
Output is correct |
23 |
Correct |
624 ms |
8312 KB |
Output is correct |
24 |
Correct |
640 ms |
8228 KB |
Output is correct |
25 |
Correct |
674 ms |
8268 KB |
Output is correct |
26 |
Correct |
602 ms |
8440 KB |
Output is correct |
27 |
Correct |
619 ms |
8568 KB |
Output is correct |
28 |
Correct |
621 ms |
8188 KB |
Output is correct |
29 |
Correct |
642 ms |
8312 KB |
Output is correct |
30 |
Correct |
180 ms |
8312 KB |
Output is correct |
31 |
Correct |
165 ms |
8312 KB |
Output is correct |
32 |
Correct |
166 ms |
8316 KB |
Output is correct |
33 |
Correct |
165 ms |
8292 KB |
Output is correct |
34 |
Correct |
164 ms |
8312 KB |
Output is correct |
35 |
Correct |
272 ms |
8228 KB |
Output is correct |
36 |
Correct |
271 ms |
8312 KB |
Output is correct |
37 |
Correct |
273 ms |
8312 KB |
Output is correct |
38 |
Correct |
277 ms |
8312 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
8 ms |
1536 KB |
Output is correct |
2 |
Correct |
6 ms |
1536 KB |
Output is correct |
3 |
Correct |
6 ms |
1536 KB |
Output is correct |
4 |
Correct |
6 ms |
1536 KB |
Output is correct |
5 |
Correct |
9 ms |
1536 KB |
Output is correct |
6 |
Correct |
8 ms |
1536 KB |
Output is correct |
7 |
Correct |
8 ms |
1536 KB |
Output is correct |
8 |
Correct |
8 ms |
1536 KB |
Output is correct |
9 |
Correct |
10 ms |
1536 KB |
Output is correct |
10 |
Correct |
8 ms |
1536 KB |
Output is correct |
11 |
Correct |
8 ms |
1536 KB |
Output is correct |
12 |
Correct |
8 ms |
1792 KB |
Output is correct |
13 |
Correct |
7 ms |
1536 KB |
Output is correct |
14 |
Correct |
7 ms |
1536 KB |
Output is correct |
15 |
Correct |
7 ms |
1536 KB |
Output is correct |
16 |
Correct |
6 ms |
1536 KB |
Output is correct |
17 |
Correct |
6 ms |
1536 KB |
Output is correct |
18 |
Correct |
6 ms |
1536 KB |
Output is correct |
19 |
Correct |
6 ms |
1536 KB |
Output is correct |
20 |
Correct |
6 ms |
1536 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
277 ms |
8184 KB |
Output is correct |
2 |
Correct |
275 ms |
8316 KB |
Output is correct |
3 |
Correct |
258 ms |
8268 KB |
Output is correct |
4 |
Correct |
251 ms |
8184 KB |
Output is correct |
5 |
Correct |
253 ms |
8244 KB |
Output is correct |
6 |
Correct |
166 ms |
8184 KB |
Output is correct |
7 |
Correct |
161 ms |
8184 KB |
Output is correct |
8 |
Correct |
166 ms |
8184 KB |
Output is correct |
9 |
Correct |
171 ms |
8184 KB |
Output is correct |
10 |
Correct |
163 ms |
8184 KB |
Output is correct |
11 |
Correct |
183 ms |
8312 KB |
Output is correct |
12 |
Correct |
169 ms |
8312 KB |
Output is correct |
13 |
Correct |
162 ms |
8184 KB |
Output is correct |
14 |
Correct |
175 ms |
8312 KB |
Output is correct |
15 |
Correct |
191 ms |
8232 KB |
Output is correct |
16 |
Correct |
279 ms |
8184 KB |
Output is correct |
17 |
Correct |
270 ms |
8440 KB |
Output is correct |
18 |
Correct |
274 ms |
8184 KB |
Output is correct |
19 |
Correct |
284 ms |
8184 KB |
Output is correct |
20 |
Correct |
280 ms |
8232 KB |
Output is correct |
21 |
Correct |
649 ms |
8336 KB |
Output is correct |
22 |
Correct |
648 ms |
8312 KB |
Output is correct |
23 |
Correct |
624 ms |
8312 KB |
Output is correct |
24 |
Correct |
640 ms |
8228 KB |
Output is correct |
25 |
Correct |
674 ms |
8268 KB |
Output is correct |
26 |
Correct |
602 ms |
8440 KB |
Output is correct |
27 |
Correct |
619 ms |
8568 KB |
Output is correct |
28 |
Correct |
621 ms |
8188 KB |
Output is correct |
29 |
Correct |
642 ms |
8312 KB |
Output is correct |
30 |
Correct |
180 ms |
8312 KB |
Output is correct |
31 |
Correct |
165 ms |
8312 KB |
Output is correct |
32 |
Correct |
166 ms |
8316 KB |
Output is correct |
33 |
Correct |
165 ms |
8292 KB |
Output is correct |
34 |
Correct |
164 ms |
8312 KB |
Output is correct |
35 |
Correct |
272 ms |
8228 KB |
Output is correct |
36 |
Correct |
271 ms |
8312 KB |
Output is correct |
37 |
Correct |
273 ms |
8312 KB |
Output is correct |
38 |
Correct |
277 ms |
8312 KB |
Output is correct |
39 |
Correct |
8 ms |
1536 KB |
Output is correct |
40 |
Correct |
6 ms |
1536 KB |
Output is correct |
41 |
Correct |
6 ms |
1536 KB |
Output is correct |
42 |
Correct |
6 ms |
1536 KB |
Output is correct |
43 |
Correct |
9 ms |
1536 KB |
Output is correct |
44 |
Correct |
8 ms |
1536 KB |
Output is correct |
45 |
Correct |
8 ms |
1536 KB |
Output is correct |
46 |
Correct |
8 ms |
1536 KB |
Output is correct |
47 |
Correct |
10 ms |
1536 KB |
Output is correct |
48 |
Correct |
8 ms |
1536 KB |
Output is correct |
49 |
Correct |
8 ms |
1536 KB |
Output is correct |
50 |
Correct |
8 ms |
1792 KB |
Output is correct |
51 |
Correct |
7 ms |
1536 KB |
Output is correct |
52 |
Correct |
7 ms |
1536 KB |
Output is correct |
53 |
Correct |
7 ms |
1536 KB |
Output is correct |
54 |
Correct |
6 ms |
1536 KB |
Output is correct |
55 |
Correct |
6 ms |
1536 KB |
Output is correct |
56 |
Correct |
6 ms |
1536 KB |
Output is correct |
57 |
Correct |
6 ms |
1536 KB |
Output is correct |
58 |
Correct |
6 ms |
1536 KB |
Output is correct |
59 |
Correct |
624 ms |
8312 KB |
Output is correct |
60 |
Correct |
597 ms |
8312 KB |
Output is correct |
61 |
Correct |
611 ms |
8312 KB |
Output is correct |
62 |
Correct |
651 ms |
8312 KB |
Output is correct |
63 |
Correct |
659 ms |
8416 KB |
Output is correct |
64 |
Correct |
905 ms |
8224 KB |
Output is correct |
65 |
Correct |
919 ms |
8304 KB |
Output is correct |
66 |
Correct |
1014 ms |
8192 KB |
Output is correct |
67 |
Correct |
889 ms |
8228 KB |
Output is correct |
68 |
Correct |
832 ms |
8312 KB |
Output is correct |
69 |
Correct |
657 ms |
8324 KB |
Output is correct |
70 |
Correct |
672 ms |
8312 KB |
Output is correct |
71 |
Correct |
690 ms |
8192 KB |
Output is correct |
72 |
Correct |
675 ms |
8312 KB |
Output is correct |
73 |
Correct |
686 ms |
8252 KB |
Output is correct |
74 |
Correct |
488 ms |
8384 KB |
Output is correct |
75 |
Correct |
517 ms |
8276 KB |
Output is correct |
76 |
Correct |
503 ms |
8312 KB |
Output is correct |
77 |
Correct |
494 ms |
8184 KB |
Output is correct |
78 |
Correct |
508 ms |
8256 KB |
Output is correct |