[JZOJ3250] Pow

Description

给出$\{a_n\}$，求$a_1^{a_2^{a_3^{\dots ^{a_n}}}}$模$P$的结果。

$n\le20$

Analysis

首先有个路人皆知的东西，如果我们要求$(a\cdot b) \ \mathrm{mod}\ (a\cdot c)$，这个结果等于$a(b \ \mathrm{mod}\ c)$。

那我们求$a^x \ \mathrm{mod}\ P$，假设$x$很大，化简式子至$a^x = a^k a^{x-k}$，设$(a^k,P)=T$，并且$(a^{k+1},P)=T$，那么$a^x=\frac{a^k}{T} T a^{x-k}$，两边除去$T$，那就求的是$\frac{a^k}{T}a^{x-k} \ \mathrm{mod} \ \frac{P}{T}$，那我们有互质的条件就用$\varphi$即可。