Submission #1008627

# Submission time Handle Problem Language Result Execution time Memory
1008627 2024-06-26T15:58:23 Z PagodePaiva Rectangles (IOI19_rect) C++17
72 / 100
4861 ms 1048576 KB
#include "rect.h"
#include <bits/stdc++.h>
#pragma GCC optimize("O3")
#pragma GCC target("avx2,bmi,bmi2,popcnt,lzcnt")
#define int long long

using namespace std;

const int N = 2510;
const int inf = N;
int32_t v[N][N];
int p1[N][N];
int p2[N][N];
int p3[N][N];
int p4[N][N];

struct custom_hash {
    size_t operator()(uint64_t x) const {
        static const uint64_t FIXED_RANDOM = chrono::steady_clock::now().time_since_epoch().count();
        x ^= FIXED_RANDOM;
        return x ^ (x >> 16);
    }
};

struct Segtree{
	int tree[4*N];
	int join(int a, int b){
		return min(a, b);
	}
	void build(int node, int l, int r){
		if(l == r){
			tree[node] = inf;
			return;
		}
		int mid = (l+r)/2;
		build(2*node, l, mid);
		build(2*node+1, mid+1, r);
		tree[node] = join(tree[2*node], tree[2*node+1]);
		return;
	}	
	void update(int node, int l, int r, int pos, int val){
		if(l == r){
			tree[node] = val;
			return;
		}
		int mid = (l+r)/2;
		if(l <= pos and pos <= mid) update(2*node, l, mid, pos, val);
		else update(2*node+1, mid+1, r, pos, val);
		tree[node] = join(tree[2*node], tree[2*node+1]);
		return;
	}
	int query(int node, int l, int r, int tl, int tr){
		if(l <= tl and tr <= r) return tree[node];
		if(l > tr or tl > r) return inf;
		int mid = (tl+tr)/2;
		return join(query(2*node, l, r, tl, mid), query(2*node+1, l, r, mid+1, tr));
	}
} seg1[N], seg3[N];

struct Segtree2{
	int tree[4*N];
	int join(int a, int b){
		return max(a, b);
	}
	void build(int node, int l, int r){
		if(l == r){
			tree[node] = -1;
			return;
		}
		int mid = (l+r)/2;
		build(2*node, l, mid);
		build(2*node+1, mid+1, r);
		tree[node] = join(tree[2*node], tree[2*node+1]);
		return;
	}	
	void update(int node, int l, int r, int pos, int val){
		if(l == r){
			tree[node] = val;
			return;
		}
		int mid = (l+r)/2;
		if(l <= pos and pos <= mid) update(2*node, l, mid, pos, val);
		else update(2*node+1, mid+1, r, pos, val);
		tree[node] = join(tree[2*node], tree[2*node+1]);
		return;
	}
	int query(int node, int l, int r, int tl, int tr){
		if(l <= tl and tr <= r) return tree[node];
		if(l > tr or tl > r) return -1;
		int mid = (tl+tr)/2;
		return join(query(2*node, l, r, tl, mid), query(2*node+1, l, r, mid+1, tr));
	}
} seg2[N], seg4[N];

unordered_set <int> s;
int n, m;

bool check(int r1, int c1, int r2, int c2){
	if(r1 == 0 or r2 == n+1 or r2-r1 <= 1) return false;
	if(c1 == 0 or c2 == m+1 or c2-c1 <= 1) return false;
	if(r1+1 > r2-1 or c1+1 > c2-1) return false;
	if(c1 <= 0 or c1 > m or c2 <= 0 or c2 > m or r1 <= 0 or r1 > n or r2 <= 0 or r2 > n) return false;
	int x1 = seg1[c1].query(1,r1+1, r2-1, 1, n);
	if(c1+1 <= x1 and x1 <= c2-1) return false;
	x1 = seg2[c2].query(1, r1+1, r2-1, 1, n);
	if(c1 < x1 and x1 < c2) return false;
	int x2 = seg3[r1].query(1, c1+1, c2-1, 1, m);
	if(r1 < x2 and x2 < r2) return false;
	x2 = seg4[r2].query(1, c1+1, c2-1, 1, m);
	if(r1 < x2 and x2 < r2) return false;
	if(s.find(r1+c1*N+r2*N*N+c2*N*N*N) != s.end()) return false;
	s.insert(r1+c1*N+r2*N*N+c2*N*N*N);
	return true;
}
long long count_rectangles(std::vector<std::vector<int32_t> > a) {
	n = a.size(), m = a[0].size();
	s.clear();
	for(int i = 1;i <= n;i++){
		for(int j = 1;j <= m;j++){
			v[i][j] = a[i-1][j-1];
		}
	}
	for(int i = 1;i <= n;i++){
		stack <int> s;
		for(int j = 1;j <= m;j++){
			if(s.empty()) s.push(j);
			else{
				while(!s.empty()){
					int t = s.top();
					if(v[i][j] >= v[i][t]){
						p1[i][t] = j;
						s.pop();
					}
					else{
						break;
					}
				}
				s.push(j);
			}
		}
		while(!s.empty()){
			int t = s.top();
			p1[i][t] = m+1;
			s.pop();
		}
	}
	for(int i = 1;i <= n;i++){
		stack <int> s;
		for(int j = m;j > 0;j--){
			if(s.empty()) s.push(j);
			else{
				while(!s.empty()){
					int t = s.top();
					if(v[i][j] >= v[i][t]){
						p2[i][t] = j;
						s.pop();
					}
					else{
						break;
					}
				}
				s.push(j);
			}
		}
		while(!s.empty()){
			int t = s.top();
			p2[i][t] = 0;
			s.pop();
		}
	}
	for(int j = 1;j <= m;j++){
		stack <int> s;
		for(int i = 1;i <= n;i++){
			if(s.empty()) s.push(i);
			else{
				while(!s.empty()){
					int t = s.top();
					if(v[i][j] >= v[t][j]){
						p3[t][j] = i;
						s.pop();
					}
					else{
						break;
					}
				}
				s.push(i);
			}
		}
		while(!s.empty()){
			int t = s.top();
			p3[t][j] = n+1;
			s.pop();
		}
	}
	for(int j = 1;j <= m;j++){
		stack <int> s;
		for(int i = n;i > 0;i--){
			if(s.empty()) s.push(i);
			else{
				while(!s.empty()){
					int t = s.top();
					if(v[i][j] >= v[t][j]){
						p4[t][j] = i;
						s.pop();
					}
					else{
						break;
					}
				}
				s.push(i);
			}
		}
		while(!s.empty()){
			int t = s.top();
			p4[t][j] = 0;
			s.pop();
		}
	}
	for(int i = 1;i <= m;i++){
		seg1[i].build(1, 1, n);
		seg2[i].build(1, 1, n);
	}
	for(int i = 1;i <= n;i++){
		seg3[i].build(1, 1, m);
		seg4[i].build(1, 1, m);
	}
	for(int i = 1;i <= n;i++){
		for(int j = 1;j <= m;j++){
			seg1[j].update(1, 1, n, i, p1[i][j]);
			seg2[j].update(1, 1, n, i, p2[i][j]);
			seg3[i].update(1, 1, m, j, p3[i][j]);
			seg4[i].update(1, 1, m, j, p4[i][j]);
		}
	}
	for(int r1 = 1;r1 < n;r1++){
		for(int c1 = 1;c1 < m;c1++){
			int r2 = p3[r1][c1+1];
			int c2 = (1 <= r1+1 and r1+1 <= r2-1 and r2-1 <= n ? seg1[c1].query(1, r1+1, r2-1, 1, n) : -1);
			check(r1, c1, r2, c2);
			c2 = p1[r1+1][c1];
			r2 = (1 <= c1+1 and c1+1 <= c2-1 and c2-1 <= m ? seg3[r1].query(1, c1+1, c2-1, 1, m) : -1);
			check(r1, c1, r2, c2);
		}
	}
	for(int r1 = 1;r1 < n;r1++){
		for(int c2 = m;c2 > 1;c2--){
			int c1 = p2[r1+1][c2];
			int r2 = (1 <= c1+1 and c1+1 <= c2-1 and c2-1 <= m ? seg3[r1].query(1, c1+1, c2-1, 1, m) : -1);
			check(r1, c1, r2, c2);
			r2 = p3[r1][c2-1];
			c1 = (1 <= r1+1 and r1+1 <= r2-1 and r2-1 <= n ? seg2[c2].query(1, r1+1, r2-1, 1, n) : -1);
			check(r1, c1, r2, c2);
		}
	}
	for(int r2 = n;r2 > 1;r2--){
		for(int c1 = 1;c1 < m;c1++){
			int r1 = p4[r2][c1+1];
			int c2 = (1 <= r1+1 and r1+1 <= r2-1 and r2-1 <= n ? seg1[c1].query(1, r1+1, r2-1, 1, n) : -1);
			check(r1, c1, r2, c2);
			c2 = p1[r2-1][c1];
			r1 = (1 <= c1+1 and c1+1 <= c2-1 and c2-1 <= m ? seg4[r2].query(1, c1+1, c2-1, 1, m) : -1);
			check(r1, c1, r2, c2);
			/*
			int c2 = p1[r2-1][c1];
			int r1 = p4[r2][c1+1];
			check(r1, c1, r2, c2);
			*/
		}
	}
	for(int r2 = n;r2 > 1;r2--){
		for(int c2 = m;c2 > 1;c2--){
			int c1 = p2[r2-1][c2];
			int r1 = (1 <= c1+1 and c1+1 <= c2-1 and c2-1 <= m ? seg4[r2].query(1, c1+1, c2-1, 1, m) : -1);
			check(r1, c1, r2, c2);
			r1 = p4[r2][c2-1];
			c1 = (1 <= r1+1 and r1+1 <= r2-1 and r2-1 <= n ? seg2[c2].query(1, r1+1, r2-1, 1, n) : -1);
			check(r1, c1, r2, c2);
			/*
			int c1 = p2[r2-1][c2];
			int r1 = p4[r2][c2-1];
			check(r1, c1, r2, c2);
			*/
		}
	}
	return s.size();
}

# Verdict Execution time Memory Grader output
1 Correct 0 ms 604 KB Output is correct
2 Correct 1 ms 1628 KB Output is correct
3 Correct 1 ms 1628 KB Output is correct
4 Correct 1 ms 1628 KB Output is correct
5 Correct 1 ms 1624 KB Output is correct
6 Correct 1 ms 1628 KB Output is correct
7 Correct 1 ms 1624 KB Output is correct
8 Correct 1 ms 1116 KB Output is correct
9 Correct 2 ms 1628 KB Output is correct
10 Correct 1 ms 1460 KB Output is correct
11 Correct 1 ms 1628 KB Output is correct
12 Correct 1 ms 1628 KB Output is correct
13 Correct 0 ms 348 KB Output is correct
14 Correct 1 ms 600 KB Output is correct
15 Correct 1 ms 600 KB Output is correct
16 Correct 0 ms 348 KB Output is correct
17 Correct 1 ms 348 KB Output is correct
18 Correct 0 ms 348 KB Output is correct
19 Correct 1 ms 1628 KB Output is correct
20 Correct 1 ms 1372 KB Output is correct
21 Correct 0 ms 604 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 0 ms 604 KB Output is correct
2 Correct 1 ms 1628 KB Output is correct
3 Correct 1 ms 1628 KB Output is correct
4 Correct 1 ms 1628 KB Output is correct
5 Correct 1 ms 1624 KB Output is correct
6 Correct 1 ms 1628 KB Output is correct
7 Correct 1 ms 1624 KB Output is correct
8 Correct 1 ms 1116 KB Output is correct
9 Correct 2 ms 1628 KB Output is correct
10 Correct 1 ms 1460 KB Output is correct
11 Correct 1 ms 1628 KB Output is correct
12 Correct 1 ms 1628 KB Output is correct
13 Correct 0 ms 348 KB Output is correct
14 Correct 1 ms 600 KB Output is correct
15 Correct 1 ms 600 KB Output is correct
16 Correct 0 ms 348 KB Output is correct
17 Correct 1 ms 348 KB Output is correct
18 Correct 0 ms 348 KB Output is correct
19 Correct 1 ms 1628 KB Output is correct
20 Correct 1 ms 1372 KB Output is correct
21 Correct 0 ms 604 KB Output is correct
22 Correct 5 ms 4444 KB Output is correct
23 Correct 5 ms 4444 KB Output is correct
24 Correct 5 ms 4444 KB Output is correct
25 Correct 5 ms 4188 KB Output is correct
26 Correct 5 ms 4188 KB Output is correct
27 Correct 5 ms 4188 KB Output is correct
28 Correct 5 ms 4376 KB Output is correct
29 Correct 3 ms 3420 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 0 ms 604 KB Output is correct
2 Correct 1 ms 1628 KB Output is correct
3 Correct 1 ms 1628 KB Output is correct
4 Correct 1 ms 1628 KB Output is correct
5 Correct 1 ms 1624 KB Output is correct
6 Correct 1 ms 1628 KB Output is correct
7 Correct 1 ms 1624 KB Output is correct
8 Correct 1 ms 1116 KB Output is correct
9 Correct 2 ms 1628 KB Output is correct
10 Correct 1 ms 1460 KB Output is correct
11 Correct 1 ms 1628 KB Output is correct
12 Correct 1 ms 1628 KB Output is correct
13 Correct 0 ms 348 KB Output is correct
14 Correct 1 ms 600 KB Output is correct
15 Correct 1 ms 600 KB Output is correct
16 Correct 0 ms 348 KB Output is correct
17 Correct 5 ms 4444 KB Output is correct
18 Correct 5 ms 4444 KB Output is correct
19 Correct 5 ms 4444 KB Output is correct
20 Correct 5 ms 4188 KB Output is correct
21 Correct 5 ms 4188 KB Output is correct
22 Correct 5 ms 4188 KB Output is correct
23 Correct 5 ms 4376 KB Output is correct
24 Correct 3 ms 3420 KB Output is correct
25 Correct 1 ms 348 KB Output is correct
26 Correct 0 ms 348 KB Output is correct
27 Correct 1 ms 1628 KB Output is correct
28 Correct 1 ms 1372 KB Output is correct
29 Correct 0 ms 604 KB Output is correct
30 Correct 28 ms 14512 KB Output is correct
31 Correct 33 ms 14416 KB Output is correct
32 Correct 33 ms 14548 KB Output is correct
33 Correct 22 ms 12888 KB Output is correct
34 Correct 31 ms 13404 KB Output is correct
35 Correct 31 ms 13392 KB Output is correct
36 Correct 30 ms 13392 KB Output is correct
37 Correct 30 ms 13392 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 0 ms 604 KB Output is correct
2 Correct 1 ms 1628 KB Output is correct
3 Correct 1 ms 1628 KB Output is correct
4 Correct 1 ms 1628 KB Output is correct
5 Correct 1 ms 1624 KB Output is correct
6 Correct 1 ms 1628 KB Output is correct
7 Correct 1 ms 1624 KB Output is correct
8 Correct 1 ms 1116 KB Output is correct
9 Correct 2 ms 1628 KB Output is correct
10 Correct 1 ms 1460 KB Output is correct
11 Correct 1 ms 1628 KB Output is correct
12 Correct 1 ms 1628 KB Output is correct
13 Correct 0 ms 348 KB Output is correct
14 Correct 1 ms 600 KB Output is correct
15 Correct 1 ms 600 KB Output is correct
16 Correct 0 ms 348 KB Output is correct
17 Correct 5 ms 4444 KB Output is correct
18 Correct 5 ms 4444 KB Output is correct
19 Correct 5 ms 4444 KB Output is correct
20 Correct 5 ms 4188 KB Output is correct
21 Correct 5 ms 4188 KB Output is correct
22 Correct 5 ms 4188 KB Output is correct
23 Correct 5 ms 4376 KB Output is correct
24 Correct 3 ms 3420 KB Output is correct
25 Correct 28 ms 14512 KB Output is correct
26 Correct 33 ms 14416 KB Output is correct
27 Correct 33 ms 14548 KB Output is correct
28 Correct 22 ms 12888 KB Output is correct
29 Correct 31 ms 13404 KB Output is correct
30 Correct 31 ms 13392 KB Output is correct
31 Correct 30 ms 13392 KB Output is correct
32 Correct 30 ms 13392 KB Output is correct
33 Correct 1 ms 348 KB Output is correct
34 Correct 0 ms 348 KB Output is correct
35 Correct 1 ms 1628 KB Output is correct
36 Correct 1 ms 1372 KB Output is correct
37 Correct 0 ms 604 KB Output is correct
38 Correct 248 ms 94688 KB Output is correct
39 Correct 266 ms 94636 KB Output is correct
40 Correct 230 ms 94816 KB Output is correct
41 Correct 228 ms 94804 KB Output is correct
42 Correct 456 ms 115548 KB Output is correct
43 Correct 491 ms 115644 KB Output is correct
44 Correct 477 ms 115900 KB Output is correct
45 Correct 455 ms 110728 KB Output is correct
46 Correct 322 ms 93464 KB Output is correct
47 Correct 358 ms 95152 KB Output is correct
48 Correct 519 ms 100128 KB Output is correct
49 Correct 535 ms 101712 KB Output is correct
50 Correct 230 ms 61024 KB Output is correct
51 Correct 242 ms 54112 KB Output is correct
52 Correct 459 ms 101248 KB Output is correct
53 Correct 468 ms 101656 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 12 ms 22360 KB Output is correct
2 Correct 9 ms 19032 KB Output is correct
3 Correct 8 ms 22108 KB Output is correct
4 Correct 0 ms 348 KB Output is correct
5 Correct 10 ms 22364 KB Output is correct
6 Correct 10 ms 22364 KB Output is correct
7 Correct 11 ms 22376 KB Output is correct
8 Correct 11 ms 22104 KB Output is correct
9 Correct 13 ms 22364 KB Output is correct
10 Correct 8 ms 21340 KB Output is correct
11 Correct 10 ms 21592 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 1628 KB Output is correct
4 Correct 1 ms 1372 KB Output is correct
5 Correct 0 ms 604 KB Output is correct
6 Correct 0 ms 604 KB Output is correct
7 Correct 2111 ms 477048 KB Output is correct
8 Correct 4861 ms 968148 KB Output is correct
9 Correct 4821 ms 972320 KB Output is correct
10 Correct 4637 ms 972468 KB Output is correct
11 Correct 927 ms 487384 KB Output is correct
12 Correct 1810 ms 936700 KB Output is correct
13 Correct 1976 ms 961756 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 0 ms 604 KB Output is correct
2 Correct 1 ms 1628 KB Output is correct
3 Correct 1 ms 1628 KB Output is correct
4 Correct 1 ms 1628 KB Output is correct
5 Correct 1 ms 1624 KB Output is correct
6 Correct 1 ms 1628 KB Output is correct
7 Correct 1 ms 1624 KB Output is correct
8 Correct 1 ms 1116 KB Output is correct
9 Correct 2 ms 1628 KB Output is correct
10 Correct 1 ms 1460 KB Output is correct
11 Correct 1 ms 1628 KB Output is correct
12 Correct 1 ms 1628 KB Output is correct
13 Correct 0 ms 348 KB Output is correct
14 Correct 1 ms 600 KB Output is correct
15 Correct 1 ms 600 KB Output is correct
16 Correct 0 ms 348 KB Output is correct
17 Correct 5 ms 4444 KB Output is correct
18 Correct 5 ms 4444 KB Output is correct
19 Correct 5 ms 4444 KB Output is correct
20 Correct 5 ms 4188 KB Output is correct
21 Correct 5 ms 4188 KB Output is correct
22 Correct 5 ms 4188 KB Output is correct
23 Correct 5 ms 4376 KB Output is correct
24 Correct 3 ms 3420 KB Output is correct
25 Correct 28 ms 14512 KB Output is correct
26 Correct 33 ms 14416 KB Output is correct
27 Correct 33 ms 14548 KB Output is correct
28 Correct 22 ms 12888 KB Output is correct
29 Correct 31 ms 13404 KB Output is correct
30 Correct 31 ms 13392 KB Output is correct
31 Correct 30 ms 13392 KB Output is correct
32 Correct 30 ms 13392 KB Output is correct
33 Correct 248 ms 94688 KB Output is correct
34 Correct 266 ms 94636 KB Output is correct
35 Correct 230 ms 94816 KB Output is correct
36 Correct 228 ms 94804 KB Output is correct
37 Correct 456 ms 115548 KB Output is correct
38 Correct 491 ms 115644 KB Output is correct
39 Correct 477 ms 115900 KB Output is correct
40 Correct 455 ms 110728 KB Output is correct
41 Correct 322 ms 93464 KB Output is correct
42 Correct 358 ms 95152 KB Output is correct
43 Correct 519 ms 100128 KB Output is correct
44 Correct 535 ms 101712 KB Output is correct
45 Correct 230 ms 61024 KB Output is correct
46 Correct 242 ms 54112 KB Output is correct
47 Correct 459 ms 101248 KB Output is correct
48 Correct 468 ms 101656 KB Output is correct
49 Correct 12 ms 22360 KB Output is correct
50 Correct 9 ms 19032 KB Output is correct
51 Correct 8 ms 22108 KB Output is correct
52 Correct 0 ms 348 KB Output is correct
53 Correct 10 ms 22364 KB Output is correct
54 Correct 10 ms 22364 KB Output is correct
55 Correct 11 ms 22376 KB Output is correct
56 Correct 11 ms 22104 KB Output is correct
57 Correct 13 ms 22364 KB Output is correct
58 Correct 8 ms 21340 KB Output is correct
59 Correct 10 ms 21592 KB Output is correct
60 Correct 0 ms 604 KB Output is correct
61 Correct 2111 ms 477048 KB Output is correct
62 Correct 4861 ms 968148 KB Output is correct
63 Correct 4821 ms 972320 KB Output is correct
64 Correct 4637 ms 972468 KB Output is correct
65 Correct 927 ms 487384 KB Output is correct
66 Correct 1810 ms 936700 KB Output is correct
67 Correct 1976 ms 961756 KB Output is correct
68 Correct 1 ms 348 KB Output is correct
69 Correct 0 ms 348 KB Output is correct
70 Correct 1 ms 1628 KB Output is correct
71 Correct 1 ms 1372 KB Output is correct
72 Correct 0 ms 604 KB Output is correct
73 Correct 3825 ms 991088 KB Output is correct
74 Correct 3924 ms 991352 KB Output is correct
75 Correct 3468 ms 991156 KB Output is correct
76 Correct 3587 ms 995288 KB Output is correct
77 Runtime error 3636 ms 1048576 KB Execution killed with signal 9
78 Halted 0 ms 0 KB -