Submission #306942

# Submission time Handle Problem Language Result Execution time Memory
306942 2020-09-26T14:58:22 Z MarcoMeijer Boat (APIO16_boat) C++14
27 / 100
2000 ms 16504 KB
#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 mod(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 ways[MX][MX];
mi dp[MX][MX];
vi cc;

mi fact(int i) {
    if(i < 0) return 0;
    return FACT[i];
}
mi get(int i, int j) {
    if(i < 0) return 1;
    if(j < 0) return 0;
    return dp[i][j];
}

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);

    // 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) RE(j,n+1) {
        ll len = cc[i+1]-cc[i];
        ll x = j;
        mi res = 0;
        mi cFact = 1;
        ll factNumb = len;
        RE1(i,x) {
            cFact *= factNumb; factNumb --;
            res += (cFact)*(fact(x)/fact(i)/fact(x-i))/fact(i);
        }
        ways[i][j] = res;
    }

    RE(i,n) RE(j,m) {
        dp[i][j] = get(i,j-1);
        if(a[i] <= j && j < b[i]) {
            ll inRange = 0;
            REV(k,0,i+1) {
                if(a[k] <= j && j < b[k]) inRange++;
                ll w = ways[j][inRange] - ways[j][inRange-1];
                dp[i][j] += w*get(k-1,j-1);
            }
        }
    }

    mi ans = 0;
    RE(i,n) ans += dp[i][m-1];
    OUTL((ll)ans);
}
# Verdict Execution time Memory Grader output
1 Execution timed out 2081 ms 16384 KB Time limit exceeded
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Execution timed out 2081 ms 16384 KB Time limit exceeded
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 1594 ms 16376 KB Output is correct
2 Correct 1590 ms 16376 KB Output is correct
3 Correct 1596 ms 16384 KB Output is correct
4 Correct 1586 ms 16384 KB Output is correct
5 Correct 1588 ms 16376 KB Output is correct
6 Correct 1594 ms 16384 KB Output is correct
7 Correct 1606 ms 16256 KB Output is correct
8 Correct 1608 ms 16376 KB Output is correct
9 Correct 1610 ms 16384 KB Output is correct
10 Correct 1610 ms 16376 KB Output is correct
11 Correct 1594 ms 16384 KB Output is correct
12 Correct 1603 ms 16376 KB Output is correct
13 Correct 1604 ms 16256 KB Output is correct
14 Correct 1595 ms 16376 KB Output is correct
15 Correct 1604 ms 16384 KB Output is correct
16 Correct 932 ms 16504 KB Output is correct
17 Correct 896 ms 16384 KB Output is correct
18 Correct 913 ms 16380 KB Output is correct
19 Correct 917 ms 16376 KB Output is correct
20 Correct 880 ms 16504 KB Output is correct
# Verdict Execution time Memory Grader output
1 Execution timed out 2081 ms 16384 KB Time limit exceeded
2 Halted 0 ms 0 KB -