oj.uz

Submission #142752

# Submission time Handle Problem Language Result Execution time Memory
142752 2019-08-10T17:16:55 Z 12tqian Boat (APIO16_boat) C++14
100 / 100
 1328 ms 21440 KB 
#pragma comment(linker, "/stack:200000000")
//#pragma GCC optimize("Ofast")
//#pragma GCC target("sse,sse2,sse3,ssse3,sse4,popcnt,abm,mmx,avx,tune=native")
#pragma GCC optimize ("O3")
#pragma GCC target ("sse4")
#include <bits/stdc++.h>
#include <ext/pb_ds/tree_policy.hpp>
#include <ext/pb_ds/assoc_container.hpp>

using namespace std;
using namespace __gnu_pbds;
template <class T> using Tree = tree<T, null_type, less<T>, rb_tree_tag,tree_order_statistics_node_update>;

const double PI = 4 * atan(1);

#define sz(x) (int)(x).size()
#define ll long long
#define ld long double
#define mp make_pair
#define pb push_back
#define eb emplace_back
#define pii pair <int, int>
#define vi vector<int>
#define f first
#define s second
#define lb lower_bound
#define ub upper_bound
#define all(x) x.begin(), x.end()
#define vpi vector<pair<int, int>>
#define vpd vector<pair<double, double>>
#define pd pair<double, double>

#define f0r(i,a) for(int i=0;i<a;i++)
#define f1r(i,a,b) for(int i=a;i<b;i++)
#define trav(a, x) for (auto& a : x)

void fast_io(){
    ios_base::sync_with_stdio(0);
    cin.tie(NULL);
    cout.tie(NULL);
}
void io(string taskname){
    string fin = taskname + ".in";
    string fout = taskname + ".out";
    const char* FIN = fin.c_str();
    const char* FOUT = fout.c_str();
    freopen(FIN, "r", stdin);
    freopen(FOUT, "w", stdout);
    fast_io();
}
const ll MOD = 1e9 + 7;
const int MAX = 505;
const int MAXR = 6*MAX;
vector<pair<ll, ll>> bounds;
vector<pair<ll, ll>> ranges;
ll dp[MAXR][MAX];
ll pre[MAXR][MAX];
ll choose[MAXR][MAX];
ll change[MAXR];
vi possible[MAX];

template<class T, int SZ> struct Seg { // SZ should be power of 2
    T ID = 0; // comb(ID,b) must equal b
    T comb(T a, T b) {
        return (a+b)%MOD;
    } // easily change this to min or max

    T seg[2*SZ];
    Seg() { memset(seg,0,sizeof seg); }


    void upd(int p, T value) {  // set value at position p
        seg[p += SZ] = value;
        for (p /= 2; p; p /= 2) seg[p] = comb(seg[2*p],seg[2*p+1]);
    }

    T query(int l, int r) {  // sum on interval [l, r]
        r ++; T lres = ID, rres = ID; // make sure non-commutative operations work
        for (l += SZ, r += SZ; l < r; l /= 2, r /= 2) {
            if (l&1) lres = comb(lres,seg[l++]);
            if (r&1) rres = comb(seg[--r],rres);
        }
        return comb(lres,rres);
    }
};
Seg<ll, (1<<13)> seg;



long long modInverse(long long b){
    long long ex = MOD - 2;
    if (b==1){
        return 1;
    }
    long long r = 1;
    while (ex ){
        if (ex&1){
            r=(r * b)%MOD;
        }
        ex = ex >> 1;
        b = (b * b)%MOD;
    }
    return r;
}

int main(){
    fast_io();
    int n;
    scanf("%d", &n);
   // cin >> n;
    map<int, pii> um;
    f0r(i, n){
        int ai, bi;
        scanf("%d %d", &ai, &bi);
        bounds.eb(mp(ai, bi));
        um[ai].f++;
        um[bi].s++;
    }
    vector<pair<int, pii>> v;
    for(auto x: um) v.eb(x);
    vi used;
    f0r(i, sz(v)) used.eb(0);
    f0r(i, sz(v) - 1){
        if(used[i] && used[i+1]){
            int l = v[i].f;
            int r = v[i+1].f;
            if(r-l>1) ranges.eb(mp(l+1, r-1));
        }
        else if(used[i]){
            if(v[i+1].s.f == 0){
                used[i+1] = 1;
                int l = v[i].f;
                int r = v[i+1].f;
                ranges.eb(mp(l+1, r));
            }
            else{
                int l = v[i].f;
                int r = v[i+1].f;
                if(r-l>1) ranges.eb(mp(l+1, r-1));
            }
        }
        else if(used[i+1]){
            if(v[i].s.s == 0){
                used[i] = 1;
                int l = v[i].f;
                int r = v[i+1].f;
                ranges.eb(mp(l, r-1));
            }
            else{
                int l = v[i].f;
                int r = v[i+1].f;
                if(r-l>1) ranges.eb(mp(l+1, r-1));
            }
        }
        else{
            if(v[i].s.s == 0 && v[i+1].s.f == 0){
                used[i] = 1;
                used[i+1] = 1;
                int l = v[i].f;
                int r = v[i+1].f;
                ranges.eb(mp(l, r));
            }
            else{
                int l = v[i].f;
                int r = v[i+1].f;
                if(r-l>1) ranges.eb(mp(l+1, r-1));
            }
        }
    }
    f0r(i,sz(v)){
        if(used[i] == 0){
            ranges.eb(mp(v[i].f, v[i].f));
        }
    }
    sort(all(ranges));
    //for(auto x: ranges) cout << x.f << " " << x.s << endl;
    /*  sort(all(v));
    f0r(i, sz(v) - 1){
        if(v[i] == v[i+1]) continue;
        ranges.eb(mp(v[i], v[i+1] - 1));
    }
    ranges.eb(mp(v[sz(v)-1], v[sz(v) - 1]))*/
    /*
    vi tmp;
    for(auto x: nums) tmp.eb(x);

    f0r(i, sz(tmp) -1){
        if(tmp[i+1]-tmp[i]>1) ranges.eb(tmp[i]+1, tmp[i+1]-1);
    }
    for(auto x: tmp) ranges.eb(mp(x, x));
    sort(all(ranges));*/
 //  cout << sz(ranges) << endl;
    f0r(i, sz(ranges)){
        f0r(j, MAX){
            if(j == 0){
                choose[i][j] = 1;
            }
            else{
                choose[i][j] = choose[i][j-1];
                choose[i][j] *= (ranges[i].s - ranges[i].f+1 -j+ 1);
                choose[i][j] %= MOD;
                choose[i][j] *= modInverse(j);
                choose[i][j] %= MOD;
            }
        }
    }
    f0r(i, n){
        f0r(j, sz(ranges)){
            if(bounds[i].f<= ranges[j].f && bounds[i].s>= ranges[j].s){
                possible[i].eb(j);
            }
        }
    }

    f0r(i, n){
      //  cout << sz(possible[i]) << endl;
        for(int j: possible[i]){
            for(int t = n; t>= 1; t--){
                if(t == 1){
                    dp[j][1] = (j == 0? 0:seg.query(0, j-1)) + 1;
                    pre[j][1] += dp[j][1];
                    if(pre[j][1] >= MOD) pre[j][1] -= MOD;
                    change[j] += (dp[j][1]*choose[j][1])%MOD;
                    if(change[j] >= MOD) change[j] -= MOD;
                    continue;
                }
                dp[j][t] = pre[j][t-1];
                pre[j][t] += dp[j][t];
                if(pre[j][t]>= MOD) pre[j][t] -= MOD;
                change[j] += (dp[j][t]*choose[j][t])%MOD;
                if(change[j]>=MOD) change[j] -= MOD;
            }

        }
        for(int j: possible[i]){
            seg.upd(j, seg.query(j, j)+  change[j]);
        }
        f0r(j, sz(ranges)){
            change[j] = 0;
        }
    }
    printf("%d\n", seg.query(0, sz(ranges) - 1));
    //cout << seg.query(0, sz(ranges) - 1) << endl;
    return 0;
}

Compilation message

boat.cpp:1:0: warning: ignoring #pragma comment  [-Wunknown-pragmas]
 #pragma comment(linker, "/stack:200000000")
 
boat.cpp: In function 'int main()':
boat.cpp:242:48: warning: format '%d' expects argument of type 'int', but argument 2 has type 'long long int' [-Wformat=]
     printf("%d\n", seg.query(0, sz(ranges) - 1));
                    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~^
boat.cpp: In function 'void io(std::__cxx11::string)':
boat.cpp:47:12: warning: ignoring return value of 'FILE* freopen(const char*, const char*, FILE*)', declared with attribute warn_unused_result [-Wunused-result]
     freopen(FIN, "r", stdin);
     ~~~~~~~^~~~~~~~~~~~~~~~~
boat.cpp:48:12: warning: ignoring return value of 'FILE* freopen(const char*, const char*, FILE*)', declared with attribute warn_unused_result [-Wunused-result]
     freopen(FOUT, "w", stdout);
     ~~~~~~~^~~~~~~~~~~~~~~~~~~
boat.cpp: In function 'int main()':
boat.cpp:109:10: warning: ignoring return value of 'int scanf(const char*, ...)', declared with attribute warn_unused_result [-Wunused-result]
     scanf("%d", &n);
     ~~~~~^~~~~~~~~~
boat.cpp:114:14: warning: ignoring return value of 'int scanf(const char*, ...)', declared with attribute warn_unused_result [-Wunused-result]
         scanf("%d %d", &ai, &bi);
         ~~~~~^~~~~~~~~~~~~~~~~~~

Subtask #1
9.0 / 9.0

# Verdict Execution time Memory Grader output
1 Correct 98 ms 12528 KB Output is correct
2 Correct 98 ms 12536 KB Output is correct
3 Correct 99 ms 12536 KB Output is correct
4 Correct 98 ms 12392 KB Output is correct
5 Correct 98 ms 12508 KB Output is correct
6 Correct 99 ms 12664 KB Output is correct
7 Correct 98 ms 12384 KB Output is correct
8 Correct 98 ms 12528 KB Output is correct
9 Correct 98 ms 12484 KB Output is correct
10 Correct 99 ms 12504 KB Output is correct
11 Correct 98 ms 12536 KB Output is correct
12 Correct 98 ms 12520 KB Output is correct
13 Correct 98 ms 12568 KB Output is correct
14 Correct 99 ms 12444 KB Output is correct
15 Correct 98 ms 12408 KB Output is correct
16 Correct 21 ms 2680 KB Output is correct
17 Correct 21 ms 2808 KB Output is correct
18 Correct 20 ms 2808 KB Output is correct
19 Correct 22 ms 2936 KB Output is correct
20 Correct 21 ms 2808 KB Output is correct

Subtask #2
22.0 / 22.0

# Verdict Execution time Memory Grader output
1 Correct 98 ms 12528 KB Output is correct
2 Correct 98 ms 12536 KB Output is correct
3 Correct 99 ms 12536 KB Output is correct
4 Correct 98 ms 12392 KB Output is correct
5 Correct 98 ms 12508 KB Output is correct
6 Correct 99 ms 12664 KB Output is correct
7 Correct 98 ms 12384 KB Output is correct
8 Correct 98 ms 12528 KB Output is correct
9 Correct 98 ms 12484 KB Output is correct
10 Correct 99 ms 12504 KB Output is correct
11 Correct 98 ms 12536 KB Output is correct
12 Correct 98 ms 12520 KB Output is correct
13 Correct 98 ms 12568 KB Output is correct
14 Correct 99 ms 12444 KB Output is correct
15 Correct 98 ms 12408 KB Output is correct
16 Correct 21 ms 2680 KB Output is correct
17 Correct 21 ms 2808 KB Output is correct
18 Correct 20 ms 2808 KB Output is correct
19 Correct 22 ms 2936 KB Output is correct
20 Correct 21 ms 2808 KB Output is correct
21 Correct 623 ms 16452 KB Output is correct
22 Correct 571 ms 16268 KB Output is correct
23 Correct 530 ms 15792 KB Output is correct
24 Correct 558 ms 16120 KB Output is correct
25 Correct 631 ms 16172 KB Output is correct
26 Correct 719 ms 17128 KB Output is correct
27 Correct 748 ms 17016 KB Output is correct
28 Correct 723 ms 17016 KB Output is correct
29 Correct 1060 ms 21440 KB Output is correct
30 Correct 100 ms 12552 KB Output is correct
31 Correct 105 ms 12536 KB Output is correct
32 Correct 101 ms 12488 KB Output is correct
33 Correct 103 ms 12672 KB Output is correct
34 Correct 101 ms 12480 KB Output is correct
35 Correct 101 ms 12368 KB Output is correct
36 Correct 99 ms 12536 KB Output is correct
37 Correct 101 ms 12408 KB Output is correct
38 Correct 101 ms 12468 KB Output is correct

Subtask #3
27.0 / 27.0

# Verdict Execution time Memory Grader output
1 Correct 33 ms 3704 KB Output is correct
2 Correct 31 ms 3576 KB Output is correct
3 Correct 32 ms 3704 KB Output is correct
4 Correct 35 ms 3704 KB Output is correct
5 Correct 34 ms 3832 KB Output is correct
6 Correct 40 ms 4088 KB Output is correct
7 Correct 40 ms 4088 KB Output is correct
8 Correct 40 ms 4088 KB Output is correct
9 Correct 40 ms 4188 KB Output is correct
10 Correct 42 ms 4344 KB Output is correct
11 Correct 33 ms 3704 KB Output is correct
12 Correct 32 ms 3704 KB Output is correct
13 Correct 33 ms 3704 KB Output is correct
14 Correct 32 ms 3704 KB Output is correct
15 Correct 34 ms 3704 KB Output is correct
16 Correct 21 ms 2424 KB Output is correct
17 Correct 22 ms 2424 KB Output is correct
18 Correct 21 ms 2552 KB Output is correct
19 Correct 21 ms 2680 KB Output is correct
20 Correct 19 ms 2168 KB Output is correct

Subtask #4
42.0 / 42.0

# Verdict Execution time Memory Grader output
1 Correct 98 ms 12528 KB Output is correct
2 Correct 98 ms 12536 KB Output is correct
3 Correct 99 ms 12536 KB Output is correct
4 Correct 98 ms 12392 KB Output is correct
5 Correct 98 ms 12508 KB Output is correct
6 Correct 99 ms 12664 KB Output is correct
7 Correct 98 ms 12384 KB Output is correct
8 Correct 98 ms 12528 KB Output is correct
9 Correct 98 ms 12484 KB Output is correct
10 Correct 99 ms 12504 KB Output is correct
11 Correct 98 ms 12536 KB Output is correct
12 Correct 98 ms 12520 KB Output is correct
13 Correct 98 ms 12568 KB Output is correct
14 Correct 99 ms 12444 KB Output is correct
15 Correct 98 ms 12408 KB Output is correct
16 Correct 21 ms 2680 KB Output is correct
17 Correct 21 ms 2808 KB Output is correct
18 Correct 20 ms 2808 KB Output is correct
19 Correct 22 ms 2936 KB Output is correct
20 Correct 21 ms 2808 KB Output is correct
21 Correct 623 ms 16452 KB Output is correct
22 Correct 571 ms 16268 KB Output is correct
23 Correct 530 ms 15792 KB Output is correct
24 Correct 558 ms 16120 KB Output is correct
25 Correct 631 ms 16172 KB Output is correct
26 Correct 719 ms 17128 KB Output is correct
27 Correct 748 ms 17016 KB Output is correct
28 Correct 723 ms 17016 KB Output is correct
29 Correct 1060 ms 21440 KB Output is correct
30 Correct 100 ms 12552 KB Output is correct
31 Correct 105 ms 12536 KB Output is correct
32 Correct 101 ms 12488 KB Output is correct
33 Correct 103 ms 12672 KB Output is correct
34 Correct 101 ms 12480 KB Output is correct
35 Correct 101 ms 12368 KB Output is correct
36 Correct 99 ms 12536 KB Output is correct
37 Correct 101 ms 12408 KB Output is correct
38 Correct 101 ms 12468 KB Output is correct
39 Correct 33 ms 3704 KB Output is correct
40 Correct 31 ms 3576 KB Output is correct
41 Correct 32 ms 3704 KB Output is correct
42 Correct 35 ms 3704 KB Output is correct
43 Correct 34 ms 3832 KB Output is correct
44 Correct 40 ms 4088 KB Output is correct
45 Correct 40 ms 4088 KB Output is correct
46 Correct 40 ms 4088 KB Output is correct
47 Correct 40 ms 4188 KB Output is correct
48 Correct 42 ms 4344 KB Output is correct
49 Correct 33 ms 3704 KB Output is correct
50 Correct 32 ms 3704 KB Output is correct
51 Correct 33 ms 3704 KB Output is correct
52 Correct 32 ms 3704 KB Output is correct
53 Correct 34 ms 3704 KB Output is correct
54 Correct 21 ms 2424 KB Output is correct
55 Correct 22 ms 2424 KB Output is correct
56 Correct 21 ms 2552 KB Output is correct
57 Correct 21 ms 2680 KB Output is correct
58 Correct 19 ms 2168 KB Output is correct
59 Correct 747 ms 17772 KB Output is correct
60 Correct 691 ms 17564 KB Output is correct
61 Correct 701 ms 17724 KB Output is correct
62 Correct 764 ms 17964 KB Output is correct
63 Correct 749 ms 17744 KB Output is correct
64 Correct 1328 ms 20416 KB Output is correct
65 Correct 1179 ms 20308 KB Output is correct
66 Correct 1195 ms 20348 KB Output is correct
67 Correct 1161 ms 20380 KB Output is correct
68 Correct 1171 ms 20416 KB Output is correct
69 Correct 673 ms 17504 KB Output is correct
70 Correct 651 ms 17716 KB Output is correct
71 Correct 680 ms 17520 KB Output is correct
72 Correct 680 ms 17752 KB Output is correct
73 Correct 695 ms 17820 KB Output is correct
74 Correct 97 ms 3192 KB Output is correct
75 Correct 92 ms 3164 KB Output is correct
76 Correct 95 ms 3064 KB Output is correct
77 Correct 94 ms 3192 KB Output is correct
78 Correct 98 ms 3180 KB Output is correct