前缀线性基。
就是多写了 swap
auto ins = [&](int x) {ll v = val[x];memcpy(b, a[x], sizeof(b));for (int i = 1; i <= idx; i++) {if (b[i]) {if (!g[i]) {g[i] = x, p[i] = v; // p 是优先级ans += v;memcpy(f[i], b, sizeof(f[i]));return 1;}if (v > p[i]) {ans += v - p[i];swap(p[i], v);swap(f[i], b);}ll t = (mod - b[i]) * ksm(f[i][i], mod - 2) % mod;for (int j = i; j <= idx; j++) {b[j] = (b[j] + t * f[i][j]) % mod;}}}return 0;
};
考虑考虑为什么是对的，首先我们假设这个线性基里面有 \(x, y\)，两个基底，接下来我们要插入 \(z\)。
如果 \(z\) 的优先级没有 \(x\) 高，
https://www.cnblogs.com/bianchengmao/p/16713133.html