test/datastructures/sparseTable.cpp


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51

#include "../util.h"
constexpr ll INF = LL::INF;
#include <datastructures/sparseTable.cpp>

void stress_test() {
	ll queries = 0;
	for (int tries = 0; tries < 1000; tries++) {
		int n = Random::integer<int>(1, 100);
		vector<ll> naive = Random::integers<ll>(n, -1000, 1000);
		SparseTable st;
		st.init(&naive);
		for (int operations = 0; operations < 1000; operations++) {
			queries++;
			int l = Random::integer<int>(0, n+1);
			int r = Random::integer<int>(0, n+1);

			ll got = st.queryIdempotent(l, r);
			ll expected = r <= l ? -1 : l;
			for (int j = l; j < r; j++) {
				if (naive[j] < naive[expected]) expected = j;
			}
			if (got != expected) cerr << "got: " << got << ", expected: " << expected << FAIL;
		}
	}
	cerr << "tested random queries: " << queries << endl;
}

constexpr int N = 1'500'000;
void performance_test() {
	timer t;
	vector<ll> naive = Random::integers<ll>(N, -1000, 1000);
	t.start();
	SparseTable st;
	st.init(&naive);
	t.stop();
	hash_t hash = 0;
	for (int operations = 0; operations < N; operations++) {
		auto [l, r] = Random::pair<int>(0, N+1);
		
		t.start();
		hash += st.queryIdempotent(l, r);
		t.stop();
	}
	if (t.time > 500) cerr << "too slow: " << t.time << FAIL;
	cerr << "tested performance: " << t.time << "ms (hash: " << hash << ")" << endl;
}

int main() {
	stress_test();
	if (!sanitize) performance_test();
}