【做题笔记】多项式/FFT/NTT

HDU1402 - A * B Problem Plus

题目链接

大数乘法是多项式的基础应用,其原理是将多项式 f ( x ) = a 0 + a 1 x + a 2 x 2 + a 3 x 3 + ⋯ + a n x n f(x)=a_0+a_1x+a_2x^2+a_3x^3+\cdots+a_nx^n f(x)=a0+a1x+a2x2+a3x3++anxn中的 x = 10 x=10 x=10,然后让大数的每一位当做对应的 1 0 y 10^y 10y的系数,然后进行多项式乘法运算,以降低大数乘法的时间复杂度(高精度乘法时间复杂度是 O ( n 2 ) O(n^2) O(n2)的,多项式乘法是 O ( n log ⁡ n ) O(n\log n) O(nlogn) n n n是位数)。

在进行多项式乘法之后,我们得到了新的多项式 h ( x ) = c 0 + c 1 × 10 + c 2 × 1 0 2 + ⋯ + c m × 1 0 m h(x)=c_0+c_1\times 10+c_2\times 10^2+\cdots + c_m\times 10^m h(x)=c0+c1×10+c2×102++cm×10m
这里的 c 0 , c 1 , ⋯ , c m c_0,c_1,\cdots,c_m c0,c1,,cm由于在乘法时会发生进位,所以每一位可能会大于 9 9 9,此时要将后面的位的值挪到下一位上去,让这一位保证在 9 9 9以内。

然后从高位到低位找到第一个不是 0 0 0的位,然后逐位输出即可。

如果最终结果是 0 0 0,要特别判断。

#include<bits/stdc++.h>
using namespace std;
typedef long long LL;
const LL mod = (1ll << 47) * 7 * 4451 + 1;
const LL g = 3;LL mul(LL x, LL y) {return (x * y - (LL)(x / (long double)mod * y + 1e-3) * mod + mod) % mod;
}template<class T> T power(T a, LL b) {T res = 1;for (; b; b >>= 1) {if (b & 1) res = mul(res, a);a = mul(a, a);}return res;
}LL rev[4000005];void change(LL *y, int len) {for (int i = 0; i < len; ++i) {if (i < rev[i]) swap(y[i], y[rev[i]]);}
}void DFT(LL *y, int len, int on) {change(y, len);for (LL h = 2; h <= len; h <<= 1) {LL wn = power(g, (mod - 1) / h);if (on == -1) wn = power(wn, mod - 2); for (int j = 0; j < len; j += h) {LL w = 1ll;for (int k = j; k < j + h / 2; ++k) {LL u = y[k] % mod;LL t = mul(w, y[k + h / 2]);y[k] = (u + t) % mod;y[k + h / 2] = (u - t + mod) % mod;w = mul(w, wn);}}}
}void NTT(LL *x1, LL *x2, LL len) {for (int i = 0; i < len; ++i) {rev[i] = rev[i >> 1] >> 1;if (i & 1) rev[i] |= len >> 1;}DFT(x1, len, 1);DFT(x2, len, 1);for (int i = 0; i < len; ++i) {x1[i] = mul(x1[i], x2[i]);}DFT(x1, len, -1);LL inv = power(len, mod - 2);for (int i = 0; i < len; ++i) {x1[i] = mul(x1[i], inv);}
}string a, b;
LL x1[2000005], x2[2000005];void main2() {cin >> b;int n = a.length(), m = b.length();int len = 1;while (len <= (n + m) * 2 + 1) len <<= 1;int pt = n - 1;for (char c: a) {x1[pt--] = c - '0';}for (int i = n; i < len + 300; ++i) {x1[i] = 0;}pt = m - 1;for (char c: b) {x2[pt--] = c - '0';}for (int i = m; i < len; ++i) {x2[i] = 0;}NTT(x1, x2, len);for (int i = 0; i < len; ++i) {if (x1[i] > 9) {x1[i + 1] += (x1[i] / 10);x1[i] %= 10;}}pt = len;while (x1[pt] > 0) {if (x1[pt] > 9) {x1[pt + 1] += (x1[pt] / 10);x1[pt++] %= 10;}}while (pt >= 0 and x1[pt] == 0) --pt;if (pt == -1) {cout << 0 << '\n';return;}for (int i = pt; i >= 0; --i) {cout << x1[i];}cout << '\n';
}int main() {ios::sync_with_stdio(false);cin.tie(0); cout.tie(0);LL _ = 1;
//	cin >> _;while (cin >> a) main2();return 0;
}

HDU4609 - 3-idiots

题目链接

要求能够成三角形的概率,我们可以通过可以构成三角形的情况总数/总的情况数来得到。其中总的情况数就是 ( n 3 ) \binom{n}{3} (3n),重点是求解可以构成三角形的情况。

首先我们可以维护一个多项式, x i x_i xi的系数表示长度为 i i i的线段有多少条。那么以样例 1 1 1为例,得到的多项式的系数就是: [ 0 , 1 , 0 , 2 , 1 ] [0,1,0,2,1] [0,1,0,2,1]

接下来,我们将这个多项式自己与自己相乘,也就是 [ 0 , 1 , 0 , 2 , 1 ] × [ 0 , 1 , 0 , 2 , 1 ] [0,1,0,2,1]\times [0,1,0,2,1] [0,1,0,2,1]×[0,1,0,2,1],得到的多项式的系数是: [ 0 , 0 , 1 , 0 , 4 , 2 , 4 , 4 , 1 ] [0,0,1,0,4,2,4,4,1] [0,0,1,0,4,2,4,4,1]

这个多项式表示的含义是从第一个 [ 0 , 1 , 0 , 2 , 1 ] [0,1,0,2,1] [0,1,0,2,1]取出一个边,从第二个 [ 0 , 1 , 0 , 2 , 1 ] [0,1,0,2,1] [0,1,0,2,1]取出一个边:
取出两个边的长度和为 0 0 0的有 0 0 0种;
取出两个边的长度和为 1 1 1的有 0 0 0种;
取出两个边的长度和为 2 2 2的有 1 1 1种;
取出两个边的长度和为 3 3 3的有 0 0 0种;
取出两个边的长度和为 4 4 4的有 4 4 4种;
取出两个边的长度和为 5 5 5的有 2 2 2种;
取出两个边的长度和为 6 6 6的有 4 4 4种;
取出两个边的长度和为 7 7 7的有 4 4 4种;
取出两个边的长度和为 8 8 8的有 1 1 1种。

我们现在要利用得到的这个信息来求解答案。

我们先来看一看我们的三条边形成三角形,有怎样的条件:设三角形三条边是 a , b , c a,b,c a,b,c,且 a < b < c a<b<c a<b<c。于是有 a + b > c a+b>c a+b>c

首先,在我们得到的 [ 0 , 0 , 1 , 0 , 4 , 2 , 4 , 4 , 1 ] [0,0,1,0,4,2,4,4,1] [0,0,1,0,4,2,4,4,1]中,存在同一条边被采用两次的情况,首先我们要遍历每一条边,将长度之和为其二倍的情况 − 1 -1 1。原始的 4 4 4条边的边长分别是 [ 1 , 3 , 3 , 4 ] [1,3,3,4] [1,3,3,4],所以我们要减去两条边长度为 [ 2 , 6 , 6 , 8 ] [2,6,6,8] [2,6,6,8]的一种方案。于是变成: [ 0 , 0 , 0 , 0 , 4 , 2 , 2 , 4 , 0 ] [0,0,0,0,4,2,2,4,0] [0,0,0,0,4,2,2,4,0]

然后,由于我们两边的边是一样的,左边取 a a a右面取 b b b,左边取 b b b右边取 a a a,这两种其实应当是一种方案。所以我们应当将每一个可能的两边长度的可能情况减半。于是变成 [ 0 , 0 , 0 , 0 , 2 , 1 , 1 , 2 , 0 ] [0,0,0,0,2,1,1,2,0] [0,0,0,0,2,1,1,2,0]

如果我们设最终答案为 t o t a l total total,将卷积后得到的结果求一个前缀和叫做 p r e pre pre n n n条边最长的那条边为 m x mx mx。先将所有边从小到大进行排序。

接下来依次枚举 n n n条边,对于第 i i i条边,我们设其长度为 c i c_i ci,并认定其为最长边的情况,求解这种情况时的可行方案数。首先,根据两边之和大于第三边,我们剩下两条边的长度之和应当大于 c i c_i ci,所以从刚刚卷积和处理后得到的信息中,将长度之和为 [ c i + 1 , ∞ ] [c_i+1,\infty] [ci+1,]的可能情况加到答案中。

那么这一步就是 t o t a l ← t o t a l + p r e [ 2 m x ] − p r e [ c i ] total\leftarrow total+pre[2mx]-pre[c_i] totaltotal+pre[2mx]pre[ci]

然后根据我们刚才所设,当前边我们令其为最大边,所以一切包含一个小于 c i c_i ci的边、包含一个大于 c i c_i ci的边都是不合法的,但是因为这两条边的长度和一定大于 c i c_i ci,所以被算进了 t o t a l total total里面,所以要从 t o t a l total total里面减掉。我们考虑这样的可能发生情况是 ( n − i ) × ( i − 1 ) (n-i)\times (i-1) (ni)×(i1),其中 n − i n-i ni是比 c i c_i ci长的边的数量, i − 1 i-1 i1是比 c i c_i ci短的数量和。

这一步就是 t o t a l ← t o t a l − ( n − i ) × ( i − 1 ) total\leftarrow total-(n-i)\times(i-1) totaltotal(ni)×(i1)

还有一种情况,就是两条边都取了比 c i c_i ci长的,那就是 ( n − i 2 ) \binom{n-i}{2} (2ni)种情况,因为是从比 c i c_i ci长的 n − i n-i ni个边里任意挑选两个边。

这一步就是 t o t a l ← t o t a l − ( n − i 2 ) total\leftarrow total-\binom{n-i}{2} totaltotal(2ni)

还有一种情况,就是一条边取了自身,另一条边取了其他,存在 n − 1 n-1 n1种情况。这里因为之前已经除以 2 2 2,所以不用考虑从哪里搬来的情况。

这一步就是 t o t a l ← t o t a l − ( n − 1 ) total\leftarrow total-(n-1) totaltotal(n1)

n n n条边对 t o t a l total total的贡献全部计算一遍之后,最后的结果就是所有合法的情况数了。

最后的答案就是 t o t a l ( n 3 ) \frac{total}{\binom{n}{3}} (3n)total

#include<bits/stdc++.h>
using namespace std;
typedef long long LL;
const int N = 100005;
const LL mod = 998244353;
const LL g = 3, gi = 332748118;
const double PI = acos(-1.0);struct Complex {double x, y;Complex(double _x = 0.0, double _y = 0.0) {x = _x; y = _y;}Complex operator - (const Complex &b) const {return Complex(x - b.x, y - b.y);}Complex operator + (const Complex &b) const {return Complex(x + b.x, y + b.y);}Complex operator * (const Complex &b) const {return Complex(x * b.x - y * b.y, x * b.y + y * b.x);}
};LL rev[4000005];void change(Complex *y, int len) {for (int i = 0; i < len; ++i) {if (i < rev[i]) swap(y[i], y[rev[i]]);}
}void FFT(Complex *y, int len, int on) {change(y, len);for (int h = 2; h <= len; h <<= 1) {Complex wn(cos(2 * PI / h), sin(on * 2 * PI / h));for (int j = 0; j < len; j += h) {Complex w(1, 0);for (int k = j; k < j + h / 2; ++k) {Complex u = y[k];Complex t = w * y[k + h / 2];y[k] = u + t;y[k + h / 2] = u - t;w = w * wn;}}}if (on == -1) {for (int i = 0; i < len; ++i) {y[i].x = y[i].x / len + 0.5;}}
}LL n, len = 289999;
LL a[N], x[N * 3], pre[N * 2];
Complex F[N * 2];void main2() {cin >> n;LL mx = 0;memset(x, 0, sizeof(x));for (int i = 1; i <= n; ++i) {cin >> a[i];mx = max(mx, a[i]);++x[a[i]];}len = 1;while (len <= mx * 2 + 1) len <<= 1;for (int i = 0; i <= mx; ++i) {F[i].x = (double)x[i];F[i].y = 0;}for (int i = mx + 1; i < len; ++i) {F[i].x = F[i].y = 0;}for (int i = 0; i < len; ++i) {rev[i] = rev[i >> 1] >> 1;if (i & 1) rev[i] |= len >> 1;}FFT(F, len, 1);for (int i = 0; i < len; ++i) {F[i] = (F[i] * F[i]);}FFT(F, len, -1);for (int i = 0; i < len; ++i) {x[i] = (LL)F[i].x;}for (int i = 1; i <= n; ++i) {--x[a[i] * 2];}for (int i = 1; i <= mx * 2; ++i) {x[i] /= 2;}pre[0] = 0;for (int i = 1; i <= mx * 2; ++i) {pre[i] = pre[i - 1] + x[i];}LL total = 0;for (LL i = 1; i <= n; ++i) {total += (pre[mx * 2] - pre[a[i]]);total -= ((n - i) * (i - 1));total -= (n - 1);total -= ((n - i) * (n - i - 1) / 2);}LL all = n * (n - 1) * (n - 2) / 6;double ans = (double)total / (double)all;cout << fixed << setprecision(7) << ans << '\n';
}int main() {ios::sync_with_stdio(false);cin.tie(0); cout.tie(0);LL _ = 1;cin >> _;while (_--) main2();return 0;
}

CF954I - Yet Another String Matching Problem

题目链接

首先考虑,如果 S S S串和 T T T串长度相同,该怎么做。我们发现,我们的目的是消除差异性,即对于上下每一对字母,他们最后都要变成同一个字母。

以abcd和ddcb为例,那么上下每一对依次是a-d,b-d,c-c,d-b。我们将每一个字母设为一个点,将每一对当做一个边连起来,连完之后长这个样子:

会发现几个字母会连成一个连通图:

在这里插入图片描述

我们将四个字母分为了两个部分: c c c自己是一个部分, a b d abd abd三个字母是一个部分。我们发现,连的边指在原来的两个串中对应的同一个位置的两个字母,他们最终要变成同一个字母。而每一次操作要同时改变两个串中的这个字母,所以我们不难推出,被我们连上边形成连通块的这些字母,他们最后必然要变成同一个字母。我们就让他变成他们之中的一个字母,那么我们发现,其实我们的操作数,就是我们连的边的数量,因为我们每连一次边,就相当于要进行一次题目中的操作,变换一个字母。

这样我们用并查集来实现:对于每一个位置,判断这个位置的两个字母是否相同,如果相同那就不需要我们动了;如果不同,就需要判断这两个字母现在是否在一个连通块,如果在,则不管(已经变成同样的字母了),不在同一个连通块就用并查集合并一下,然后答案 + 1 +1 +1

因为我们的字符集只有前 6 6 6个字母 a b c d e f abcdef abcdef,所以合并操作这类的都是常数级别。那么,在两个串长度相等的情况下,得到答案的时间复杂度是 O ( m ) O(m) O(m)的。

但是我们原题中 S S S串会比较长,我们需要枚举每一个长度为 ∣ T ∣ \vert T\vert T的子串,每个子串都要求一次答案,于是时间复杂度变成 O ( n m ) O(nm) O(nm)的了,直接爆炸。

我们来尝试进行一波优化,看看哪里是最消耗时间的地方。

我们注意到,我们的字符串长度的规模是 1.25 × 1 0 5 1.25\times 10^5 1.25×105,而我们的字符集大小只有 6 6 6,意味着我们同一个位置可能的字符对只有 6 × 36 6\times 36 6×36种。又由于我们不考虑上下相同的字符串,所以我们需要考虑的字符对情况只有 36 − 6 = 30 36-6=30 366=30种。对于一次子串和 T T T串的求解过程中,如果串过长,那么相同的字符对会出现很多次,而其中只有一次是有用的,在第一次的时候我们对这两个字母进行连边,从第二次开始再遇到这个字符对,根本就是毫无用处了。所以,如果我们能够判断出,每一个子串跟 T T T串匹配的过程中,所有位里是否包含这样的字符对就好了。

怎么来做?先说结论:用到卷积

先来看一个关于卷积的性质。假设我们有两个多项式:
f ( x ) = a 0 + a 1 x + a 2 x 2 + ⋯ + a n x n f(x)=a_0+a_1x+a_2x^2+\cdots+a_nx^n f(x)=a0+a1x+a2x2++anxn
g ( x ) = b 0 + b 1 x + b 2 x 2 + ⋯ + b n x n g(x)=b_0+b_1x+b_2x^2+\cdots+b_nx^n g(x)=b0+b1x+b2x2++bnxn

试求 f ( x ) ⋅ g ( x ) f(x)\cdot g(x) f(x)g(x)
我们发现, f ( x ) ⋅ g ( x ) = a 0 b 0 + ( a 0 b 1 + a 1 b 0 ) x + ( a 0 b 2 + a 1 b 1 + a 2 b 0 ) x 2 + ( a 0 b 3 + a 1 b 2 + a 2 b 1 + a 3 b 0 ) x 3 + ⋯ f(x)\cdot g(x)=a_0b_0+(a_0b_1+a_1b_0)x+(a_0b_2+a_1b_1+a_2b_0)x^2+(a_0b_3+a_1b_2+a_2b_1+a_3b_0)x^3+\cdots f(x)g(x)=a0b0+(a0b1+a1b0)x+(a0b2+a1b1+a2b0)x2+(a0b3+a1b2+a2b1+a3b0)x3+

发现了什么?最后得到的多项式系数, x k x^k xk的系数是 ∑ i = 0 k a i b k − i \displaystyle\sum\limits_{i=0}^k a_ib_{k-i} i=0kaibki,你会发现他们由所有 i + j = k i+j=k i+j=k a i b j a_ib_j aibj相加得到,换句话说,组成 x k x^k xk的系数的所有 a i b j a_ib_j aibj,都满足他们的下标和 i + j i+j i+j是定值,且定值为 k k k

然后看看我们需要的是什么?事实上,我们可以总结出我们现阶段的问题是:从 S S S串的第 i i i位作为第一个字符的长度为 ∣ T ∣ \vert T\vert T的子串和 T T T串匹配的过程中,字符 c 1 c_1 c1和字符 c 2 c_2 c2是否出现。

在其中的一个固定了 c 1 c_1 c1 c 2 c_2 c2的子问题中,我们设一个数组 a i a_i ai,表示 S S S串的第 i i i位是否为 c 1 c_1 c1。如果 a i = 1 a_i=1 ai=1,说明是 c 1 c_1 c1;如果 a i = 0 a_i=0 ai=0,说明第 i i i不是 c 1 c_1 c1。同样的方式设一个数组 b i b_i bi,表示 T T T串第 i i i位是否为 c 2 c_2 c2

那么, T T T串的第一个字母和 S S S串第 i i i个字母对上的时候,字符对 ( c 1 , c 2 ) (c1,c2) (c1,c2)出现的条件是什么?如果 ∑ k = 0 ∣ T ∣ − 1 a i + k b k > 0 \displaystyle\sum\limits_{k=0}^{\vert T\vert - 1} a_{i+k}b_{k}>0 k=0T1ai+kbk>0,说明存在这样的字符对 ( c 1 , c 2 ) (c_1,c_2) (c1,c2)
因为这种情况下, S S S串的第 i + k i+k i+k位和 T T T串的第 k k k是对上的,只有 a i + k = b k = 1 a_{i+k}=b_k=1 ai+k=bk=1成立,我们才能说这样的字符对存在。

但是怎么求呢?我们现在有了 a i , b i a_i,b_i ai,bi,但是因为 ∑ k = 0 ∣ T ∣ − 1 a i + k b k \displaystyle\sum\limits_{k=0}^{\vert T\vert - 1} a_{i+k}b_{k} k=0T1ai+kbk a , b a,b a,b的下标加起来不是一个常值。如果是一个常值的话,我们就可以把 a i a_i ai数组和 b i b_i bi数组当做两个多项式的系数,然后我们进行多项式的乘法,这时 a i b j a_ib_j aibj自然就是我们两个多项式乘在一起之后 x i + j x^{i+j} xi+j的系数中的一部分。
我们发现,我们要求的这个求和公式的形式等同于 ∑ k = 0 ∣ T ∣ − 1 a i b j \displaystyle\sum\limits_{k=0}^{\vert T\vert - 1} a_ib_j k=0T1aibj,如果 i + j i+j i+j是定值 C C C,那么我们所求的求和公式的结果就是多项式乘在一起之后 x C x^C xC的系数。

观察我们想求的公式 ∑ k = 0 ∣ T ∣ − 1 a i + k b k \displaystyle\sum\limits_{k=0}^{\vert T\vert - 1} a_{i+k}b_{k} k=0T1ai+kbk,我们发现,如果 b k b_k bk中的 k k k变成 − k -k k,哪怕是加一点常数,就完美了。因为这样两个变量 k k k就抵消掉了,剩下的和就是一个定值,就可以通过两个多项式相乘之后的系数求得。

b k b_k bk中的 k k k变成 − k -k k很简单,我们可以直接将 T T T串翻转,这样我们原本的 b k b_k bk就变成了 b ∣ T ∣ − k − 1 b_{\vert T \vert-k-1} bTk1,我们原本要求的求和公式 ∑ k = 0 ∣ T ∣ − 1 a i + k b k \displaystyle\sum\limits_{k=0}^{\vert T\vert - 1} a_{i+k}b_{k} k=0T1ai+kbk也变成了 ∑ k = 0 ∣ T ∣ − 1 a i + k b ∣ T ∣ − k − 1 \displaystyle\sum\limits_{k=0}^{\vert T\vert - 1} a_{i+k}b_{\vert T\vert-k-1} k=0T1ai+kbTk1

这个时候我们 a , b a,b a,b的下标之和就是 ∣ T ∣ + i − 1 \vert T\vert+i-1 T+i1。这里面 ∣ T ∣ \vert T\vert T T T T的长度,是定值; i i i是当前子问题中 T T T串第一个字符跟 S S S串的哪个字符对齐,在子问题中也是一个定值。于是 ∣ T ∣ \vert T\vert T就是一个定值。这样的话,我们就可以利用我们刚刚推出的结论来求解这个求和式了。将两个数组 a , b a,b a,b当做多项式系数后,进行多项式乘法,得到的结果多项式中, x ∣ T ∣ + i − 1 x^{\vert T\vert+i-1} xT+i1的系数,就是我们所求的结果。如果这个结果大于 0 0 0,则说明存在这样的字符对 ( c 1 , c 2 ) (c_1,c_2) (c1,c2)

f [ i ] [ c 1 ] [ c 2 ] f[i][c_1][c_2] f[i][c1][c2]为在 T T T串第一个字符跟 S S S串的哪个字符对齐时是否存在字符对 ( c 1 , c 2 ) (c_1,c_2) (c1,c2)。如果存在,其值为 1 1 1,否则为 0 0 0

所以整体的流程就是:

  1. 对于字符 c 1 c_1 c1,我们先看 S S S串中哪些位置是 c 1 c_1 c1。设数组 a a a来表示这个信息。如果 a i = 1 a_i=1 ai=1,说明字符串 S S S的第 i i i位是 c 1 c_1 c1;如果 a i = 0 a_i=0 ai=0,说明字符串的第 i i i位不是 c 1 c_1 c1
  2. 翻转字符串 T T T
  3. 对于字符 c 2 c_2 c2,我们先看 T T T串中哪些位置是 c 2 c_2 c2。设数组 b b b来表示这个信息。如果 b i = 1 b_i=1 bi=1,说明字符串 T T T的第 i i i位是 c 2 c_2 c2;如果 b i = 0 b_i=0 bi=0,说明字符串的第 i i i位不是 c 2 c_2 c2
  4. 把得到的 a , b a,b a,b数组当做两个多项式的系数,进行卷积。
  5. 得到的结果多项式的系数中,如果 0 ≤ ∣ T ∣ + i − 1 < n 0\leq \vert T\vert + i -1 < n 0T+i1<n,那么只要 x ∣ T ∣ + i − 1 x^{\vert T\vert +i-1} xT+i1的系数大于 0 0 0,则可以认为 f [ i ] [ c 1 ] [ c 2 ] = 1 f[i][c_1][c_2]=1 f[i][c1][c2]=1。如果这一项的系数为 0 0 0,则 f [ i ] [ c 1 ] [ c 2 ] = 0 f[i][c_1][c_2]=0 f[i][c1][c2]=0

这样的话,对于每一对 c 1 , c 2 c_1,c_2 c1,c2,我们都这样操作一遍,就可以得到全部的 f f f数组的信息了,即:我们求得了从 S S S串的第 i i i位作为第一个字符的长度为 ∣ T ∣ \vert T\vert T的子串和 T T T串匹配的过程中,字符 c 1 c_1 c1和字符 c 2 c_2 c2是否出现。接下来用这个信息,对于每一个 i i i的位置,看看所有点对的情况,然后用上面说到的方法用并查集合并一下,就得到了每一个位置的答案。

试试分析现在的时间复杂度。多项式乘法采用FFT或者NTT的话,一次DFT/IDFT的时间复杂度是 O ( n log ⁡ n ) O(n\log n) O(nlogn)。我们一共进行了 30 30 30个两个字母不同的字符对的查询,每一次查询进行了 3 3 3次DFT/IDFT,也就是说光是在多项式乘法上,时间复杂度就是 O ( 30 × 3 n log ⁡ n ) O(30\times 3 n\log n) O(30×3nlogn)。经过计算发现这个时间复杂度略微有点大。主要原因是 30 × 3 30\times 3 30×3这个常数太大了。

每一个点对都要进行 3 3 3次DFT,这三次 D F T DFT DFT分别做了:

  1. S S S串的 a a a数组进行DFT
  2. 将翻转后的 T T T串的 b b b数组进行DFT
  3. 将得到的结果进行IDFT。

但是,由于我们的字符集是有限大小的,我们每一个字母作为字符对的第一个字母时,都要求一次 a a a数组,进行一次DFT,这是重复操作。 b b b数组也是同理。所以我们可以预处理出 S S S串所有字符的 a a a数组的DFT后的结果,预处理出翻转后 T T T串所有字符的 b b b数组的DFT后的结果。后续求的时候,直接将预处理出的两个数组相乘,然后进行一次IDFT即可。这样,我们进行DFT/IDFT的次数是两个串的 a , b a,b a,b数组DFT预处理 6 + 6 = 12 6+6=12 6+6=12次, 30 30 30个字符对的IDFT 30 30 30次,一共只有 42 42 42次。时间复杂度一下子就砍了一半。

最后求解的时候每一个位置遍历所有字符对 36 36 36个,每一个字符对的操作是常数级(因为字符集很小),所以这个做法整体的时间复杂度可以认为是 O ( 42 n log ⁡ n + 36 n ) O(42n\log n+36n) O(42nlogn+36n),经过计算,是可以通过本题的。

代码采用NTT。

#include<bits/stdc++.h>
using namespace std;
typedef long long LL;
const LL mod = (1ll << 47) * 7 * 4451 + 1;
const LL g = 3;
const LL N = 300005;string ss, tt;
LL s[125005], t[125005];
LL f[N][8][8];
LL n, m, c;
LL sa[8][N], ta[8][N];
LL tmp[N];
LL rev[N], fa[8], rk[8];LL mul(LL x, LL y) {return (x * y - (LL)(x / (long double)mod * y + 1e-3) * mod + mod) % mod;
}template<class T> T power(T a, LL b) {T res = 1;for (; b; b >>= 1) {if (b & 1) res = mul(res, a);a = mul(a, a);}return res;
}void change(LL *y, int len) {for (int i = 0; i < len; ++i) {if (i < rev[i]) swap(y[i], y[rev[i]]);}
}void DFT(LL *y, int len, int on) {change(y, len);for (LL h = 2; h <= len; h <<= 1) {LL wn = power(g, (mod - 1) / h);if (on == -1) wn = power(wn, mod - 2); for (int j = 0; j < len; j += h) {LL w = 1ll;for (int k = j; k < j + h / 2; ++k) {LL u = y[k] % mod;LL t = mul(w, y[k + h / 2]);y[k] = (u + t) % mod;y[k + h / 2] = (u - t + mod) % mod;w = mul(w, wn);}}}
}int find(int x) {return ((fa[x] == x) ? x : (fa[x] = find(fa[x])));
}void merge(int i, int j) {int x = find(i), y = find(j);if (rk[x] <= rk[y]) fa[x] = y;else fa[y] = x;if (rk[x] == rk[y] && x != y) ++rk[y];
}void main2() {cin >> ss >> tt;n = ss.length(); m = tt.length();for (int i = 0; i < n; ++i) {s[i] = ss[i] - 'a';sa[s[i]][i] = 1;}for (int i = 0; i < m; ++i) {t[i] = tt[i] - 'a';ta[t[i]][m - i - 1] = 1;}LL len = 1;while (len <= (n + m)) len <<= 1;for (int i = 0; i < len; ++i) {rev[i] = rev[i >> 1] >> 1;if (i & 1) rev[i] |= len >> 1;}for (int i = 0; i < 6; ++i) {DFT(sa[i], len, 1);DFT(ta[i], len, 1);}for (int i = 0; i < 6; ++i) {for (int j = 0; j < 6; ++j) {if (i == j) continue;for (int k = 0; k < len; ++k) {tmp[k] = mul(sa[i][k], ta[j][k]); 	}DFT(tmp, len, -1);LL inv = power(len, mod - 2);for (int k = 0; k < len; ++k) {tmp[k] = mul(tmp[k], inv);if (k + 1 - m >= 0 and k + 1 - m < n) f[k + 1 - m][i][j] = tmp[k];}}}for (int i = 0; i < n - m + 1; ++i) {for (int j = 0; j < 6; ++j) {fa[j] = j; rk[j] = 1;}int sum = 0;for (int j = 0; j < 6; ++j) {for (int k = 0; k < 6; ++k) {if (j == k or !f[i][j][k]) continue;int fx = find(j), fy = find(k);if (fx != fy) {++sum;merge(fx, fy);}}}cout << sum << ' ';}
}int main() {ios::sync_with_stdio(false);cin.tie(0); cout.tie(0);LL _ = 1;
//	cin >> _;while (_--) main2();return 0;
}

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.rhkb.cn/news/148095.html

如若内容造成侵权/违法违规/事实不符,请联系长河编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

Docker-mysql,redis安装

安装MySQL 下载MySQL镜像 终端运行命令 docker pull mysql:8.0.29镜像下载完成后&#xff0c;需要配置持久化数据到本地 这是mysql的配置文件和存储数据用的目录 切换到终端&#xff0c;输入命令&#xff0c;第一次启动MySQL容器 docker run --restartalways --name mysq…

JWFD开源工作流大模型设计器

JWFD开源工作流大模型设计器&#xff0c;把流程图的拓扑结构从几十个节点扩展到数千个节点&#xff0c;就不是使用绘图器的模式了&#xff0c;需要开发一个模型生成器了&#xff0c;尝试做一下大模型&#xff0c;赶赶时髦啊

【算法导论】线性时间排序(计数排序、基数排序、桶排序)

引言&#xff1a;   在排序的最终结果中&#xff0c;各元素的次序依赖于它们之间的比较&#xff0c;我们把这类排序算法称为比较排序&#xff0c;对于包含n个元素的输入序列来说&#xff0c;任何比较排序在最坏情况下都要经过 Ω ( n l g n ) \Omega(nlgn) Ω(nlgn)次比较&a…

希尔排序(C++实现)

文章目录 前言1. 基础概念2. 动图演示3. 代码实现4. 排序过程5. 效率分析6. 总结 前言 上篇文章讲了直接插入排序算法。 首先&#xff0c;在待排序的数组中&#xff0c;元素本身就是有序的情况下&#xff0c;就不需要移动任何元素&#xff0c;所以直接插入排序最好情况时间复…

使用win_b64做CATIA的开发测试

文章目录 一、把win_b64文件夹放在无中文的路径下二、启动环境文件编辑器三、新建环境文件四、集成CAA代码五、去用户环境目录查看环境文件是否生成六、关闭环境文件编辑器七、去桌面双击新建的快捷方式即可启动CATIA&#xff0c;进行测试八、进入对应的开发模块&#xff0c;查…

第十二届2023软件杯国家二等奖赛后感想总结

一&#xff0c;相关链接 软件杯官网&#xff1a;软件杯大赛官网 (cnsoftbei.com) 金蝶赛道&#xff1a;金蝶云苍穹开发者门户 (kingdee.com) 二&#xff0c;个人介绍 首先我是个双非院校的学生&#xff0c;专业为计算机科学与技术&#xff0c;打这个比赛是在大二下的暑假开始的…

想要精通算法和SQL的成长之路 - 二叉树的序列化和反序列化问题

想要精通算法和SQL的成长之路 - 二叉树的序列化和反序列化问题 前言一. 二叉树的层序遍历&#xff08;BFS&#xff09;二. 二叉树的序列化与反序列化2.1 序列化操作2.2 反序列化操作 前言 想要精通算法和SQL的成长之路 - 系列导航 一. 二叉树的层序遍历&#xff08;BFS&#xf…

RabbitMQ-主题模式

接上文 RabbitMQ-发布订阅模式和路由模式 1 主题模式 #通配符 代表0个或多个。*通配符 代表 1个或多个 进行测试&#xff0c;修改配置文件 Configuration public class RabbitConfiguration {Bean("topicExchange") //这里使用预置的Topic类型交换机public Exchan…

JMETER自适应高分辨率的显示器

系列文章目录 历史文章 每天15分钟JMeter入门篇&#xff08;一&#xff09;&#xff1a;Hello JMeter 每天15分钟JMeter入门篇&#xff08;二&#xff09;&#xff1a;使用JMeter实现并发测试 每天15分钟JMeter入门篇&#xff08;三&#xff09;&#xff1a;认识JMeter的逻辑控…

nginx下载与安装教程

文章目录 nginx简介nginx的主要应用场景nginx开源项目的源码结构 使用centos7安装nginx检查centos版本号和linux内核版本检查是否安装gcc、pcre、zlib、openssl等依赖 安装nginx启动nginx停止nginx重启nginx nginx简介 nginx是一款业内流行、功能强大的web服务器。 高性能&…

FFmpeg 命令:从入门到精通 | ffplay 播放控制选项

FFmpeg 命令&#xff1a;从入门到精通 | ffplay 播放控制选项 FFmpeg 命令&#xff1a;从入门到精通 | ffplay 播放控制选项选项表格图片 FFmpeg 命令&#xff1a;从入门到精通 | ffplay 播放控制选项 选项表格 项目说明Q&#xff0c;Esc退出播放F&#xff0c;鼠标左键双击全…

[React] React高阶组件(HOC)

文章目录 1.Hoc介绍2.几种包装强化组件的方式2.1 mixin模式2.2 extends继承模式2.3 HOC模式2.4 自定义hooks模式 3.高阶组件产生初衷4.高阶组件使用和编写结构4.1 装饰器模式和函数包裹模式4.2 嵌套HOC 5.两种不同的高阶组件5.1 正向的属性代理5.2 反向的继承 6.如何编写高阶组…

【C语言】函数的定义、传参与调用(二)

&#x1f497;个人主页&#x1f497; ⭐个人专栏——C语言初步学习⭐ &#x1f4ab;点击关注&#x1f929;一起学习C语言&#x1f4af;&#x1f4ab; 目录 导读&#xff1a; 1. 函数的嵌套调用 1.1 什么是嵌套调用 1.2 基础实现 1.3 调用流程解析 2. 函数的链式访问 2.1 …

CCF CSP认证 历年题目自练Day21

题目一 试题编号&#xff1a; 201909-1 试题名称&#xff1a; 小明种苹果 时间限制&#xff1a; 2.0s 内存限制&#xff1a; 512.0MB 题目分析&#xff08;个人理解&#xff09; 先看输入&#xff0c;第一行输入苹果的棵树n和每一次掉的苹果数m还是先如何存的问题&#xf…

小谈设计模式(16)—抽象工厂模式

小谈设计模式&#xff08;16&#xff09;—抽象工厂模式 专栏介绍专栏地址专栏介绍 抽象工厂模式结构抽象工厂&#xff08;AbstractFactory&#xff09;具体工厂&#xff08;ConcreteFactory&#xff09;抽象产品&#xff08;AbstractProduct&#xff09;具体产品&#xff08;C…

2023年10月4日

服务器 #include "widget.h" #include "ui_widget.h"Widget::Widget(QWidget *parent): QWidget(parent), ui(new Ui::Widget) {ui->setupUi(this);//实例化一个服务器server new QTcpServer(this);//此时&#xff0c;服务器已经成功进入监听状态&…

ubuntu22.04 x11窗口环境手势控制

ubuntu22.04 x11窗口环境手势控制 ubuntu x11窗口环境的手势控制并不优秀&#xff0c;我们可以使用touchegg去代替 这个配置过程非常简单&#xff0c;并且可以很容易在一定范围内达到你想到的效果&#xff0c;类比mac的手势控制 关于安装 首先添加源&#xff0c;并安装 sud…

进程调度的时机,切换与过程以及方式

1.进程调度的时机 进程调度&#xff08;低级调度〉&#xff0c;就是按照某种算法从就绪队列中选择一个进程为其分配处理机。 1.需要进行进程调度与切换的情况 1.当前运行的进程主动放弃处理机 进程正常终止运行过程中发生异常而终止进程主动请求阻塞&#xff08;如等待l/O)…

电脑通过串口助手和51单片机串口通讯

今天有时间把电脑和51单片机之间的串口通讯搞定了&#xff0c;电脑发送的串口数据&#xff0c;单片机能够正常接收并显示到oled屏幕上&#xff0c;特此记录一下&#xff0c;防止后面自己忘记了怎么搞得了。 先来两个图片看看结果吧&#xff01; 下面是串口3.c的文件全部内容&a…

OpenGLES:绘制一个混色旋转的3D圆锥

效果展示&#xff1a; 本篇博文总共会实现两种混色旋转的3D圆锥&#xff1a; 一.圆锥解析 1.1 对圆锥的拆解 上一篇博文讲解了绘制圆柱体&#xff0c;这一篇讲解绘制一个彩色旋转的圆锥 在绘制圆柱体时提到过&#xff0c;关键点是先将圆柱进行拆解&#xff0c;便于创建出顶…