1 files changed, 51 insertions, 0 deletions
diff --git a/test/datastructures/sparseTable.cpp b/test/datastructures/sparseTable.cpp
new file mode 100644
index 0000000..2cfded9
--- /dev/null
+++ b/test/datastructures/sparseTable.cpp
@@ -0,0 +1,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();
+	performance_test();
+}