Submission #199940

# Submission time Handle Problem Language Result Execution time Memory
199940 2020-02-04T07:56:27 Z tri Rectangles (IOI19_rect) C++14
100 / 100
4011 ms 207736 KB
#include <bits/stdc++.h>
#include <ext/pb_ds/assoc_container.hpp> // Common file
#include <ext/pb_ds/tree_policy.hpp> // Including tree_order_statistics_node_update

using namespace std;

typedef long long ll;
typedef long double ld;
typedef pair<int, int> pi;
typedef pair<ll, ll> pl;

typedef vector<int> vi;
typedef vector<ld> vd;
typedef vector<ll> vl;

using namespace __gnu_pbds;
typedef tree<
        int,
        null_type,
        less<int>,
        rb_tree_tag,
        tree_order_statistics_node_update>
        ordered_set;

#define pb push_back
#define f first
#define s second

namespace debug {
    const int DEBUG = true;

    template<class T1, class T2>
    void pr(const pair<T1, T2> &x);

    template<class T, size_t SZ>
    void pr(const array<T, SZ> &x);

    template<class T>
    void pr(const vector<T> &x);

    template<class T>
    void pr(const set<T> &x);

    template<class T1, class T2>
    void pr(const map<T1, T2> &x);

    template<class T>
    void pr(const T &x) { if (DEBUG) cout << x; }

    template<class T, class... Ts>
    void pr(const T &first, const Ts &... rest) { pr(first), pr(rest...); }

    template<class T1, class T2>
    void pr(const pair<T1, T2> &x) { pr("{", x.f, ", ", x.s, "}"); }

    template<class T>
    void prIn(const T &x) {
        pr("{");
        bool fst = 1;
        for (auto &a : x) {
            pr(fst ? "" : ", ", a), fst = 0;
        }
        pr("}");
    }

    template<class T, size_t SZ>
    void pr(const array<T, SZ> &x) { prIn(x); }

    template<class T>
    void pr(const vector<T> &x) { prIn(x); }

    template<class T>
    void pr(const set<T> &x) { prIn(x); }

    template<class T1, class T2>
    void pr(const map<T1, T2> &x) { prIn(x); }

    void ps() { pr("\n"), cout << flush; }

    template<class Arg, class... Args>
    void ps(const Arg &first, const Args &... rest) {
        pr(first, " ");
        ps(rest...);
    }
}
using namespace debug;

const int MAXN = 2505;

int N, M;
ll ans = 0;

struct block {
    int l, r;
    int len;

    inline bool operator<(block o) {
        if (l != o.l) return l < o.l;
        if (r != o.r) return r < o.r;
        return len < o.len;
    }

    inline bool operator<(pi o) {
        if (l != o.f) return l < o.f;
        return r < o.s;
    }

    inline bool operator==(pi o) {
        return l == o.f && r == o.s;
    }
};

bool longestFirst(block a, block b) {
    if (a.len != b.len) return a.len > b.len;
    return a < b;
}

vector<pi> findRanges(vi &a) {
    vector<pi> ranges;

    vi stk;

    for (int i = 0; i < a.size(); i++) {
        for (int j = stk.size() - 1; j >= 0; j--) {
            int pB = stk[j];
            if (pB + 1 < i) {
                ranges.pb({pB + 1, i - 1});
            }

            if (a[stk[j]] >= a[i]) {
                break;
            }
        }

        while (stk.size() && a[stk[stk.size() - 1]] <= a[i]) {
            stk.erase(--stk.end());
        }
        stk.pb(i);
    }

    sort(ranges.begin(), ranges.end());
    return ranges;
}

vector<pi> ranges[MAXN];

vector<block> rColumnQ[MAXN];

ordered_set osets[MAXN];

int mode = 0;

vector<block> matchPrev(vector<block> &blocks, vector<pi> &ranges, int cRow = -1) {

    vector<block> newBlocks;

//    sort(blocks.begin(), blocks.end());
//    sort(ranges.begin(), ranges.end());

    int nBI = 0;
    for (pi cR : ranges) {
        while (nBI < blocks.size() && blocks[nBI] < cR) {
            if (mode == 0) {
                block cBlock = blocks[nBI];
                // end of cBlock (no longer extended)
                rColumnQ[cBlock.r].pb({cRow - cBlock.len, cRow - 1, cBlock.r - cBlock.l + 1});
            }

            nBI++;
        }

        if (nBI < blocks.size() && blocks[nBI] == cR) {
            block cBlock = blocks[nBI];

            newBlocks.pb({cBlock.l, cBlock.r, cBlock.len + 1});

            nBI++;
        } else {
            newBlocks.pb({cR.f, cR.s, 1});
        }
    }

    while (nBI < blocks.size()) {
        if (mode == 0) {
            block cBlock = blocks[nBI];
            // end of cBlock (no longer extended)
            rColumnQ[cBlock.r].pb({cRow - cBlock.len, cRow - 1, cBlock.r - cBlock.l + 1});
        }

        nBI++;
    }

    return newBlocks;
}

vi getColumn(vector<vi> &a, int cI) {
    vi col;
    for (int i = 0; i < N; i++) {
        col.pb(a[i][cI]);
    }
    return col;
}

ll count_rectangles(vector<vi> a) {
    N = a.size();
    M = a[0].size();

//    ps("read");

    for (int cR = 1; cR < N; cR++) {
        ranges[cR] = findRanges(a[cR]);
//        if(cR% 100 == 0){
//            ps(cR);
//        }
    }

//    ps("step1");

    mode = 0;
    vector<block> cBlocks;
    for (int cR = 1; cR <= N; cR++) { // include N to flush all blocks at the end
        cBlocks = matchPrev(cBlocks, ranges[cR], cR);
    }

    cBlocks.clear();
    mode = 1;


//    ps("here");

    for (int cC = 1; cC < M; cC++) {
        vi cCol = getColumn(a, cC);
        vector<pi> cRanges = findRanges(cCol);

        cBlocks = matchPrev(cBlocks, cRanges);

        sort(cBlocks.begin(), cBlocks.end(), longestFirst);
        sort(rColumnQ[cC].begin(), rColumnQ[cC].end(), longestFirst);

        int nBI = 0;
        for (block cQ : rColumnQ[cC]) {
            while (nBI < cBlocks.size() && cBlocks[nBI].len >= cQ.len) {
                block cBlock = cBlocks[nBI];
                osets[cBlock.r].insert(cBlock.l);
                nBI++;
            }

            for (int cR = cQ.l; cR <= cQ.r; cR++) {
                ans += osets[cR].size() - osets[cR].order_of_key(cQ.l);
            }
        }
        for (int cR = 0; cR <= N; cR++) {
            osets[cR].clear();
        }

        sort(cBlocks.begin(), cBlocks.end());
    }
    
    return ans;
}

Compilation message

rect.cpp: In function 'std::vector<std::pair<int, int> > findRanges(vi&)':
rect.cpp:123:23: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
     for (int i = 0; i < a.size(); i++) {
                     ~~^~~~~~~~~~
rect.cpp: In function 'std::vector<block> matchPrev(std::vector<block>&, std::vector<std::pair<int, int> >&, int)':
rect.cpp:162:20: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
         while (nBI < blocks.size() && blocks[nBI] < cR) {
                ~~~~^~~~~~~~~~~~~~~
rect.cpp:172:17: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
         if (nBI < blocks.size() && blocks[nBI] == cR) {
             ~~~~^~~~~~~~~~~~~~~
rect.cpp:183:16: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
     while (nBI < blocks.size()) {
            ~~~~^~~~~~~~~~~~~~~
rect.cpp: In function 'll count_rectangles(std::vector<std::vector<int> >)':
rect.cpp:242:24: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
             while (nBI < cBlocks.size() && cBlocks[nBI].len >= cQ.len) {
                    ~~~~^~~~~~~~~~~~~~~~
# Verdict Execution time Memory Grader output
1 Correct 5 ms 632 KB Output is correct
2 Correct 5 ms 632 KB Output is correct
3 Correct 5 ms 632 KB Output is correct
4 Correct 5 ms 632 KB Output is correct
5 Correct 5 ms 632 KB Output is correct
6 Correct 6 ms 632 KB Output is correct
7 Correct 5 ms 636 KB Output is correct
8 Correct 5 ms 632 KB Output is correct
9 Correct 6 ms 632 KB Output is correct
10 Correct 5 ms 636 KB Output is correct
11 Correct 6 ms 632 KB Output is correct
12 Correct 6 ms 632 KB Output is correct
13 Correct 5 ms 632 KB Output is correct
14 Correct 5 ms 632 KB Output is correct
15 Correct 5 ms 632 KB Output is correct
16 Correct 5 ms 632 KB Output is correct
17 Correct 5 ms 632 KB Output is correct
18 Correct 5 ms 636 KB Output is correct
19 Correct 5 ms 632 KB Output is correct
20 Correct 5 ms 632 KB Output is correct
21 Correct 5 ms 632 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 5 ms 632 KB Output is correct
2 Correct 5 ms 632 KB Output is correct
3 Correct 5 ms 632 KB Output is correct
4 Correct 5 ms 632 KB Output is correct
5 Correct 5 ms 632 KB Output is correct
6 Correct 6 ms 632 KB Output is correct
7 Correct 5 ms 636 KB Output is correct
8 Correct 5 ms 632 KB Output is correct
9 Correct 6 ms 632 KB Output is correct
10 Correct 5 ms 636 KB Output is correct
11 Correct 6 ms 632 KB Output is correct
12 Correct 6 ms 632 KB Output is correct
13 Correct 5 ms 632 KB Output is correct
14 Correct 5 ms 632 KB Output is correct
15 Correct 5 ms 632 KB Output is correct
16 Correct 5 ms 632 KB Output is correct
17 Correct 7 ms 760 KB Output is correct
18 Correct 7 ms 760 KB Output is correct
19 Correct 6 ms 760 KB Output is correct
20 Correct 6 ms 760 KB Output is correct
21 Correct 9 ms 936 KB Output is correct
22 Correct 8 ms 888 KB Output is correct
23 Correct 8 ms 888 KB Output is correct
24 Correct 7 ms 760 KB Output is correct
25 Correct 5 ms 632 KB Output is correct
26 Correct 5 ms 636 KB Output is correct
27 Correct 5 ms 632 KB Output is correct
28 Correct 5 ms 632 KB Output is correct
29 Correct 5 ms 632 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 5 ms 632 KB Output is correct
2 Correct 5 ms 632 KB Output is correct
3 Correct 5 ms 632 KB Output is correct
4 Correct 5 ms 632 KB Output is correct
5 Correct 5 ms 632 KB Output is correct
6 Correct 6 ms 632 KB Output is correct
7 Correct 5 ms 636 KB Output is correct
8 Correct 5 ms 632 KB Output is correct
9 Correct 6 ms 632 KB Output is correct
10 Correct 5 ms 636 KB Output is correct
11 Correct 6 ms 632 KB Output is correct
12 Correct 6 ms 632 KB Output is correct
13 Correct 5 ms 632 KB Output is correct
14 Correct 5 ms 632 KB Output is correct
15 Correct 5 ms 632 KB Output is correct
16 Correct 5 ms 632 KB Output is correct
17 Correct 7 ms 760 KB Output is correct
18 Correct 7 ms 760 KB Output is correct
19 Correct 6 ms 760 KB Output is correct
20 Correct 6 ms 760 KB Output is correct
21 Correct 9 ms 936 KB Output is correct
22 Correct 8 ms 888 KB Output is correct
23 Correct 8 ms 888 KB Output is correct
24 Correct 7 ms 760 KB Output is correct
25 Correct 13 ms 1404 KB Output is correct
26 Correct 13 ms 1400 KB Output is correct
27 Correct 13 ms 1400 KB Output is correct
28 Correct 14 ms 1400 KB Output is correct
29 Correct 26 ms 1912 KB Output is correct
30 Correct 27 ms 2040 KB Output is correct
31 Correct 25 ms 1784 KB Output is correct
32 Correct 25 ms 1788 KB Output is correct
33 Correct 5 ms 632 KB Output is correct
34 Correct 5 ms 636 KB Output is correct
35 Correct 5 ms 632 KB Output is correct
36 Correct 5 ms 632 KB Output is correct
37 Correct 5 ms 632 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 5 ms 632 KB Output is correct
2 Correct 5 ms 632 KB Output is correct
3 Correct 5 ms 632 KB Output is correct
4 Correct 5 ms 632 KB Output is correct
5 Correct 5 ms 632 KB Output is correct
6 Correct 6 ms 632 KB Output is correct
7 Correct 5 ms 636 KB Output is correct
8 Correct 5 ms 632 KB Output is correct
9 Correct 6 ms 632 KB Output is correct
10 Correct 5 ms 636 KB Output is correct
11 Correct 6 ms 632 KB Output is correct
12 Correct 6 ms 632 KB Output is correct
13 Correct 5 ms 632 KB Output is correct
14 Correct 5 ms 632 KB Output is correct
15 Correct 5 ms 632 KB Output is correct
16 Correct 5 ms 632 KB Output is correct
17 Correct 7 ms 760 KB Output is correct
18 Correct 7 ms 760 KB Output is correct
19 Correct 6 ms 760 KB Output is correct
20 Correct 6 ms 760 KB Output is correct
21 Correct 9 ms 936 KB Output is correct
22 Correct 8 ms 888 KB Output is correct
23 Correct 8 ms 888 KB Output is correct
24 Correct 7 ms 760 KB Output is correct
25 Correct 13 ms 1404 KB Output is correct
26 Correct 13 ms 1400 KB Output is correct
27 Correct 13 ms 1400 KB Output is correct
28 Correct 14 ms 1400 KB Output is correct
29 Correct 26 ms 1912 KB Output is correct
30 Correct 27 ms 2040 KB Output is correct
31 Correct 25 ms 1784 KB Output is correct
32 Correct 25 ms 1788 KB Output is correct
33 Correct 118 ms 11512 KB Output is correct
34 Correct 125 ms 11768 KB Output is correct
35 Correct 96 ms 11768 KB Output is correct
36 Correct 96 ms 11640 KB Output is correct
37 Correct 105 ms 10232 KB Output is correct
38 Correct 104 ms 10232 KB Output is correct
39 Correct 114 ms 10360 KB Output is correct
40 Correct 98 ms 9592 KB Output is correct
41 Correct 81 ms 8184 KB Output is correct
42 Correct 114 ms 10104 KB Output is correct
43 Correct 280 ms 19064 KB Output is correct
44 Correct 291 ms 18936 KB Output is correct
45 Correct 146 ms 9592 KB Output is correct
46 Correct 149 ms 10360 KB Output is correct
47 Correct 258 ms 15608 KB Output is correct
48 Correct 279 ms 15608 KB Output is correct
49 Correct 5 ms 632 KB Output is correct
50 Correct 5 ms 636 KB Output is correct
51 Correct 5 ms 632 KB Output is correct
52 Correct 5 ms 632 KB Output is correct
53 Correct 5 ms 632 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 7 ms 888 KB Output is correct
2 Correct 7 ms 888 KB Output is correct
3 Correct 6 ms 632 KB Output is correct
4 Correct 5 ms 632 KB Output is correct
5 Correct 7 ms 888 KB Output is correct
6 Correct 9 ms 888 KB Output is correct
7 Correct 7 ms 888 KB Output is correct
8 Correct 7 ms 888 KB Output is correct
9 Correct 7 ms 888 KB Output is correct
10 Correct 5 ms 632 KB Output is correct
11 Correct 6 ms 760 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 5 ms 632 KB Output is correct
2 Correct 452 ms 49196 KB Output is correct
3 Correct 1022 ms 101112 KB Output is correct
4 Correct 1034 ms 101520 KB Output is correct
5 Correct 1041 ms 101292 KB Output is correct
6 Correct 115 ms 24824 KB Output is correct
7 Correct 275 ms 46712 KB Output is correct
8 Correct 287 ms 49912 KB Output is correct
9 Correct 5 ms 632 KB Output is correct
10 Correct 5 ms 636 KB Output is correct
11 Correct 5 ms 632 KB Output is correct
12 Correct 5 ms 632 KB Output is correct
13 Correct 5 ms 632 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 5 ms 632 KB Output is correct
2 Correct 5 ms 632 KB Output is correct
3 Correct 5 ms 632 KB Output is correct
4 Correct 5 ms 632 KB Output is correct
5 Correct 5 ms 632 KB Output is correct
6 Correct 6 ms 632 KB Output is correct
7 Correct 5 ms 636 KB Output is correct
8 Correct 5 ms 632 KB Output is correct
9 Correct 6 ms 632 KB Output is correct
10 Correct 5 ms 636 KB Output is correct
11 Correct 6 ms 632 KB Output is correct
12 Correct 6 ms 632 KB Output is correct
13 Correct 5 ms 632 KB Output is correct
14 Correct 5 ms 632 KB Output is correct
15 Correct 5 ms 632 KB Output is correct
16 Correct 5 ms 632 KB Output is correct
17 Correct 7 ms 760 KB Output is correct
18 Correct 7 ms 760 KB Output is correct
19 Correct 6 ms 760 KB Output is correct
20 Correct 6 ms 760 KB Output is correct
21 Correct 9 ms 936 KB Output is correct
22 Correct 8 ms 888 KB Output is correct
23 Correct 8 ms 888 KB Output is correct
24 Correct 7 ms 760 KB Output is correct
25 Correct 13 ms 1404 KB Output is correct
26 Correct 13 ms 1400 KB Output is correct
27 Correct 13 ms 1400 KB Output is correct
28 Correct 14 ms 1400 KB Output is correct
29 Correct 26 ms 1912 KB Output is correct
30 Correct 27 ms 2040 KB Output is correct
31 Correct 25 ms 1784 KB Output is correct
32 Correct 25 ms 1788 KB Output is correct
33 Correct 118 ms 11512 KB Output is correct
34 Correct 125 ms 11768 KB Output is correct
35 Correct 96 ms 11768 KB Output is correct
36 Correct 96 ms 11640 KB Output is correct
37 Correct 105 ms 10232 KB Output is correct
38 Correct 104 ms 10232 KB Output is correct
39 Correct 114 ms 10360 KB Output is correct
40 Correct 98 ms 9592 KB Output is correct
41 Correct 81 ms 8184 KB Output is correct
42 Correct 114 ms 10104 KB Output is correct
43 Correct 280 ms 19064 KB Output is correct
44 Correct 291 ms 18936 KB Output is correct
45 Correct 146 ms 9592 KB Output is correct
46 Correct 149 ms 10360 KB Output is correct
47 Correct 258 ms 15608 KB Output is correct
48 Correct 279 ms 15608 KB Output is correct
49 Correct 7 ms 888 KB Output is correct
50 Correct 7 ms 888 KB Output is correct
51 Correct 6 ms 632 KB Output is correct
52 Correct 5 ms 632 KB Output is correct
53 Correct 7 ms 888 KB Output is correct
54 Correct 9 ms 888 KB Output is correct
55 Correct 7 ms 888 KB Output is correct
56 Correct 7 ms 888 KB Output is correct
57 Correct 7 ms 888 KB Output is correct
58 Correct 5 ms 632 KB Output is correct
59 Correct 6 ms 760 KB Output is correct
60 Correct 5 ms 632 KB Output is correct
61 Correct 452 ms 49196 KB Output is correct
62 Correct 1022 ms 101112 KB Output is correct
63 Correct 1034 ms 101520 KB Output is correct
64 Correct 1041 ms 101292 KB Output is correct
65 Correct 115 ms 24824 KB Output is correct
66 Correct 275 ms 46712 KB Output is correct
67 Correct 287 ms 49912 KB Output is correct
68 Correct 1729 ms 124512 KB Output is correct
69 Correct 1644 ms 127352 KB Output is correct
70 Correct 1269 ms 126660 KB Output is correct
71 Correct 1262 ms 130040 KB Output is correct
72 Correct 1427 ms 108920 KB Output is correct
73 Correct 2258 ms 128080 KB Output is correct
74 Correct 2523 ms 132396 KB Output is correct
75 Correct 3860 ms 200572 KB Output is correct
76 Correct 2377 ms 128552 KB Output is correct
77 Correct 3199 ms 157560 KB Output is correct
78 Correct 4011 ms 207736 KB Output is correct
79 Correct 2116 ms 106612 KB Output is correct
80 Correct 3632 ms 174708 KB Output is correct
81 Correct 3538 ms 171116 KB Output is correct
82 Correct 855 ms 98556 KB Output is correct
83 Correct 1451 ms 156664 KB Output is correct
84 Correct 1520 ms 156920 KB Output is correct
85 Correct 1424 ms 156792 KB Output is correct
86 Correct 5 ms 632 KB Output is correct
87 Correct 5 ms 636 KB Output is correct
88 Correct 5 ms 632 KB Output is correct
89 Correct 5 ms 632 KB Output is correct
90 Correct 5 ms 632 KB Output is correct