• 《组合数学》学习笔记 之 特殊计数序列


    8.1 (Catalan)

    先见识一下 (Catalan) 数长啥样——

    (C_0=1,C_1=1,C_2=2,C_3=5,C_4=14,C_5=42,C_6=132...)

    一些公式及推导

    1. (C_0=1, C_n=sumlimits_{i=0}^{n-1} C_i imes C_{n-i-1}) ((ngeq 1))

    许多应用中都用到该式子。

    2) (C_n=frac{1}{n+1}inom{2n}{n})

    由1)推导一下。

    ({C_n}) 的生成函数为 (F(x)=C_0+C_1x+C_2x^2+...+C_kx^k+...)

    则 $$
    egin{equation}
    egin{aligned}
    (F(x))2&=C_02+(C_0C_1+C_1C_0)x+(C_0C_2+C_1C_1+C_2C_0)x2+...+(sumlimits_{i=0}{k} C_i imes C_{k-i})x^k+...
    &=C_1+C_2x+C_3x2+...+C_{k+1}xk+...
    &=frac{F(x)-C_0}{x}=frac{F(x)-1}{x}
    end{aligned}
    end{equation
    }

    [ 即 $(F(x))^2-frac{1}{x}F(x)+frac{1}{x}=0$ 解得 $F(x)=frac{1-sqrt{1-4x}}{2x}$ (取正负看收敛性) 由牛顿二项式定理可知 $(1+z)^{frac{1}{2}}=1+sumlimits_{i=1}^{infty} frac{(-1)^{i-1}}{i imes 2^{2i-1}}inom{2i-2}{i-1}z^i$ $(|z|<1)$ (该式推导可在[这里](https://www.cnblogs.com/lindalee/p/12235434.html)找) 则 ]

    egin{equation}
    egin{aligned}
    F(x)&=-frac{1}{2x}sumlimits_{i=1}^{infty} frac{(-1)^{i-1}}{i imes 2{2i-1}}inom{2i-2}{i-1}(-1)i4ixi
    &=sumlimits_{i=1}^{infty} frac{1}{i}inom{2i-2}{i-1}x^{i-1}
    end{aligned}
    end{equation
    }

    [ 即 $C_{n-1}=frac{1}{n}inom{2n-2}{n-1}$ $(ngeq 1)$ 则 $C_n=frac{1}{n+1}inom{2n}{n}$ $(ngeq 0)$ 3)<font color=9900CC size=4> $C_0=1, C_n=frac{4n-2}{n+1}C_{n-1}$ $(ngeq 1)$ </font> 直接带2)进去:$frac{C_n}{C_{n-1}}=frac{ninom{2n}{n}}{(n+1)inom{2n-2}{n-1}}=frac{n(2n)!(n-1)!(n-1)!}{(n+1)(2n-2)!n!n!}=frac{4n-2}{n+1}$ ###定理 **考虑由 $n$ 个1和 $n$ 个-1构成的 $2n$ 项序列 $a_1,a_2,...,a_{2n}$ 其部分和总满足 $a_1+a_2+...+a_kgeq 0$ $(k=1,2,...,2n)$ 的序列个数等于第 $n$ 个 $Catalan$ 数 $C_n=frac{1}{n+1}inom{2n}{n}$ ** **证明一:** 序列总个数为 $inom{2n}{n}$ ,设其中不满足要求的由 $U_n$ 个,满足的由 $A_n$ 个。 则 $A_n=inom{2n}{n}-U_n$ ,考虑如何求 $U_n$ 设 $k$ 为不满足要求的序列中第一个 $a_1+a_2+...+a_k<0$ 的下标,则 $a_1+a_2+...+a_{k-1}=0$,$a_k=-1$ 前 $k$ 项中有 $frac{k-1}{2}$ 个1,$frac{k+1}{2}$ 个-1 将前 $k$ 项各自取相反数,则新数列中有 $(n+1)$ 个1和 $(n-1)$ 个-1 设 $h$ 为新数列中首个 $a_1+a_2+...+a_h>0$ 的下标(由于新数列中1比-1个数多,$h$ 一定存在),则 $h=k$ 将前 $h$ 项再各自取相反数便得到原序列。 则 $(n+1)$ 个1和 $(n-1)$ 个-1的排列与 $U_n$ 中的排列一一对应。 所以 $U_n=inom{2n}{n-1}$ $A_n=inom{2n}{n}-inom{2n}{n-1}=frac{(2n)!}{n!(n-1)!}(frac{1}{n}-frac{1}{n+1})=frac{1}{n+1}inom{2n}{n}$ **证明二:** 设 $k$ 为满足要求的序列中的首个 $a_1+a_2+...+a_{2k}=0$ ,则 $kin [1,n],kin Z$ 设 $A_n$ 为满足要求的序列个数。 则 $A_n=sumlimits_{i=1}^n A_{n-i}A_{i-1}=sumlimits_{i=0}^{n-1} A_iA_{n-i+1}$ 所以 ${A_n}$ 即为卡特兰数列。 ###应用 我懒得写了。推荐下别人的[戳这里](https://blog.csdn.net/zhangmh93425/article/details/44677891) ##8.2 差分序列与 $strling$ 数 ##8.3 分拆数 ##8.4 一个几何问题 ##8.5 格路径数和 $Schrddot{o}der$ 数]

  • 相关阅读:
    Alpha 答辩总结
    Alpha 冲刺报告(10/10)
    Alpha 冲刺报告(9/10)
    Alpha 冲刺报告(8/10)
    Alpha 冲刺报告(7/10)
    Alpha 冲刺报告(6/10)
    团队作业-随堂小测(同学录)
    第一次寒假作业
    寒假学习计划
    1001 A+B
  • 原文地址:https://www.cnblogs.com/lindalee/p/12248579.html
Copyright © 2020-2023  润新知