\(f_i=\prod\limits_{j=1}^k f_{i-j}^{b_j}\)
令\(g\)为原根，将\(f_i\)表示成\(g^{l_i}\)，则有线性递推\(l_i=\sum\limits_{j=1}^k l_{i-j}b_j\)
令\(l_k=x\)，则可以将\(l_i\)表示成\(k_ix\)
现在知道了\(f_n\)，可以通过BSGS求出\(l_n\)
则\(k_nx\equiv l_n(mod~p-1)\)
原文：https://www.cnblogs.com/Grice/p/12912285.html