51Nod1355 斐波那契的最小公倍数 < Min-Max容斥 >

Problem

斐波那契的最小公倍数

Time  Limit:  3  Sec\mathrm{Time\;Limit:\;3\;Sec}
Memory  Limit:  131072  KB\mathrm{Memory\;Limit:\;131072\;KB}

Description

斐波那契数列定义如下:

F(0)=0F(1)=1F(n)=F(n1)+F(n2)F(0) = 0\\ F(1) = 1\\ F(n) = F(n-1) + F(n-2)\\

给出nn个正整数a1,a2,ana_1, a_2,\cdots a_n,求对应的斐波那契数的最小公倍数,由于数字很大,输出模 10000000071000000007的结果即可。
例如:{1,3,6,9}\lbrace1,3,6,9\rbrace, 对应的斐波那契数为:{1,2,8,34}\lbrace1,2,8,34\rbrace, 他们的最小公倍数为136136

Input

1111个数NN,表示数字的数量。(2N500002\le N\le50000)。
22N+1N+1行每行11个数,对应aia_i。(1ai10000001\le a_i\le1000000)。

Output

输出lcm(F(a1),F(a2),,F(an))mod1000000007\mathrm{lcm}(F(a_1),F(a_2),\cdots,F(a_n))\bmod{1000000007}的结果。

Input示例

1
2
3
4
5
4
1
3
6
9

Output示例

1
136

标签:Min-Max容斥

Solution

烂大街的套路题,我居然没见过QAQ。

以下内容均转载自某乎(张一钊)。

因为是斐波那契数列,有gcd(fp,fq)=fgcd(p,q)\gcd(f_p,f_q)=f_{\gcd(p,q)}
MinMax\mathrm{Min-Max}容斥可得lcm{S}=TS,Tgcd{T}(1)T+1\mathrm{lcm}\lbrace S\rbrace=\prod_{T\subseteq S,T\ne\emptyset}\gcd\lbrace T\rbrace^{(-1)^{|T|+1}}
于是lcm{fS}=TS,Tfgcd{T}(1)T+1\mathrm{lcm}\lbrace f_S\rbrace=\prod_{T\subseteq S,T\ne\emptyset}f_{\gcd\lbrace T\rbrace}^{(-1)^{|T|+1}}
构造{g}\lbrace g\rbrace,使得fn=dngdf_n=\prod_{d|n}g_d,则lcm{fS}=TS,Tdgcd{T}gd(1)T+1\mathrm{lcm}\lbrace f_S\rbrace=\prod_{T\subseteq S,T\ne\emptyset}\prod_{d|\gcd\lbrace T\rbrace}g_d^{(-1)^{|T|+1}}
即有lcm{fS}=dgdTS,T,dT(1)T+1\mathrm{lcm}\lbrace f_S\rbrace=\prod_d g_d^{\sum_{T\subseteq S,T\ne\emptyset,d|T}(-1)^{|T|+1}}
考虑gdg_d的指数的意义,可知

TS,T,dT(1)T+1={1{aaS,da}>00otherwise\sum_{T\subseteq S,T\ne\emptyset,d|T}(-1)^{|T|+1}= \begin{cases} 1&|\lbrace a|a\in S,d|a\rbrace|>0\\ 0&\text{otherwise} \end{cases}

因而lcm{fS}=aS,dagd\mathrm{lcm}\lbrace f_S\rbrace=\prod_{\exists a\in S,d|a}g_d,若知道可在O(RlogR)\mathcal{O}(R\log{R})时间内计算(RR为值域即max{S}\max\lbrace S\rbrace)。
gg定义式中的gng_n单独拿出来,有gn=fn(dn,dngd)1g_n=f_n\cdot(\prod_{d|n,d\ne n}g_d)^{-1},时间复杂度由于是调和级数也为O(RlogR)\mathcal{O}(R\log{R})
总复杂度O(RlogR)\mathcal{O}(R\log{R})

Code

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
#include <bits/stdc++.h>
#define MX 1000000
#define P 1000000007
using namespace std;
typedef long long lnt;
template <class T> inline void read(T &x) {
x = 0; int c = getchar(), f = 1;
for (; !isdigit(c); c = getchar()) if (c == 45) f = -1;
for (; isdigit(c); c = getchar()) (x *= 10) += f*(c-'0');
}
int n; bool mrk[MX+5];
lnt f[MX+5], g[MX+5];
lnt inv(lnt x) {
lnt k = P-2, ret = 1;
for (; k; k >>= 1, x = x*x%P)
if (k&1) ret = ret*x%P;
return ret;
}
void init() {
f[1] = f[2] = g[1] = g[2] = 1;
for (int i = 3; i <= MX; i++)
f[i] = g[i] = (f[i-2]+f[i-1])%P;
for (int i = 1; i <= MX; i++) {
lnt invg = inv(g[i]);
for (int j = i+i; j <= MX; j += i)
g[j] = g[j]*invg%P;
}
}
int main() {
read(n), init(); lnt ans = 1;
for (int i = 1, x; i <= n; i++)
read(x), mrk[x] = true;
for (int i = 1; i <= MX; i++) {
bool flag = false;
for (int j = i; j <= MX; j += i)
if (mrk[j]) {flag = true; break;}
if (flag) ans = ans*g[i]%P;
}
return printf("%lld\n", ans), 0;
}