标签：begin end 数列 sqrt times 斐波 bmatrix frac 那契

定义

\[\large F_n = \begin{cases} 0&n = 0\\ 1&n = 1\\ F_{n-2}+F_{n-1}&\operatorname{otherwise}.\end{cases}\]

通项公式

\[\large F_n = \frac{\left(\frac{1+\sqrt 5}{2}\right)^n-\left(\frac{1-\sqrt 5}{2}\right)^n}{\sqrt 5} \]

矩阵加速递推

\[\large\begin{bmatrix}F_{n-1}&F_n\end{bmatrix} = \begin{bmatrix}F_{n-2}&F_{n-1}\end{bmatrix}\times\begin{bmatrix}0&1\\1&1\end{bmatrix} \]

\[\begin{bmatrix}F_n &F_{n+1}\end{bmatrix} = \begin{bmatrix}F_0&F_1\end{bmatrix}\times\begin{bmatrix}0&1\\1&1\end{bmatrix}^n \]

快速倍增

\[F_{2\cdot k} = F_k\times(2\cdot F_{k+1}-F_k) \]

\[F_{2\cdot k+1} = F_{k+1}^2+F_{k}^2 \]

#define ull unsigned long long
std :: pair<ull,ull> Fibonacci(int k) {
	if(k == 0) 
		return std :: make_pair(0,1);
	std :: pair<ull,ull> receive = Fibonacci(k>>1);
	ull r_a = receive.first*((receive.second<<1)-receive.first);
	ull r_b = receive.first*receive.first+receive.second*receive.second;
	if(k&1) 
		return std :: make_pair(r_b,r_a+r_b);
	else
		return std :: make_pair(r_a,r_b);
}

性质

1. \(F_{n-1}\times F_{n+1}-F_n^2 = (-1)^n\)

2. \(F_{n+k} = F_k\times F_{n+1}+F_{k-1}\times F_n\)

3. \(F_a\mid F_b\iff a\mid b\)

4. \(\gcd(F_a,F_b) = F_{\gcd(a,b)}\)

周期

标签：begin,end,数列,sqrt,times,斐波,bmatrix,frac,那契
来源： https://www.cnblogs.com/bikuhiku/p/Fibonacci.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。