数论数学：生成函数（三）

看之前建议重温数论数学：生成函数（一），因为今天的内容有一定前置知识

|----------------------------------------------------------------------------------------------------------------------|

前置知识

• 二元一次方程组求解（真的）

|----------------------------------------------------------------------------------------------------------------------|
我们在数论数学：生成函数（一）中探讨过的斐波那契数列，其实可以反建模发现其实第$n$个斐波那契数，就是用$1\times 2$的骨牌铺满$2\times n$的矩阵的方法数（这个太简单了，感性理解 ）

兰而，我们今天要讨论的，是用$1\times 2$的骨牌铺满$3\times n$的矩阵的方法数。大概用了1飞秒时间，我们意识到用$1\times 2$的骨牌铺满$3\times 奇数$的矩阵是impossible的，因为奇数个格子无法被面积为偶数的骨牌填满。

服从一贯的套路，我们将$U_n$记为是用$1\times 2$的骨牌铺满$3\times n$的矩阵的方法数，所以$U_{奇数}=0$。但是，从当前的情况来看，求出$U_n$的递推式似乎有些困难，所以我们不妨再设一个$V_n$表示用$1\times 2$的骨牌铺满缺了一个角的$3\times n$的矩阵的方法数，形如：

同样的，$V_{偶数}=0$。那么接下来递推式就很好设计了，只要防止重复计算就好了$$V_n=U_{n-1}+V_{n-2},U_n=2V_{n-1}+U_{n-2}$$$$U_1=0,U_2=3,V_1=1,V_2=0$$然后设$U_n$的生成函数为$U(z)$，设$V_n$的生成函数为$V(z)$,则:$$U(z)=2z\times V(z)+z^2\times U(z)+1$$$$V(z)=z^2\times V(z)+z\times U(z)$$然后这就解二元一次方程组嘛。。。$$U(z)=\frac{1-z^2}{1-4z^2+z^4}；V(z)=\frac{z}{1-4z^2+z^4}$$然后按照数论数学：生成函数（一）的老规矩硬算（为所欲为）$$U_{2n}=\frac{(2+\sqrt{3}{)}^n}{3-\sqrt{3}}+\frac{(2-\sqrt{3}{)}^n}{3+\sqrt{3}}$$ 然后我们就可以做这道题了BJOI2019压轴题？