summaryrefslogtreecommitdiff
path: root/test/math/chineseRemainder.cpp
diff options
context:
space:
mode:
authormzuenni <mzuenni@users.noreply.github.com>2024-07-28 22:54:40 +0200
committerGitHub <noreply@github.com>2024-07-28 22:54:40 +0200
commit8d11c6c8213f46f0fa19826917c255edd5d43cb1 (patch)
tree96d75baff33d5a04b5a60f1a41f514a26c716874 /test/math/chineseRemainder.cpp
parent8c33b4e0d3030cfed17fc64b4fe41133339f6d87 (diff)
Test (#4)
* update * moved content in subdir * rename file * add test setup * add test setup * add github action * automaticly test all cpp files * timeout after 10s * setulimit and dont zero memory * test build pdf * install latexmk * update * update * ngerman * fonts * removed old code * add first test * added tests * test in sorted order * more tests * simplified test * more tests * fix suffix tree * fixes and improvements * done ust lst directly * fix swap * add links to pdf * fix constants * add primorial * add comment * various improvements * more tests * added missing stuf * more tests * fix tests * more tests * more tests * more tests * fix recursion? * test trie * more tests * only use python temporarily for listings * only use python temporarily for listings * more tests * fix longestCommonSubstring * more tests * more tests * made code more similiar * fix? * more tests * more tests * more tests * add ahoCorasick test + limit 4GB stack size * more tests * fix test * add additional test * more tests * more tests * fix? * better fix * fix virtual tree * more tests * more tests * recursive closest pair * more tests * decrease limit * new tests * more tests * fix name * more tests * add test * new test * more tests * more tests * more tests * more tests * new test and content * new code * new code * larger tests * fix and test * new test * new test * update pdf * remove comments * new test * more tests * more testcases * more tests * increased limit * more tests * more tests * more tests * new tests * more tests * shortened code * new test * add basic tests for bigint * more tests * removed old files * new test * ignore some files * more auto more ccw * fix test * more tests * fix * new tests * more tests * more tests * stronger test * actually verify delaunay... * more tests * fix header * more tests * run tests parallel? * test parralel? * add --missing * separate workflows * test * is the pdf checked? * separate workflows * fix workflow * more workflows --------- Co-authored-by: Yidi <noob999noob999@gmail.com>
Diffstat (limited to 'test/math/chineseRemainder.cpp')
-rw-r--r--test/math/chineseRemainder.cpp47
1 files changed, 47 insertions, 0 deletions
diff --git a/test/math/chineseRemainder.cpp b/test/math/chineseRemainder.cpp
new file mode 100644
index 0000000..26e71de
--- /dev/null
+++ b/test/math/chineseRemainder.cpp
@@ -0,0 +1,47 @@
+#include "../util.h"
+#include <math/extendedEuclid.cpp>
+#include <math/chineseRemainder.cpp>
+
+struct NAIVE {
+ vector<pair<ll, ll>> added;
+ void add(ll a, ll m) {
+ added.emplace_back(a, m);
+ }
+ ll sol() const {
+ ll n = 1;
+ for (auto [_, x] : added) n = lcm(n, x);
+ for (ll i = 0; i < n; i++) {
+ bool ok = true;
+ for (auto [a, m] : added) {
+ ok &= (i % m) == a;
+ }
+ if (ok) return i;
+ }
+ return -1;
+ }
+};
+
+void stress_test() {
+ ll queries = 0;
+ ll withSol = 0;
+ for (ll i = 0; i < 100'000; i++) {
+ CRT crt;
+ NAIVE naive;
+ for (ll j = 0; j < 3; j++) {
+ int m = Random::integer<int>(1, 50);
+ int a = Random::integer<int>(0, m);
+ crt.add(a, m);
+ naive.add(a, m);
+ }
+ if (crt.hasSol != (naive.sol() >= 0)) cerr << "error" << FAIL;
+ if (crt.hasSol && crt.sol != naive.sol()) cerr << "got: " << (ll)crt.sol << ", expected: " << naive.sol() << FAIL;
+ queries += crt.M;
+ withSol += crt.hasSol;
+ }
+ cerr << "tested queries: " << queries << "(" << withSol << ")" << endl;
+}
+
+int main() {
+ stress_test();
+}
+