use four russians in prod_mod_2

adamant-pwn · adamant-pwn · commit 21d1de5ac63f · 2025-05-27T23:45:06.000+02:00
diff --git a/cp-algo/structures/bitpack.hpp b/cp-algo/structures/bitpack.hpp
@@ -1,7 +1,6 @@
-
 #ifndef CP_ALGO_STRUCTURES_BITPACK_HPP
 #define CP_ALGO_STRUCTURES_BITPACK_HPP
-#include "bit_array.hpp"
+#include "../structures/bit_array.hpp"
 #include <cstdint>
 #include <cstddef>
 #include <string>
diff --git a/verify/structures/bitpack/prod_mod_2.test.cpp b/verify/structures/bitpack/prod_mod_2.test.cpp
@@ -2,7 +2,6 @@
 // @brief Matrix Product (Mod 2)
 #define PROBLEM "https://judge.yosupo.jp/problem/matrix_product_mod_2"
 #pragma GCC optimize("Ofast,unroll-loops")
-#pragma GCC target("tune=native")
 #include "cp-algo/structures/bitpack.hpp"
 #include <bits/stdc++.h>
 
@@ -11,6 +10,19 @@ using cp_algo::structures::bitpack;
 
 const int maxn = 1 << 12;
 bitpack<maxn> a[maxn], b[maxn], c[maxn];
+const int K = 8;
+bitpack<maxn> precalc[maxn / K][1 << K];
+
+void process_precalc() {
+    for(int i = 0; i < maxn / K; i++) {
+        for(int j = 0; j < K; j++) {
+            int step = 1 << j;
+            for(int k = 0; k < step; k++) {
+                precalc[i][k + step] = precalc[i][k] ^ b[K * i + j];
+            }
+        }
+    }
+}
 
 void solve() {
     int n, m, k;
@@ -24,10 +36,11 @@ void solve() {
         cin >> row;
         b[i] = row;
     }
-    for(int i = 0; i < n; i++) {
-        for(int j = 0; j < m; j++) {
-            if(a[i][j]) {
-                c[i] ^= b[j];
+    process_precalc();
+    for(int j = 0; j < m; j += 64) {
+        for(int z = 0; z < 64 / K; z++) {
+            for(int i = 0; i < n; i++) {
+                c[i] ^= precalc[j / K + z][uint8_t(a[i].word(j / 64) >> K * z)];
             }
         }
     }
