Submission #937443

# Submission time Handle Problem Language Result Execution time Memory
937443 2024-03-04T04:10:10 Z GrindMachine Rectangles (IOI19_rect) C++17
100 / 100
2749 ms 665340 KB
#include <bits/stdc++.h>
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>

using namespace std;
using namespace __gnu_pbds;

template<typename T> using Tree = tree<T, null_type, less<T>, rb_tree_tag, tree_order_statistics_node_update>;
typedef long long int ll;
typedef long double ld;
typedef pair<int,int> pii;
typedef pair<ll,ll> pll;

#define fastio ios_base::sync_with_stdio(false); cin.tie(NULL)
#define pb push_back
#define endl '\n'
#define sz(a) (int)a.size()
#define setbits(x) __builtin_popcountll(x)
#define ff first
#define ss second
#define conts continue
#define ceil2(x,y) ((x+y-1)/(y))
#define all(a) a.begin(), a.end()
#define rall(a) a.rbegin(), a.rend()
#define yes cout << "Yes" << endl
#define no cout << "No" << endl

#define rep(i,n) for(int i = 0; i < n; ++i)
#define rep1(i,n) for(int i = 1; i <= n; ++i)
#define rev(i,s,e) for(int i = s; i >= e; --i)
#define trav(i,a) for(auto &i : a)

template<typename T>
void amin(T &a, T b) {
    a = min(a,b);
}

template<typename T>
void amax(T &a, T b) {
    a = max(a,b);
}

#ifdef LOCAL
#include "debug.h"
#else
#define debug(x) 42
#endif

/*

read some solutions long back, remember some ideas from there

*/

const int MOD = 1e9 + 7;
const int N = 1e5 + 5;
const int inf1 = int(1e9) + 5;
const ll inf2 = ll(1e18) + 5;

#include "rect.h"
 
template<typename T>
struct fenwick {
    int siz;
    vector<T> tree;
 
    fenwick() {
 
    }
 
    fenwick(int n) {
        siz = n;
        tree = vector<T>(n + 1);
    }
 
    int lsb(int x) {
        return x & -x;
    }
 
    void build(vector<T> &a, int n) {
        for (int i = 1; i <= n; ++i) {
            int par = i + lsb(i);
            tree[i] += a[i];
 
            if (par <= siz) {
                tree[par] += tree[i];
            }
        }
    }
 
    void pupd(int i, T v) {
    	i++;
        while (i <= siz) {
            tree[i] += v;
            i += lsb(i);
        }
    }
 
    T sum(int i) {
    	i++;
        T res = 0;
 
        while (i) {
            res += tree[i];
            i -= lsb(i);
        }
 
        return res;
    }
 
    T query(int l, int r) {
        if (l > r) return 0;
        T res = sum(r) - sum(l - 1);
        return res;
    }
};
 
long long count_rectangles(std::vector<std::vector<int> > a) {
	int n = sz(a), m = sz(a[0]);
	if(n <= 2 or m <= 2) return 0;
 
	vector<pii> up[n][m];
	int ptr = 0;
 
	rep(j,m){
		stack<int> st;
		rep(i,n){
			bool eq = false;
			while(!st.empty() and a[i][j] >= a[st.top()][j]){
				int k = st.top();
				st.pop();
				if(a[i][j] == a[k][j]){
					eq = true;
				}
				if(i-k >= 2){
					up[i][j].pb({k,ptr++});
				}
			}
 
			if(!st.empty() and !eq){
				int k = st.top();
				if(i-k >= 2){
					up[i][j].pb({k,ptr++});
				}
			}
 
			st.push(i);
		}
	}
 
	vector<int> farthest(ptr);
	int seg_ptr[n][n];
	memset(seg_ptr,-1,sizeof seg_ptr);

	rev(j,m-1,0){
		if(j+2 < m){
			rep(i,n){
				for(auto [k,ptr] : up[i][j+2]){
					seg_ptr[k][i] = -1;
				}
			}	
		}

		if(j+1 < m){
			rep(i,n){
				for(auto [k,ptr] : up[i][j+1]){
					seg_ptr[k][i] = ptr;
				}
			}	
		}

		rep(i,n){
			for(auto [k,ptr] : up[i][j]){
				if(seg_ptr[k][i] != -1){
					farthest[ptr] = farthest[seg_ptr[k][i]];
				}
				else{
					farthest[ptr] = j;
				}
			}
		}
	}
 
	int prev_occ[m][m], first_occ[m][m];
	memset(prev_occ,-1,sizeof prev_occ);
	memset(first_occ,-1,sizeof first_occ);
 
	ll ans = 0;
	vector<int> queries[ptr];
 
	rep1(i,n-2){
		stack<int> st;
		vector<pii> good;
		rep(j,m){
			bool eq = false;
			while(!st.empty() and a[i][j] >= a[i][st.top()]){
				int k = st.top();
				st.pop();
				if(a[i][j] == a[i][k]){
					eq = true;
				}
				if(j-k >= 2){
					good.pb({k,j});
				}
			}
 
			// cout << j << endl;
			// cout << eq << endl;
			// auto st_copy = st;
			// while(!st_copy.empty()){
			// 	cout << st_copy.top() << " ";
			// 	st_copy.pop();
			// }
			// cout << endl;
 
			if(!st.empty() and !eq){
				int k = st.top();
				if(j-k >= 2){
					// cout << k << " " << j << endl;
					good.pb({k,j});
				}
			}
 
			st.push(j);
		}
 
		for(auto [l,r] : good){
			if(prev_occ[l][r] != i-1){
				first_occ[l][r] = i;
			}
 
			prev_occ[l][r] = i;
 
			int lo = 0, hi = sz(up[i+1][l+1])-1;
			int pos = -1;
 
			while(lo <= hi){
				int mid = (lo+hi) >> 1;
				if(up[i+1][l+1][mid].ff >= first_occ[l][r]-1){
					pos = mid;
					lo = mid+1;
				}
				else{
					hi = mid-1;
				}
			}
 
			if(pos != -1){
				int ind = up[i+1][l+1][pos].ss;
				queries[ind].pb(r);
			}
 
			/*
 
			for(auto [k,ptr] : up[i+1][l+1]){
				if(k >= first_occ[l][r]-1){
					if(farthest[ptr] >= r-1){
						ans++;
					}
				}
				else{
					break;
				}
			}
 
			*/
		}
	}
 
	fenwick<int> fenw(m);
 
	rep(i,n){
		rep(j,m){
			for(auto [k,ptr] : up[i][j]){
				fenw.pupd(farthest[ptr],1);
				trav(r,queries[ptr]){
					ans += fenw.query(r-1,m-1);
				}
			}
 
			for(auto [k,ptr] : up[i][j]){
				fenw.pupd(farthest[ptr],-1);
			}
		}
	}
 
	/*
 
	int oans = 0;
 
	rep1(i1,n-2){
		rep1(j1,m-2){
			for(int i2 = i1; i2 < n-1; ++i2){
				for(int j2 = j1; j2 < m-1; ++j2){
					bool ok = true;
					for(int r = i1; r <= i2; ++r){
						for(int c = j1; c <= j2; ++c){
							if(a[r][c] >= min({a[i1-1][c],a[i2+1][c],a[r][j1-1],a[r][j2+1]})){
								ok = false;
								break;
							}
						}
						if(!ok) break;
					}
 
					if(ok){
						oans++;
						cout << i1 << " " << j1 << " " << i2 << " " << j2 << endl;
					}
				}
			}
		}
	}
	
	*/
	
	// cout << ans << endl;
	// cout << oans << endl;
	// cout << endl;
 
	// assert(ans == oans);
 
	return ans;
}
# Verdict Execution time Memory Grader output
1 Correct 1 ms 348 KB Output is correct
2 Correct 0 ms 348 KB Output is correct
3 Correct 1 ms 348 KB Output is correct
4 Correct 0 ms 348 KB Output is correct
5 Correct 0 ms 348 KB Output is correct
6 Correct 1 ms 348 KB Output is correct
7 Correct 1 ms 348 KB Output is correct
8 Correct 1 ms 600 KB Output is correct
9 Correct 1 ms 348 KB Output is correct
10 Correct 1 ms 348 KB Output is correct
11 Correct 0 ms 348 KB Output is correct
12 Correct 1 ms 348 KB Output is correct
13 Correct 1 ms 348 KB Output is correct
14 Correct 0 ms 348 KB Output is correct
15 Correct 0 ms 348 KB Output is correct
16 Correct 1 ms 348 KB Output is correct
17 Correct 0 ms 348 KB Output is correct
18 Correct 1 ms 348 KB Output is correct
19 Correct 0 ms 348 KB Output is correct
20 Correct 0 ms 348 KB Output is correct
21 Correct 0 ms 348 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 1 ms 348 KB Output is correct
2 Correct 0 ms 348 KB Output is correct
3 Correct 1 ms 348 KB Output is correct
4 Correct 0 ms 348 KB Output is correct
5 Correct 0 ms 348 KB Output is correct
6 Correct 1 ms 348 KB Output is correct
7 Correct 1 ms 348 KB Output is correct
8 Correct 1 ms 600 KB Output is correct
9 Correct 1 ms 348 KB Output is correct
10 Correct 1 ms 348 KB Output is correct
11 Correct 0 ms 348 KB Output is correct
12 Correct 1 ms 348 KB Output is correct
13 Correct 1 ms 348 KB Output is correct
14 Correct 0 ms 348 KB Output is correct
15 Correct 0 ms 348 KB Output is correct
16 Correct 1 ms 348 KB Output is correct
17 Correct 0 ms 348 KB Output is correct
18 Correct 1 ms 348 KB Output is correct
19 Correct 0 ms 348 KB Output is correct
20 Correct 0 ms 348 KB Output is correct
21 Correct 0 ms 348 KB Output is correct
22 Correct 1 ms 860 KB Output is correct
23 Correct 1 ms 864 KB Output is correct
24 Correct 1 ms 860 KB Output is correct
25 Correct 1 ms 860 KB Output is correct
26 Correct 2 ms 864 KB Output is correct
27 Correct 2 ms 872 KB Output is correct
28 Correct 2 ms 872 KB Output is correct
29 Correct 1 ms 616 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 1 ms 348 KB Output is correct
2 Correct 0 ms 348 KB Output is correct
3 Correct 1 ms 348 KB Output is correct
4 Correct 0 ms 348 KB Output is correct
5 Correct 0 ms 348 KB Output is correct
6 Correct 1 ms 348 KB Output is correct
7 Correct 1 ms 348 KB Output is correct
8 Correct 1 ms 600 KB Output is correct
9 Correct 1 ms 348 KB Output is correct
10 Correct 1 ms 348 KB Output is correct
11 Correct 0 ms 348 KB Output is correct
12 Correct 1 ms 348 KB Output is correct
13 Correct 1 ms 348 KB Output is correct
14 Correct 0 ms 348 KB Output is correct
15 Correct 0 ms 348 KB Output is correct
16 Correct 1 ms 348 KB Output is correct
17 Correct 1 ms 860 KB Output is correct
18 Correct 1 ms 864 KB Output is correct
19 Correct 1 ms 860 KB Output is correct
20 Correct 1 ms 860 KB Output is correct
21 Correct 2 ms 864 KB Output is correct
22 Correct 2 ms 872 KB Output is correct
23 Correct 2 ms 872 KB Output is correct
24 Correct 1 ms 616 KB Output is correct
25 Correct 0 ms 348 KB Output is correct
26 Correct 1 ms 348 KB Output is correct
27 Correct 0 ms 348 KB Output is correct
28 Correct 0 ms 348 KB Output is correct
29 Correct 0 ms 348 KB Output is correct
30 Correct 4 ms 3432 KB Output is correct
31 Correct 5 ms 3688 KB Output is correct
32 Correct 5 ms 3784 KB Output is correct
33 Correct 6 ms 3176 KB Output is correct
34 Correct 11 ms 4252 KB Output is correct
35 Correct 12 ms 4488 KB Output is correct
36 Correct 11 ms 4424 KB Output is correct
37 Correct 10 ms 4300 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 1 ms 348 KB Output is correct
2 Correct 0 ms 348 KB Output is correct
3 Correct 1 ms 348 KB Output is correct
4 Correct 0 ms 348 KB Output is correct
5 Correct 0 ms 348 KB Output is correct
6 Correct 1 ms 348 KB Output is correct
7 Correct 1 ms 348 KB Output is correct
8 Correct 1 ms 600 KB Output is correct
9 Correct 1 ms 348 KB Output is correct
10 Correct 1 ms 348 KB Output is correct
11 Correct 0 ms 348 KB Output is correct
12 Correct 1 ms 348 KB Output is correct
13 Correct 1 ms 348 KB Output is correct
14 Correct 0 ms 348 KB Output is correct
15 Correct 0 ms 348 KB Output is correct
16 Correct 1 ms 348 KB Output is correct
17 Correct 1 ms 860 KB Output is correct
18 Correct 1 ms 864 KB Output is correct
19 Correct 1 ms 860 KB Output is correct
20 Correct 1 ms 860 KB Output is correct
21 Correct 2 ms 864 KB Output is correct
22 Correct 2 ms 872 KB Output is correct
23 Correct 2 ms 872 KB Output is correct
24 Correct 1 ms 616 KB Output is correct
25 Correct 4 ms 3432 KB Output is correct
26 Correct 5 ms 3688 KB Output is correct
27 Correct 5 ms 3784 KB Output is correct
28 Correct 6 ms 3176 KB Output is correct
29 Correct 11 ms 4252 KB Output is correct
30 Correct 12 ms 4488 KB Output is correct
31 Correct 11 ms 4424 KB Output is correct
32 Correct 10 ms 4300 KB Output is correct
33 Correct 0 ms 348 KB Output is correct
34 Correct 1 ms 348 KB Output is correct
35 Correct 0 ms 348 KB Output is correct
36 Correct 0 ms 348 KB Output is correct
37 Correct 0 ms 348 KB Output is correct
38 Correct 49 ms 34276 KB Output is correct
39 Correct 60 ms 35536 KB Output is correct
40 Correct 63 ms 38996 KB Output is correct
41 Correct 79 ms 40472 KB Output is correct
42 Correct 60 ms 43568 KB Output is correct
43 Correct 58 ms 43764 KB Output is correct
44 Correct 63 ms 43976 KB Output is correct
45 Correct 57 ms 41884 KB Output is correct
46 Correct 62 ms 30544 KB Output is correct
47 Correct 101 ms 34516 KB Output is correct
48 Correct 158 ms 49952 KB Output is correct
49 Correct 177 ms 52164 KB Output is correct
50 Correct 91 ms 26196 KB Output is correct
51 Correct 76 ms 27476 KB Output is correct
52 Correct 152 ms 49188 KB Output is correct
53 Correct 159 ms 50256 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 28 ms 49724 KB Output is correct
2 Correct 21 ms 35932 KB Output is correct
3 Correct 34 ms 49592 KB Output is correct
4 Correct 1 ms 348 KB Output is correct
5 Correct 32 ms 49508 KB Output is correct
6 Correct 28 ms 49484 KB Output is correct
7 Correct 28 ms 49500 KB Output is correct
8 Correct 30 ms 49496 KB Output is correct
9 Correct 28 ms 49588 KB Output is correct
10 Correct 1 ms 348 KB Output is correct
11 Correct 1 ms 348 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 0 ms 348 KB Output is correct
2 Correct 1 ms 348 KB Output is correct
3 Correct 0 ms 348 KB Output is correct
4 Correct 0 ms 348 KB Output is correct
5 Correct 0 ms 348 KB Output is correct
6 Correct 0 ms 348 KB Output is correct
7 Correct 494 ms 186340 KB Output is correct
8 Correct 1372 ms 385028 KB Output is correct
9 Correct 1292 ms 386556 KB Output is correct
10 Correct 1258 ms 386764 KB Output is correct
11 Correct 171 ms 158016 KB Output is correct
12 Correct 425 ms 263108 KB Output is correct
13 Correct 438 ms 281856 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 1 ms 348 KB Output is correct
2 Correct 0 ms 348 KB Output is correct
3 Correct 1 ms 348 KB Output is correct
4 Correct 0 ms 348 KB Output is correct
5 Correct 0 ms 348 KB Output is correct
6 Correct 1 ms 348 KB Output is correct
7 Correct 1 ms 348 KB Output is correct
8 Correct 1 ms 600 KB Output is correct
9 Correct 1 ms 348 KB Output is correct
10 Correct 1 ms 348 KB Output is correct
11 Correct 0 ms 348 KB Output is correct
12 Correct 1 ms 348 KB Output is correct
13 Correct 1 ms 348 KB Output is correct
14 Correct 0 ms 348 KB Output is correct
15 Correct 0 ms 348 KB Output is correct
16 Correct 1 ms 348 KB Output is correct
17 Correct 1 ms 860 KB Output is correct
18 Correct 1 ms 864 KB Output is correct
19 Correct 1 ms 860 KB Output is correct
20 Correct 1 ms 860 KB Output is correct
21 Correct 2 ms 864 KB Output is correct
22 Correct 2 ms 872 KB Output is correct
23 Correct 2 ms 872 KB Output is correct
24 Correct 1 ms 616 KB Output is correct
25 Correct 4 ms 3432 KB Output is correct
26 Correct 5 ms 3688 KB Output is correct
27 Correct 5 ms 3784 KB Output is correct
28 Correct 6 ms 3176 KB Output is correct
29 Correct 11 ms 4252 KB Output is correct
30 Correct 12 ms 4488 KB Output is correct
31 Correct 11 ms 4424 KB Output is correct
32 Correct 10 ms 4300 KB Output is correct
33 Correct 49 ms 34276 KB Output is correct
34 Correct 60 ms 35536 KB Output is correct
35 Correct 63 ms 38996 KB Output is correct
36 Correct 79 ms 40472 KB Output is correct
37 Correct 60 ms 43568 KB Output is correct
38 Correct 58 ms 43764 KB Output is correct
39 Correct 63 ms 43976 KB Output is correct
40 Correct 57 ms 41884 KB Output is correct
41 Correct 62 ms 30544 KB Output is correct
42 Correct 101 ms 34516 KB Output is correct
43 Correct 158 ms 49952 KB Output is correct
44 Correct 177 ms 52164 KB Output is correct
45 Correct 91 ms 26196 KB Output is correct
46 Correct 76 ms 27476 KB Output is correct
47 Correct 152 ms 49188 KB Output is correct
48 Correct 159 ms 50256 KB Output is correct
49 Correct 28 ms 49724 KB Output is correct
50 Correct 21 ms 35932 KB Output is correct
51 Correct 34 ms 49592 KB Output is correct
52 Correct 1 ms 348 KB Output is correct
53 Correct 32 ms 49508 KB Output is correct
54 Correct 28 ms 49484 KB Output is correct
55 Correct 28 ms 49500 KB Output is correct
56 Correct 30 ms 49496 KB Output is correct
57 Correct 28 ms 49588 KB Output is correct
58 Correct 1 ms 348 KB Output is correct
59 Correct 1 ms 348 KB Output is correct
60 Correct 0 ms 348 KB Output is correct
61 Correct 494 ms 186340 KB Output is correct
62 Correct 1372 ms 385028 KB Output is correct
63 Correct 1292 ms 386556 KB Output is correct
64 Correct 1258 ms 386764 KB Output is correct
65 Correct 171 ms 158016 KB Output is correct
66 Correct 425 ms 263108 KB Output is correct
67 Correct 438 ms 281856 KB Output is correct
68 Correct 0 ms 348 KB Output is correct
69 Correct 1 ms 348 KB Output is correct
70 Correct 0 ms 348 KB Output is correct
71 Correct 0 ms 348 KB Output is correct
72 Correct 0 ms 348 KB Output is correct
73 Correct 856 ms 432508 KB Output is correct
74 Correct 870 ms 450428 KB Output is correct
75 Correct 1272 ms 499452 KB Output is correct
76 Correct 1268 ms 517460 KB Output is correct
77 Correct 1044 ms 506968 KB Output is correct
78 Correct 1489 ms 395200 KB Output is correct
79 Correct 1570 ms 409604 KB Output is correct
80 Correct 2671 ms 636356 KB Output is correct
81 Correct 1564 ms 412636 KB Output is correct
82 Correct 2094 ms 529364 KB Output is correct
83 Correct 2749 ms 665340 KB Output is correct
84 Correct 1438 ms 390848 KB Output is correct
85 Correct 2576 ms 643688 KB Output is correct
86 Correct 2554 ms 625848 KB Output is correct
87 Correct 593 ms 326496 KB Output is correct
88 Correct 1054 ms 547240 KB Output is correct
89 Correct 1035 ms 547376 KB Output is correct
90 Correct 1067 ms 547604 KB Output is correct