• 整数的拆分


    母函数将问题转换为关于母函数的某种代数问题甚至变成关于母函数的某种形式的运算,以整数拆分为例.

           所谓的整数拆分,即将正整数n分解成 若干正整数的和,不考虑其求和的顺序,一般假定$n = n_1 + n_2 + cdots + n_k, n_1 geq n_2 geq n_3 geq  cdots  geq n_k$,而且分解的形式不唯一,但有一定的限量.例如,n=2的拆分只有2=1+1,n=3则有1+2,1+1+1两种,n=4有1+1+1+1,1+1+2,1+3,2+2四种不同的拆分.

          正整数的拆分可以理解为将n个无区别的球,放入n个有区别的盒子,其每种方案就是一种拆分.

    例一      有1克、2克、3克、4克的砝码各一枚,问能称出多少种重量,并各有几种称法?

    这个问题可以看作将n拆分成1,2,3,4之和且不允许重复的拆分数,利用母函数计算如下:

    $(1+x)(1+x^2)(1+x^3)(1+x^4) \
    =(1 + x + x^2 + x^3)(1 + x^3 + x^4 + x^7) \
    =1 + x + x^2 + 2x^3 + 2x^4 + 2x^5 + 2x^6 + 2x^7 + x^8 + x^9 + x^{10}$

    $2x^3$表明称出3克的有2种方案,一种是1+2,一种是3,以此类推,超过10克的便无法称出.

    例二    求1角,2角,3角的邮票能贴出的邮资以及方案数,这个问题等价于将n分解成1,2,3的和,且允许重复的拆分数,因为邮票理论上是可以重复的.

    利用母函数:

    $(1+x + x^2 + cdots)(1+x^2 + x^4 + cdots)(1+x^3 + x^6 cdots) \
    = frac{1}{1-x}cdot frac{1}{1 - x^2}cdot frac{1}{1 - x^3} \
    = frac{1}{1-x-x^2 + x^4 + x^5 - x^6} \
    = 1 + x + 2x^2 + 3x^3 + 4x^4 + 5x^5 + 7x^6 + cdots$

    右端的级数是直接除的结果

    同理,若将$n$分解为$1,2,3, 4,cdots$之和,允许重复,其方案数${a_n}$序列的母函数为

    $$
    egin{aligned}
    G(x) & = (1+x + x^2 + cdots)1 + x^2 + x^4 + cdots)(1 + x^3 + x^6 + cdots)(1 + x^4 + x^8 + cdots) \
    &=prod _{i=1}^{infty}{(1 - x^i)}^{-1} \
    &= frac{1}{1-x}cdot frac{1}{1-x^2}cdot frac{1}{1-x^3}cdot frac{1}{1-x^4} cdots
    end{aligned}$$

  • 相关阅读:
    windows 1061
    Golang 编程思维和工程实战
    Apache Tomcat jar Catalina
    MySQL Client/Server Protocol mysql协议
    蚂蚁集团万级规模 k8s 集群 etcd 高可用建设之路
    实习生系列之找实习的途径
    Yahoo!网站性能最佳体验的34条黄金守则
    onselectstart="return false"无法复制文字
    VS2008开发环境中容易遇到的3个问题之解决办法
    实践与交流:“三保险”为世界顶级安全防范软件ESET Nod32 4.0的正常使用“保驾护航”
  • 原文地址:https://www.cnblogs.com/lfri/p/10463440.html
Copyright © 2020-2023  润新知